Ian Grant's Weather Report 9/1/22

... subtitled The Joy of Sets, Data and Abstraction.



My outrageous claim is on page 8 of my tutorial on Hindley-Milner Type Inference, just after I show that Standard ML can in fact infer the type of the predecessor function when partially applied to any Church numeral. See Dependent Types and Parametric Polymorphic Types.

For some vague ideas about programming this stuff, see Gerald Sussman on Rewriting Systems and these files:

Nick Cave & The Bad Seeds - Song of Joy 

Subscribe to Nick Cave & The Bad Seeds.

See:

The Imitation Game - Ending (2014)


Subscribe to Annti Peltola.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023