[Haskell-cafe] Why aren't there anonymous sum types in Haskell?

Arlen Cuss celtic at sairyx.org
Wed Jun 22 02:57:58 CEST 2011


>  import Data.Either
>  type (:|:) a b = Either a b
>  (???) = either
> 
>  foo :: (Int :|: Bool :|: String :|: Double) -> Int
>  foo =
>     \ i  -> i + 7  ???
>     \ b -> if b then 1 else 0 ???
>     \ s -> length s ???
>     \ d -> floor d

INFIX TYPE OPERATORS!!??!

O_________________________________________O



More information about the Haskell-Cafe mailing list