Type checker plugins

Barney Hilken b.hilken at ntlworld.com
Thu Oct 16 22:59:44 UTC 2014


I can think of a use for a non-equality constraint: an alphabetical ordering on Symbol. This would allow experimental implementations of extensible records (without shadowing) which keep the labels sorted.

An order constraint on Nat might be useful, too.

Barney.



More information about the Glasgow-haskell-users mailing list