I've been thinking that we (I guess mostly I) should write tools for debugging the type checker for a while. I am reasonably convinced that we've passed the point where we should have bitten the bullet and just done it. if no one has objections, this is probably going to be what I focus on next - here is a description https://rwx.notion.site/Type-debugging-tools-de42260060784cacbaf08ea4d61e0eb9?pvs=4
Can you share the page without requiring being logged in to notion?
weird, i thought it already did that. Try https://rwx.notion.site/Type-debugging-tools-de42260060784cacbaf08ea4d61e0eb9?pvs=4
Thanks, that one works :)
I'm in favor of developing the debugging tools. I strongly believe in the value of transparent software.
What does SME stand for in this document?
I only know it as Small to Medium Enterprise!
I believe it's "subject matter expert"
I also needed ChatGPT to help me figure it out :p
Cool. Well for my money this is massively worthwhile. I agree we've gone beyond the low hanging fruit and we'd be naive to think we'd solved all the bugs or stopped adding features. So this is the ideal time to make debug tools. It seems obvious to me they'll be used for the remaining lifetime of the language. Go for it, Ayaz!
Last updated: Jul 06 2025 at 12:14 UTC