type dx
0 views
Skip to first unread message
Raoul Duke
Jan 7, 2026, 7:13:31 PM (5 days ago) Jan 7
to pi...@googlegroups.com
if type checking is just another program, why aren't there any interactive debuggers for it?
David Barbour
Jan 8, 2026, 1:20:21 PM (4 days ago) Jan 8
to pi...@googlegroups.com
On Wed, Jan 7, 2026, 6:13 PM Raoul Duke <rao...@gmail.com> wrote:
if type checking is just another program, why aren't there any interactive debuggers for it?
It is certainly feasible to support interactive, visual debugging of type errors. But the only project a casual search discovers is ChameleonIDE for Haskell.
Seems like the sort of project you could ask an AI to help you write.
Reply all
Reply to author
Forward
0 new messages