Saya Hiyama's Weather Report
Subscribe to SAYArchive 38 ch .
Posts
David Lynch's Weather Report
Subscribe to David Lynch Theater . Credence Clearwater Revival - Have You Ever Seen The Rain (1971) Pink Floyd - Several Species of Small Furry Animals Gathered Together in A Cave and grooving With A Pict (1969) Jimi Hendrix - The Wind Cries Mary (Live in Paris, October 9, 1967)
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: Keith Devlin - The Joy of Sets Hannah Fry - The Joy of Data Eugenia Cheng - The Joy of Abstraction The Imitation Game -