Difference between revisions of "Non-empty list"
Jump to navigation
Jump to search
(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.