Anyone interrested in programming languages should watch this video of my colleague, Phil Gossett talking about isomorphisms between types and code.
Oh yes, and Spiderman 3 is terrible, avoid it.
Anyone interrested in programming languages should watch this video of my colleague, Phil Gossett talking about isomorphisms between types and code.
Oh yes, and Spiderman 3 is terrible, avoid it.