There was one crazy-ass talk that stood out as interesting and not a little mind-warping. DeLesley Hutchins, "Pure Subtype Systems" in which terms and types are the same thing. I guess mixins did that also sort of, but this one really takes the idea and runs with it.
There was one crazy-ass talk that stood out as interesting and not a little mind-warping. DeLesley Hutchins, "Pure Subtype Systems" in which terms and types are the same thing. I guess mixins did that also sort of, but this one really takes the idea and runs with it.
-
(no subject)
After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…
-
(no subject)
Went to a series of maker-y talks hosted by Pivotal. The last one, by the woman who runs Genspace, "New York City's Community Biolab" was pretty…
-
(no subject)
I had already been meaning to dig into JaneSt's "Incremental" library, which bills itself as a practical implementation (in ocaml) of the ideas in…
- Post a new comment
- 13 comments
- Post a new comment
- 13 comments
-
(no subject)
After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…
-
(no subject)
Went to a series of maker-y talks hosted by Pivotal. The last one, by the woman who runs Genspace, "New York City's Community Biolab" was pretty…
-
(no subject)
I had already been meaning to dig into JaneSt's "Incremental" library, which bills itself as a practical implementation (in ocaml) of the ideas in…
