News for hackers. Stuff that matters.
Re:TypeScript 3.5 by panpanna on Wednesday May 29, 2019 @03:39PM (#20044447)
Speaking of which, is there any tutorials on type theory that targets developers instead of mathematicians?
Re:TypeScript 3.5 by simplify on Wednesday May 29, 2019 @03:50PM (#20044578)
Hindley-Milner is a solid place to start. Here's an introduction: http://akgupta.ca/blog/2013/05/14/so-you-still-dont-understa...