How to choose between Hindley-Milner and bidirectional typing

Posted 4 days ago by thunderseethe
132 points

https://thunderseethe.dev/posts/how-to-choose-between-hm-and-bidir/

6 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..