🌘 關於 Hindley-Milner 型推斷的冒險介紹
➤ 介紹 Hindley-Milner 型推斷及其在程式語言設計中的角色
✤ https://reasonableapproximation.net/2019/05/05/hindley-milner.html
作者以維基百科為主要來源，勉強介紹了Hindley-Milner型推斷，討論了其在程式語言設計中的應用及其與表達力和可讀性之間的權衡。
+ 這篇文章對於想深入瞭解Hindley-Milner型推斷的人來說是一個不錯的入門閱讀。
+ 作者很坦率地分享了自己的學習過程，讓人覺得更親近和真實。
#程式語言設計 #型推斷