A new F# compiler feature: graph-based type-checking

Re:A new F# compiler feature: graph-based type-checking by xvilka on Sunday November 05, 2023 @07:47PM (#38157462)

If you think F# is great, check out the OCaml. F# is just a shadow of its glory with a couple notable exceptions.

[ Parent | on HN ]

Re:A new F# compiler feature: graph-based type-checking by peheje on Monday November 06, 2023 @02:43AM (#38159826)

Can you elaborate? From what I have seen the performance of OCaml isn't up to par with F#. The std. library is small compared to all of dotnet, not to say the surrounding ecosystem and third party packages and tools.

Syntax is of course subjective but to my eyes it's cleaner in F#.

Idk. Don't want to start a war but rather hear specific arguments for why you like OCaml more.

[ Parent | on HN ]

Re:A new F# compiler feature: graph-based type-checking by xvilka on Monday November 06, 2023 @03:46AM (#38160138)

Mostly modules and corresponding type system features, AST transformation via PPX, better portability to non-x86 platforms.

[ Parent | on HN ]