OCaml's type system is quite janky and simplistic compared to Haskell's.
OCaml's type system is quite janky and simplistic compared to Haskell's. The first class module system is fairly nice, although it leads to an annoying problem where now you kind of have two "levels" to the language (module level and normal level). This is arguably analogous to Haskell having a "term level language" and a "type level language", where the type system is more prolog-y than the term language. Also, Haskell's type system is powerful enough to do most of the things you'd want the OCaml module system for, and more. I do occasionally miss the OCaml module system, but not most of the time.
Posted by wyager on Dec 3, 2024, 4:37 AM
Tags
Related issues
- I think this release is really going to give them a hard time selling Fable: > On our benchmarks, Claude Opus 5.5 leads in agentic codin...
- My biggest problem with this is that this regulation is only aimed at AI.
- Because it works too reliably.
- This is a very annoying problem, it's infuriating, you pay 10 USD<->20 USD/mo, and the ads are not even removed.
Raise real-world problems, find people facing the same issue, and discuss solutions.2,000 issues0 comments
hackernews (Marketing)
I think this release is really going to give them a hard time selling Fable: > On our benchmarks, Claude Opus 5.5 leads in agentic codin...
My biggest problem with this is that this regulation is only aimed at AI.
Because it works too reliably.
OCaml's type system is quite janky and simplistic compared to Haskell's.
This is a very annoying problem, it's infuriating, you pay 10 USD<->20 USD/mo, and the ads are not even removed.
OCaml's type system is quite janky and simplistic compared to Haskell's.
OCaml's type system is quite janky and simplistic compared to Haskell's. The first class module system is fairly nice, although it leads to an annoying problem where now you kind of have two "levels" to the language (module level and normal level). This is arguably analogous to Haskell having a "term level language" and a "type level language", where the type system is more prolog-y than the term language. Also, Haskell's type system is powerful enough to do most of the things you'd want the OCaml module system for, and more. I do occasionally miss the OCaml module system, but not most of the time.
Comments (0)
No comments yet. Start the discussion.