Haskell type-inference

Open-source Haskell projects categorized as type-inference
Edit details
Topics: hindley-milner functional-language Functional programming Type REPL
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.
www.influxdata.com
featured

Top 4 Haskell type-inference Projects

  • write-you-a-haskell

    Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

    • Project mention: A decade of developing a programming language | news.ycombinator.com | 2023-11-14

    I highly recommend https://github.com/sdiehl/write-you-a-haskell as it is very developer friendly. It’s not complete, but it really gets the gears turning and will set you up for writing your own Hendley-Milner style type checker.

  • hypertypes

    Hypertypes - generic programming for heterogeneous recursive types

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

    InfluxDB logo

  • hindley-milner

    Template for Hindley-Milner based languages

  • frea

    A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Haskell type-inference related posts

  • My quest for the perfect AST representation

    1 project | /r/haskell | 23 May 2023

Index

What are some of the best open-source type-inference projects in Haskell? This list will help you:

Project Stars
1 write-you-a-haskell 3,304
2 hypertypes 107
3 hindley-milner 37
4 frea 17

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com