Beyond structural editing: semantic editing! https://reasonablypolymorphic.com/blog/towards-tactics/index.html
(Uses Coq-style tactics.)
@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?”
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!