[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
On May 12, 2014, at 11:51 PM, Marius Nita <[email protected]> wrote: > As far as I can tell, that quote accurately describes types in ML or Haskell, > which disallow all "invalid" behaviors along with some valid ones. It's not > clear what you mean by "constructive". "match" and "case". V.
