3 ms·
Could someone write the equivalent of this in Haskell (assuming the GADTs ext). type 'a ty = Int : int ty | Bool : bool ty | String : string ty;;
by leshow 8y ago
Could someone write the equivalent of this in Haskell (assuming the GADTs ext).
type 'a ty = Int : int ty | Bool : bool ty | String : string ty;;
- deleted 8y ago[deleted]
- def-lkb 8y agodata Ty a where Int :: Ty Int Bool :: Ty Bool ...
- deleted 8y ago[deleted]