Skip to content

Navigation Menu

Sign in
Sign up

More detailed explanation on how efficient lamba sharing can be useful #123

Unanswered
matteo-meluzzi asked this question in Q&A
Discussion options

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?

You must be logged in to vote

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
1 participant

AltStyle によって変換されたページ (->オリジナル) /