hub / github.com/dada-lang/dada

github.com/dada-lang/dada @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

1,550 symbols 4,570 edges 156 files 374 documented · 24%

What it actually does AI analysis from the code graph — generated when you open this

loading…

README

dada

Tzara

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

Tristan Tzara, "Dada Manifesto 1918”

What the heck is Dada?

Dada is a thought experiment. What if we were making a language like Rust, but one that was meant to feel more like Java or JavaScript, and less like C++? One that didn't aspire to being used in kernels or tiny embedded devices and was willing to require a minimal runtime. What might that look like?

To try it yourself...

As of right now, Dada doesn't really exist. Check back soon.

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this repository by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Extension points exported contracts — how you extend this code

Check (Interface)

The main "check" routine. This defines what it means for a dada program to successfully compile. [21 implementers]

components/dada-check/src/lib.rs

Spanned (Interface)

Implemented by all things that have a span (and span itself). For AST nodes, yields the entire encompassing span. For [29 …

components/dada-ir-ast/src/span.rs

Parse (Interface)

some fns not currently used [33 implementers]

components/dada-parser/src/lib.rs

Symbol (Interface)

Return the symbol corresponding to the AST node. Implementations are memoized so that this can be called many times and [7 …

components/dada-ir-sym/src/lib.rs

TestOutputFormatter (Interface)

Trait for formatting test output in different modes [2 implementers]

components/dada-lang/src/main_lib/test.rs

ToUrl (Interface)

(no doc) [3 implementers]

components/dada-compiler/src/vfs.rs

Lsp (Interface)

LSP server handlers. [1 implementers]

components/dada-lsp-server/src/lsp.rs

VecExt (Interface)

(no doc) [1 implementers]

components/dada-util/src/vecext.rs

Core symbols most depended-on inside this repo

push

called by 231

components/dada-compiler/src/vfs.rs

iter

called by 142

components/dada-ir-sym/src/check/scope.rs

clone

called by 135

components/dada-util/src/fixed_depth_json.rs

called by 114

components/dada-ir-sym/src/check/env.rs

map

called by 105

components/dada-ir-sym/src/ir/binder.rs

span

called by 75

components/dada-ir-sym/src/check/scope.rs

label

called by 72

components/dada-ir-ast/src/diagnostic.rs

report

called by 64

components/dada-ir-sym/src/check/env.rs

Shape

Method 816

Function 363

Class 229

Enum 81

Interface 61

Languages

Rust92%

TypeScript8%

Modules by API surface

components/dada-debug/assets/highlight.min.js92 symbols

components/dada-ir-sym/src/ir/types.rs57 symbols

components/dada-ir-sym/src/check/env.rs56 symbols

components/dada-util/src/fixed_depth_json.rs40 symbols

components/dada-parser/src/lib.rs37 symbols

components/dada-ir-sym/src/check/scope.rs37 symbols

components/dada-spec-common/src/lib.rs36 symbols

components/dada-ir-sym/src/check/runtime.rs33 symbols

components/dada-ir-ast/src/span.rs33 symbols

components/dada-parser/src/tokenizer.rs31 symbols

components/dada-ir-sym/src/ir/classes.rs31 symbols

components/dada-compiler/src/lib.rs31 symbols

Datastores touched

mydbDatabase · 1 repos

For agents

$ claude mcp add dada \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact