[Haskell-cafe] Re: Type system extension

Stefan Monnier monnier at iro.umontreal.ca
Mon May 16 18:32:47 EDT 2005

> It would be useful to specify a function as so:
> doSomethingToAModule :: SCode(SModule) -> SomeRandomOtherType

You may want to check out the work done on refinement types, mostly by Frank
Pfenning and some of his students IIRC.


More information about the Haskell-Cafe mailing list