Skip to content

Instantly share code, notes, and snippets.

View hazer-hazer's full-sized avatar
🤏
lolkeking right now

Hazer Hazer hazer-hazer

🤏
lolkeking right now
View GitHub Profile
@hazer-hazer
hazer-hazer / type-inference.coffee
Created May 19, 2022 17:45 — forked from paulmillr/type-inference.coffee
Damas-Hindley-Milner type inference algorithm in LiveScript
# Algorithm W (Damas-Hindley-Milner) in LiveScript.
# By Paul Miller (paulmillr.com), Public domain.
#
# Based on Robert Smallshire's [Python code](http://bit.ly/bbVmmX).
# Which is based on Andrew's [Scala code](http://bit.ly/aztXwD).
# Which is based on Nikita Borisov's [Perl code](http://bit.ly/myq3uA).
# Which is based on Luca Cardelli's [Modula-2 code](http://bit.ly/Hjpvb).
# Something like that.
prelude = require './prelude'