mlscript
mlscript copied to clipboard
hkust-taco
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
In this PR: - [x] Improve annotation system (supporting multiple annotation on terms, improved reporting system) - [ ] Tail recursion optimization on tail recursive functions - [ ] Tail...
TODO - [x] Move `nofibs` to the benchmark subproject - [x] Fix the paths
See https://github.com/hkust-taco/mlscript/pull/293#issuecomment-3496516112
The logic of selection expansion still needs to be generalized so that companion modules from other files can also be accessed.
Required changes - [ ] Make "`require` captures" use the same instance (see `CapturingTraitImpls.mls`) Features to add support for: - [ ] Add `using` clauses as an alternative to `require`...
This is a temporary solution. Related code will be rewritten or removed after we truly support ADTs correctly.
### Syntax - [ ] Special-case `{}` to mean an empty object (currently, one has to use `new Object`) - [ ] Parsing this currently fails: ```fs foo(1, 2) ```...
Metadata
Owner
Metadata
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!