News for hackers. Stuff that matters.
Re:A new F# compiler feature: graph-based type-checking by eddythompson80 on Sunday November 05, 2023 @11:19AM (#38152472)
I got downvoted on the typescript subreddit when I mentioned how Type providers work in F# because "nah, it can't be working that way. The compiler can't be making http requests to make up types for an API" smh.
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.
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.
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

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
Re:A new F# compiler feature: graph-based type-checking by PartiallyTyped on Sunday November 05, 2023 @04:05PM (#38155630)
SQLX has entered the chat [1].

[1] https://github.com/launchbadge/sqlx

Re:A new F# compiler feature: graph-based type-checking by owlstuffing on Sunday November 05, 2023 @05:11PM (#38156164)
Nice.

Java has what looks like SQLx on steroids with the manifold project coming down the pike.

https://github.com/manifold-systems/manifold/blob/master/man...

Re:A new F# compiler feature: graph-based type-checking by PartiallyTyped on Sunday November 05, 2023 @07:57PM (#38157537)
This is the coolest thing I have seen over the previous week! Looks fantastic!