Non-empty list
From HaskellWiki
(Difference between revisions)
(Category:Idioms) |
(advocacy) |
||
| Line 1: | Line 1: | ||
It is possible to assert statically that lists are non-empty using proper [http://www.haskell.org/pipermail/haskell-cafe/2006-November/019593.html type design]. | It is possible to assert statically that lists are non-empty using proper [http://www.haskell.org/pipermail/haskell-cafe/2006-November/019593.html type design]. | ||
| + | |||
| + | Maybe, you are also interested in [http://www.haskell.org/pipermail/haskell-cafe/2006-November/019644.html advocacy] of this style. | ||
[[Category:Idioms]] | [[Category:Idioms]] | ||
Revision as of 13:33, 20 November 2006
It is possible to assert statically that lists are non-empty using proper type design.
Maybe, you are also interested in advocacy of this style.
