Ayaz Hafiz (Jul 14 2023 at 13:58): 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
Anton (Jul 14 2023 at 15:06):Can you share the page without requiring being logged in to notion?
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
Anton (Jul 14 2023 at 17:13):Thanks, that one works :)
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.
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!
Anton (Jul 15 2023 at 12:40):I believe it's "subject matter expert"
Anton (Jul 15 2023 at 12:41):I also needed ChatGPT to help me figure it out :p
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 26 2025 at 12:14 UTC