Latest posts Book review: the Iliad Conditional prediction markets are evidential, not causal Cryptocurrency taxation in the UK Headphones hook Ruining an expected-log-money maximizer all | tags A reckless introduction to Hindley-Milner type inference (I've been editing this post on and off for almost a year. I'm not really happy with it, but I suspect I never will be.) Several months ago I gave a talk at work about Hindley-Milner type inference. When I agreed to give the talk I didn't know much...