Conversation

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

Replying to

Something that came up on the /r/ProgrammingLanguages Discord when I posted this: could you avoid adding the monad if you didn't have effects (like mutable refs in ML)? Ie. just use lambda parameters as a way of doing abstraction?

2:00 AM · Apr 28, 2021Twitter Web App

Replying to

and

The example that was given was: (λ(m1 : M) (m2 : M). body) m m which emulates: let m1 : M ← m m2 : M ← m in body where `copy1 ≠ copy2`? Or is there some other use for the monad that I might be missing?

Brendan Zabarauskas

@brendanzab

Apr 28, 2021

I'm not sure how hard that translation is in practice though. One example where a I thought monad might be handy was having nominal datatypes without relying on a top-level command language, but I'm not sure if this could be done with lambdas too.

Show replies