Hacker GitHub

← All repos

chewxy/hm

View on GitHub ↗ ★ 67 Go

a simple Hindley-Milner type system in Go

4 mentions on Hacker News by 1 person: 0 stories, 4 comments · first 2017-08-20 · latest 2023-11-15

Mentions per year 4 mentions · busiest year 2018 (2)
20082026
AllStoriesComments NewestTopOldest
  1. I'm curious how you went. Here's my attempt: https://github.com/chewxy/hm , the core of which (i.e. the interface type) is what powers most of the languages I wrote (different languages I wrote have different unification schemes)
    comment by chewxy · 2023-11-15 · in A decade of developing a programming language
  2. …). It's written in Go, and neural networks written with Gorgonia has a decent type system ( https://github.com/chewxy/hm ) . It uses dual numbers for differentiation. On top of that, the meta language, Go is also statically typed. We need…
    comment by chewxy · 2018-10-22 · in First-Class Automatic Differentiation in Swift
  3. …inferences (not that it's particularly useful)[1] [0] - https://github.com/gorgonia/gorgonia [1] - https://github.com/chewxy/hm
    comment by chewxy · 2018-06-21 · in The state of type hints in Python
  4. …to be used for runtime-compilation (imagine a service that compiles code). I had to rewrite mine ( https://github.com/chewxy/hm ) twice, and finally removing typeclasses to be fast enough for a inference system I wrote.
    comment by chewxy · 2017-08-20 · in What is Hindley-Milner and why is it cool? (2008)