1 Jan
2012
1 Jan
'12
1:52 a.m.
On Sun, Jan 01, 2012 at 01:22:31AM -0500, Matthew Farkas-Dyck wrote:
It seems to me that there's only one essential missing language feature, which is appropriately-kinded type-level strings
Isn't this possible now with type → kind promotion?
Unfortunately, I believe promotion of built-in types other than lists and tuples has not yet been implemented. In particular, Char cannot yet be promoted. However, there are no theoretical impediments to implementing it that I know of and it should be possible in the future. -Brent