I want a language with staging and a module system though - getting a bit sick of traits and their schenanigans
; __ ;
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Conversation
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
What's wrong with traits
1
They are a complicated feature that are designed for a specific thing - ad-hoc overloading. They break down if you want to use them for other modularity stuff, and take up room in the language for a feature that could allow for that _and_ ad-hoc overloading (ie. a module system).
2
How does a module system work?
1
Futhark has a nice module system with a decent explanation of how it works in its documentation: futhark-book.readthedocs.io/en/latest/lang
1
1
I find the syntax chosen for SML and OCaml's module systems kind of is a bit intimidating and scary if you're unfamiliar with them, but you can also find information out there for them:
- ocaml.org/manual/modulee
- cs.lmu.edu/~ray/notes/int (under the 'Modules' heading)