News for hackers. Stuff that matters.

A comment on Implement with Types, Not Your Brain. Parent comment

Re:Implement with Types, Not Your Brain by danharaj on Tuesday June 25, 2019 @08:10PM (#20280642)
In a type system like Haskell's, a function with that signature has to be unconditionally polymorphic in its variable types, so you can't have a list of exceptions.
[ Parent | on HN ]
Re:Implement with Types, Not Your Brain by dllthomas on Wednesday June 26, 2019 @03:59PM (#20288543)
If you do want to be able to list exceptions in Haskell, that's what Typeable gets you. But then the type signature is different.
[ Parent | on HN ]