Hindley–Milner type inferencing in C
This is a pretty straightforward port of Robert Smallshire's Python implementation to C. It type checks a factorial program correctly and is pretty fast. Mostly a learning exercise.
Does the same job
all alternatives →- APA Python with Hindley-Milner-like type annotations, compiling to C2015 · github.com · ▲134
- HMHindley-Milner Type Inference Algorithm in OCaml2016 · github.com · ▲136
- KAKoda, a typesafe functional toolkit for Python2022 · pypi.org · ▲110
- RSRuby static type checker – proof of concept2017 · github.com · ▲115
- PAPoica – Algebraic data types and type introspection for pure C2020 · github.com · ▲116
- MAMys – an attempt to create a statically typed Python-like language2020 · github.com · ▲50
More dev tools this month
the category →
Open-source GTM skills for technical founders
Dev tools · 29d ago · gtmcofounder.com
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 1d ago · opentrailpaper.com
Launched alongside, June 2022
the whole month →- AF
I've seen some interests in (simulation) video games here on HN so I thought I'd share a short version of our story. More than 6 years ago, me and my friend from university were playing around with an idea of making a game we always wanted to play. We worked on it on weekends but the progress was quite slow, especially due to so many dead ends and wasted effort. Eventually however, we solidified our direction and decided to take the risk to resign from our well paid SWE jobs and work on it full time. It took more than a year but yesterday we have finally released it on Steam:…
Life & fun · 2022
- AC
Life & fun · 2022 · benoitessiambre.com
- IS
Life & fun · 2022 · github.com
