30 May
2005
30 May
'05
1:59 p.m.
On Mon, 30 May 2005, Jan Christiansen wrote:
It's not allowed to make an instance of a type synonym and partially applied type synonyms are not allowed anyway. Is there a reason why partial application of type synonyms are forbidden?
It turns the type system into an FPL all of its own, which means the type checker isn't guaranteed to terminate. -- flippa@flippac.org There is no magic bullet. There are, however, plenty of bullets that magically home in on feet when not used in exactly the right circumstances.