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

Re:A new F# compiler feature: graph-based type-checking by Smaug123 on Sunday November 05, 2023 @12:24PM (#38153245)

In fairness it is rather terrifying :P personally I pull all necessary information into some form of version-controlled storage, and then have a test to assert that the remote information is consistent with the stored version. Life's too short to have nondeterministic builds.

[ Parent | on HN ]

Re:A new F# compiler feature: graph-based type-checking by eddythompson80 on Sunday November 05, 2023 @01:00PM (#38153652)

yeah that's fair. That's what I landed on too, and would think anyone using it seriously would be doing the same. But the fact that you could extend the compiler to program your own code generation in F# itself is amazing. Comptime in Zig reminds me of this too. I'd have to think OCaml has something similar, but I'm not too familiar with it.

[ Parent | on HN ]

Re:A new F# compiler feature: graph-based type-checking by owlstuffing on Sunday November 05, 2023 @02:41PM (#38154822)

Java has this too with the Manifold[1] project. It’s mind blowing.

1. https://github.com/manifold-systems/manifold

[ Parent | on HN ]

Re:A new F# compiler feature: graph-based type-checking by eddythompson80 on Sunday November 05, 2023 @03:40PM (#38155434)

woah, I had no idea. That seems pretty cool

[ Parent | on HN ]