What do you mean by 'invisible'? Hard to grok?
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Conversation
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Oh I definitely empathise with that - I spent the day wrangling a dependently typed proof into submission and battilng the horrific errors…
1
Not that it's an excuse for poor errors, but I feel like it gets easier once you internalise the rules of a specific type system though.
1
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Pretty amazing what the human mind can do, but as somebody with a design background it pains me deeply to see.
1
1
But as a type system implementer I know just how challenging implementing good error reporting is. It's effort well spent though.
1
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Replying to
Definitely. Stack traces are much easier to implement because a concrete counter-example should be immediately visible to the author.
Granted, Elixir's errors were tableflippingly atrocious for the longest time 🤦♂️