Plans for OCaml 4.08

Re:Plans for OCaml 4.08 by leshow on Wednesday July 04, 2018 @01:41PM (#17458498)

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;;

[ Parent | on HN ]

Re:Plans for OCaml 4.08 by def-lkb on Wednesday July 04, 2018 @02:01PM (#17458608)

  data Ty a where
    Int  :: Ty Int
    Bool :: Ty Bool
    ...

[ Parent | on HN ]