More detailed explanation on how efficient lamba sharing can be useful #123
Unanswered
matteo-meluzzi
asked this question in
Q&A
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
In the readme it is stated:
"Lambda encodings have wide practical applications. For example, Haskell's Lists are optimized by converting them to lambdas (foldr/build), its Free Monads library has a faster version based on lambdas, and so on. HVM's optimality open doors for an entire unexplored field of lambda-encoded algorithms that were simply impossible before"
What does it mean that Haskell lists can be optimized by converting them to lambas?
What lambdas-encoded algorithms?
Beta Was this translation helpful? Give feedback.
All reactions