Difference between revisions of "Non-empty list"
Jump to navigation
Jump to search
(link to a post of Oleg about statically asserted non-empty lists) |
(Category:Idioms) |
||
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]. |
||
+ | |||
+ | [[Category:Idioms]] |
Revision as of 11:04, 20 November 2006
It is possible to assert statically that lists are non-empty using proper type design.