-
-
Notifications
You must be signed in to change notification settings - Fork 2
Functional Programming
Andrew Johnson edited this page Oct 2, 2024
·
12 revisions
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.
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.
- Open Implicit Coercions
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.