[MLton-devel] grant proposals

Matthew Fluet fluet@CS.Cornell.EDU
Wed, 17 Jul 2002 14:58:39 -0400 (EDT)


> One thing I've always wanted (and
> this isn't strictly speaking Meta-ML-ish) is a tuple polymorphim so that I
> could write:
> 
> val map{N}To{M} : (('a1 * ... * 'aN) -> ('b1 * ... * 'bM)) ->
>                   ('a1 * ... * 'aN) seq ->
>                   ('b1 * ... * 'bM) seq

Sorry, the above is obviously just an instance of the normal map.  What I
meant was:

val map{N}To{M} : (('a1 * ... * 'aN) -> ('b1 * ... * 'bM)) ->
                  ('a1 seq * ... * 'aN seq) ->
                  ('b1 seq * ... * 'bM seq)




-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel