Language design ideas
mukul-rathi opened this issue · comments
Random ideas to implement:
- Inheritance
- Generics
- Method overloading & overriding
- Access modifiers (to enforce encapsulation)
- More primitive types
- Arrays
- Better Concurrency - thread pools behind the scenes
- Optional types and pattern matching (
Some x | None) (or use type refinement) - Lambda functions + closures
- GC - this can be capability-driven
- FFI with C/C++/Rust (anything that uses LLVM IR)
- Modules
Dependent types ;)
Not working on new language features for now, perhaps will resume work on Bolt later down the line!
Not really a language feature, but the bolt compiler could be awesome with multi-file compilation!
This language is looking really good!
With some more work/bug fixes/features, this language would be ready to make it to the mainstream!
EDIT: Sorry if this comment isn't supposed to be here.
Type inference, even on declarations, like Crystal do.
- the language remains statically type checked
- type inference allows to reduce all (or most) of the type annotations, giving a friendlier experience similar to a dynamic language