I want a module system that lets me write code like there's global variables but is quietly threading them into scopes for me through implicit parameterization.
Conversation
I know many FP folks would think this is gross, but I think it would be amazing for writing small programs really quickly and safely.
3
3
I think Scala comes closest to what you want today. /cc
1
3
Trouble is the implicit search is a little too smart for its own good, so it can be hard to know what is being passed. Will be interested to see how OCaml's implicit search fares in comparison (when/if Modular Implicits get added).