Show HN: Eole, a Lévy-optimal lambda calculus evaluator written in Rust

Re:Show HN: Eole, a Lévy-optimal lambda calculus evaluator w... by voldacar on Monday October 21, 2019 @06:39PM (#21318334)

Does it have monads?

[ Parent | on HN ]

Re:Show HN: Eole, a Lévy-optimal lambda calculus evaluator w... by HerrmannM on Monday October 21, 2019 @07:25PM (#21318701)

Of course not, monads are so 20th century... The October 2019 way is to only work with stacks of TripleZippersInvertedStateTransformerLens, and I know you know it!

[ Parent | on HN ]

Re:Show HN: Eole, a Lévy-optimal lambda calculus evaluator w... by HerrmannM on Monday October 21, 2019 @10:06PM (#21319712)

Joke aside, it is supposed (I have some interesting bugs at the moment) to be an evaluator for the pure lambda calculus. So, I guess you can encode monads in it, but that is not really the point, and I definitely did not make an example with monads. I'll try to do such an example later.

[ Parent | on HN ]