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