Talk:Flatten a list: Difference between revisions

I am curious about the Ocaml entry and its problem with empty lists. Is their not some way of telling the type system to expect one or another of two types? Maybe [[wp:Algebraic data type]] (but I'm way out of my depth here) --[[User:Paddy3118|Paddy3118]] 00:58, 17 August 2009 (UTC)