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. Learn more →
Hypertypes Alternatives
Similar projects and alternatives to hypertypes based on common topics and language
-
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.
-
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
-
frea
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
hypertypes reviews and mentions
-
My quest for the perfect AST representation
For the development of Lamdu I've embarked on a similar quest and ended up creating hypertypes after getting a helpful pointer in SO.
-
Extensible ASTs with extensible types
Otherwise I would go for modularity rather than extensibility and use hypertypes or an equivalent mechanism to represent the types.
-
What are strategies for tracking type checking errors after desugaring?
Indeed, then it is definitely possible. i.e https://github.com/lamdu/hypertypes
-
[ANN] rrb-vector - an alternative to Data.Sequence
Nice. Using this my type inference implementation benchmarked up to 2.5% faster and the switch wasn't difficult to do.
-
Hyperfunctions
I think https://github.com/lamdu/hypertypes might be related. This is a generic programming API that seems to be based on hyperfunctions, but moved up to the type level?
-
Handling an AST that is built from multiple types
I wrote an overview for several approaches folks came up with for this problem aka "the expression problem" including my own approach, "hypertypes" - see https://github.com/lamdu/hypertypes/blob/master/README.md
-
A note from our sponsor - InfluxDB
www.influxdata.com | 23 Apr 2024
Stats
lamdu/hypertypes is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.
The primary programming language of hypertypes is Haskell.
Popular Comparisons
Sponsored