cubiml-demo
nile
cubiml-demo | nile | |
---|---|---|
6 | 3 | |
134 | 711 | |
- | - | |
0.0 | 0.0 | |
over 1 year ago | almost 4 years ago | |
Rust | Common Lisp | |
Apache License 2.0 | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
cubiml-demo
-
Recursive type checking
https://blog.polybdenum.com/2020/07/04/subtype-inference-by-example-part-1-introducing-cubiml.html https://github.com/Storyyeller/cubiml-demo
-
Favorite PL paper?
oh and I forgot to mention, there's a minimal implementation of algebraic subtyping for an ML-style language https://github.com/Storyyeller/cubiml-demo
-
Is there a language with structural type constraints for variants and records?
Cubiml might be worth looking at as well.
-
Type checking Erlang
https://github.com/Storyyeller/cubiml-demo https://blog.polybdenum.com/2020/07/04/subtype-inference-by-example-part-1-introducing-cubiml.html
-
What are some simple but powerful compile-to-JS languages I might not know about, or that you are working on (not Elm, Reason, PureScript, or ClojureScript)?
CubiML
-
Is it correct that types are not involved/used in semantics but syntax of a programming language?
My own cubiml has type-independent semantics for example.
nile
-
Alan Kay's talk at UCLA – Feb 21, 2024 [video]
>you may or may not be aware that when he headed vpri, they did some substantial research into some of the other important ways to organize software, including things like array languages, david p. reed's work on spatially replicated computation, and cooperating communities of specialized solvers.
I'm very interested in knowing what array languages they were researching. The only thing I can find is Nile[1] but from the examples it doesn't look like an array language to me.
[1] https://github.com/damelang/nile
-
What are some simple but powerful compile-to-JS languages I might not know about, or that you are working on (not Elm, Reason, PureScript, or ClojureScript)?
Again, "compile-to-JS" is too broad of a term. It is very difficult to understand what you are looking for. You can have everything in there from languages that just add little bits to JS like TypeScript & CoffeeScript all the way to research languages like Nile and extremely powerful languages like ATS or Rust.
-
Ohm – A library and language for building parsers, interpreters, compilers, etc.
Can you link to both the Maru community and the reborn Nile work? I've always tried to follow the latter, but [1] seems to be the only place to find information and it's been silent for a long time.
[1] https://github.com/damelang/nile/issues/3
What are some alternatives?
karax - Karax. Single page applications for Nim.
Pegged - A Parsing Expression Grammar (PEG) module, using the D programming language.
IntercalScript - The IntercalScript programming language
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
kesh - A simple little programming language that could one day compile to JavaScript.
usfm-grammar - An elegant USFM parser.
firefly-boot - Bootstrap compiler for Firefly
coffeescript - Unfancy JavaScript
Graal - GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
yew - Rust / Wasm framework for creating reliable and efficient web applications
star - An experimental programming language that's made to be powerful, productive, and predictable