29 Oct
2010
29 Oct
'10
5:41 p.m.
On Fri, Oct 29, 2010 at 05:25:15PM -0400, David Menendez wrote:
map ord "foo" == #map Char Int ord "foo"
I guess this would only work with explicit foralls, otherwise how do you know which type is the Int and which is the Char?
You can do it based on the order they first appear in the type. It would be nicer if explicit foralls were used, but requiring that would mean you can't use this syntax with most library code (e.g., you can't use it with map), as it doesn't currently use them. I don't know how much of a problem this would cause. Thanks Ian