4 Jul
2010
4 Jul
'10
9:07 p.m.
Nils Schweinsberg
This requires a bunch of type system extensions, though, most notably the UndecidableInstances extension. But it's safe to use here.
Probably a bit off topic, but whats wrong with UndecidableInstances? Where is it safe to use, when would you avoid it and what can go wrong here?
Essentially UndecidableInstances turns the type system into a Turing-complete programming language. One direct consequence is that type checking may not terminate and, because of the halting problem, the type system is unable to tell when that happens. Greets, Ertugrul -- nightmare = unsafePerformIO (getWrongWife >>= sex) http://ertes.de/