Conversation

🥢 Jon 🧄
@ionathanch
Cedille's emacs thing has a mode where you can traverse the nodes of the ASTs of your programs, and it displays the type of the node as well as the types of variables in the surrounding context When there's a type error you can jump to the error node and see expected/actual types
Quote Tweet
tranny demon hacker
@defnotbeka
·
programmer friends! whats your favorite but not common language tooling thing?
3
30
🥢 Jon 🧄
@ionathanch
It was hard to learn to use (probably bc I was also learning to use emacs at the same time) but I think it's a really neat bit of tooling that feels like a step up from simple hole-based programming I wish there was a more "graphical" version like imagine DrRacket arrows vibes
1
4
🥢 Jon 🧄
@ionathanch
I think it would be a useful thing to have in any heavily typed language (e.g. Haskell or OCaml, not just proof assts) especially in the use case of debugging type errors It'd be so much easier to read than traditional text-based error msgs where it's less interactive and "live"
2
6