@wilfredh ??!?!?! Why not just use #Lisp where you work immediately on the AST always?

@Sandra I thought it was a really neat concept. You can definitely do structural editing with Lisp (paredit, smartparens) but I was impressed with how you could derive correct definitions for distinct data types.

@wilfredh Yes, I’m not saying that using theorem proving tactics is a dead end, I was more shocked at the intro:

But instead we take the semantic understanding inside of our heads, serialize it into bytes, and then get the compiler to parse and rediscover the ideas inside our head. What a waste of effort.

I can’t help but go “that’s on you for using #Haskell though?”

Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!