Re: [TYPES] types
Vladimir Voevodsky <[email protected]>
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
[ 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.