[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