Non-empty list

From HaskellWiki
Revision as of 10:35, 20 November 2006 by Lemming (talk | contribs) (link to a post of Oleg about statically asserted non-empty lists)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

It is possible to assert statically that lists are non-empty using proper type design.