2 ms·

Isn't there a compiler extension for hkt?

• dan-robertson 6y ago
  Not for ocaml
  • dunefox 6y ago
    I meant for Haskell, did you mean for Ocaml originally?
    • dan-robertson 6y ago
      If you look at the comment chain, you see: - I don’t like lazy - ocaml is like Haskell but strict - I want higher kinded types (note this is a feature you can turn on in Haskell but ocaml does not have it[1]. The commenter is implying that ocaml is therefore not a sufficient strict Haskell) - you say that higher kinded types are an option, which is true for Haskell but not for ocaml which is being proposed. [1] there are ways to sort-of do higher kinder types in ocaml but they are not ergonomic and feel a bit hacky to me.
      • saityi 6y ago
        In case anyone is curious about [1], there is a paper called Lightweight higher-kinded polymorphism -- http://ocamllabs.io/higher/lightweight-higher-kinded-polymorphism.pdf http://ocamllabs.io/higher/lightweight-higher-kinded-polymor... -- that goes into some of the possible encodings.