-
-
Notifications
You must be signed in to change notification settings - Fork 2
Functional Programming
Functional Programming is supported within the compiler internals based on the semantics of System F<: with Specialization. When using functional programming in applied contexts it often becomes necessary to use a variety of data structures that may have runtime costs.
Implementation of closures is currently waiting for representation selection for closures. Garbage Collection is also sort of necessary for closures to work properly.
LM is not explicitly eager or lazy, it just generates code to follow whatever pattern you ask for. The compiler itself is eager, but that doesn't mean your code needs to be the same.
There is an open ticket for implicit coercions, which could be used to implement Gradual Typing.
The λ☶ source code and documentation are released under the terms of the attached permissive MIT license. This license is intended only to protect the future development of the project while otherwise allowing people to use the code and IP as they would like. Please, just be nice.