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