Stream: compiler development

Topic: type debugging tools


view this post on Zulip Ayaz Hafiz (Jul 14 2023 at 13:58):

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

view this post on Zulip Anton (Jul 14 2023 at 15:06):

Can you share the page without requiring being logged in to notion?

view this post on Zulip Ayaz Hafiz (Jul 14 2023 at 15:48):

weird, i thought it already did that. Try https://rwx.notion.site/Type-debugging-tools-de42260060784cacbaf08ea4d61e0eb9?pvs=4

view this post on Zulip Anton (Jul 14 2023 at 17:13):

Thanks, that one works :)

view this post on Zulip Anton (Jul 14 2023 at 18:06):

I'm in favor of developing the debugging tools. I strongly believe in the value of transparent software.

view this post on Zulip Brian Carroll (Jul 15 2023 at 12:21):

What does SME stand for in this document?
I only know it as Small to Medium Enterprise!

view this post on Zulip Anton (Jul 15 2023 at 12:40):

I believe it's "subject matter expert"

view this post on Zulip Anton (Jul 15 2023 at 12:41):

I also needed ChatGPT to help me figure it out :p

view this post on Zulip Brian Carroll (Jul 15 2023 at 21:46):

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