[MLton] List comprehensions?
skaller
skaller at users.sourceforge.net
Thu May 31 07:33:04 PDT 2007
On Thu, 2007-05-31 at 15:57 +0200, Wesley W. Terpstra wrote:
> This feature will probably break MLton's defunctorization, though:
> > * Local Modules.
> >
> > Structure, functor and signature declarations are allowed in
> > local scope:
> I have needed this feature in the past, but what does this mean for
> 'val's declared in the functor? Must they be evaluated every time the
> function is called? I think so. They might depend on the parameter.
They're evaluated every time the function elaborates the functor.
Local modules .. including functors .. are available in Ocaml now.
> I think that the equality type is an ugly wart in SML. Plus, haskell
> shows just how flexible type classes can be. In particular, the a..b
> notation in Haskell is an elegant example of how great type classes
> are. Similarly, the List.map, Vector.map, ... show redundancy that so
> cleanly fits this paradigm that it's almost embarrassing it's absent.
IMHO, typeclasses are a wart. It's a hack to make up for
real polyadic programming.
--
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net
More information about the MLton
mailing list