Ian Grant's Weather Report 9/1/22
... subtitled The Joy of Sets, Data and Abstraction.
- AMT/D/2 Turing's Notes to Max Newman
- Introduction to The Logic of Aristotle
- Proofs and Representations
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:
- https://github.com/IanANGrant/red-october/blob/master/src/dynlibs/ffi/GrammarSyntax.sml
- https://github.com/IanANGrant/metaprogramming/blob/master/exampleA.sml
- https://github.com/IanANGrant/metaprogramming/blob/master/exampleB.sml
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
Post a Comment