Our great sponsors
-
fslang-suggestions
The place to make suggestions, discuss and vote on F# language and core library features
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
There maybe be a way to make it not have overhead. But there is precedent that this is not the case with Statically Resolved Type Parameters, and existing mechanism in F# that already lets you encode Haskell-style typeclasses and is the backbone of FSharpPlus, a typelevel (and more) library for F#. Solving constraints like this at compile-time (as opposed to having a runtime natively understand them) absolutely, positively leads to explosive compile times if you're not careful. I worked on the F# compiler for 5 years and I can attest to numerous reports related to accidental compile-time explosions just because SRTPs or inline was used a particular way.
Related posts
- Is it possible to add a NuGet package dependency to a project that points to a GitHub repository?
- What is the difference between an Applicative and a Monad?
- Practically speaking, what does F#'s lack of higher-typed kinds mean?
- F#+ 1.2 Released 🔷🚀
- Dafny is a verification-aware programming language