3 ms·
(1) F# Type Providers still blow my mind. Strongly typed SQL/XML/CSV/JSON without boilerplate is a massive leap forward, and it's a shame that it hasn't caught
by david_allison 5y ago
(1) F# Type Providers still blow my mind.
Strongly typed SQL/XML/CSV/JSON without boilerplate is a massive leap forward, and it's a shame that it hasn't caught on.
https://fsprojects.github.io/SQLProvider/#Example https://fsprojects.github.io/SQLProvider/#Example
- dharmaturtle 5y agoScala experimented with type providers, but it looks abandoned: https://docs.scala-lang.org/overviews/macros/typeproviders.html https://docs.scala-lang.org/overviews/macros/typeproviders.h... Idris has them (but it's Idris) https://docs.idris-lang.org/en/latest/guides/type-providers-ffi.html https://docs.idris-lang.org/en/latest/guides/type-providers-... This SO answer states that Java has something similar called "Type Manifold" https://stackoverflow.com/a/53037742 https://stackoverflow.com/a/53037742 I only have F# experience so I can't comment about the ergonomics of the above. I love, love, love the JSON/Regex type providers. I'm trying to move away from SQL (to event sourcing) so haven't used that type provider yet.