News for hackers. Stuff that matters.
Re:A new F# compiler feature: graph-based type-checking by Akronymus on Sunday November 05, 2023 @09:46AM (#38151573)
Because they are pretty annoying to implement and most are quite fragile
Re:A new F# compiler feature: graph-based type-checking by eddythompson80 on Sunday November 05, 2023 @11:20AM (#38152479)
They are only as fragile as your type source.
Re:A new F# compiler feature: graph-based type-checking by FrustratedMonky on Monday November 06, 2023 @06:41AM (#38161259)
Maybe not 'fragile' as in buggy, not buggy, but I found them to be 'quirky'. Sometimes stop working unless I close /re-open VScode. Stuff like that.

And other downfall. Do they still not work with DOTNET Core??

Re:A new F# compiler feature: graph-based type-checking by chusk3 on Monday November 06, 2023 @09:33AM (#38163088)
They've worked for several years now on dotnet, but the type provider author has to do some work to allow their type provider to compile and target that runtime.
Re:A new F# compiler feature: graph-based type-checking by owlstuffing on Sunday November 05, 2023 @02:33PM (#38154748)
Yep, implementing one (a solid one) is hardcore. But think about it. Building, say, an XML or SQL type provider is a big deal. Doing it right requires special talent, because you are essentially building a transpiler to seamlessly interface with F#.

But this is also it’s greatest strength. Having direct, type-safe access to structured data is truly awesome. What else compares? Certainly not conventional code gen.

Re:A new F# compiler feature: graph-based type-checking by Akronymus on Sunday November 05, 2023 @02:37PM (#38154781)
Oh, don't get me wrong: Type providers are absolutely fantastic. Just, they are such a complex beast, most implementations I used so far are pretty fragile, at best. But tbh, even a fragile one is surprisingly useful