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
Uh oh!
There was an error while loading. Please reload this page.
-
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