Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Language design ideas #134

Open
3 of 12 tasks
mukul-rathi opened this issue May 8, 2020 · 5 comments
Open
3 of 12 tasks

Language design ideas #134

mukul-rathi opened this issue May 8, 2020 · 5 comments
Milestone
Bolt New Language...

Comments

@mukul-rathi
Copy link
Owner

mukul-rathi commented May 8, 2020 •
edited

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
@mukul-rathi mukul-rathi changed the title Road Map - Let's talk language design! Language design ideas May 9, 2020
@lexvanderstoep
Copy link

lexvanderstoep commented May 25, 2020 •
edited

Dependent types ;)

@mukul-rathi
Copy link
Owner Author

Not working on new language features for now, perhaps will resume work on Bolt later down the line!

@ghost
Copy link

ghost commented Feb 4, 2021

Not really a language feature, but the bolt compiler could be awesome with multi-file compilation!

@AurumByte
Copy link

AurumByte commented Apr 1, 2021 •
edited

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.

@paulocoghi
Copy link

paulocoghi commented Feb 4, 2022 •
edited

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Bolt New Language Features
Development

No branches or pull requests
4 participants
@paulocoghi @lexvanderstoep @mukul-rathi @AurumByte