Structural code editors (Lamdu, Hazel). They are great but plain text editors with advanced structural features offer some of the same benefits while being way more flexible. So supporting both free and structured manipulation could be the best approach.
-
-
-
Agreed! There's a bimodality of structural correctness and fuzzily sketching an idea. Hazel's typed holes address this problem a bit, and assumes the best intentions out of the programmer
End of conversation
New conversation -
-
-
Linear logic
also adjoints - End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.