Joe Marshall wrote:
> What we need is an FAQ entry for how to talk about types with people
> who are technically adept, but non-specialists. Or alternatively, an
> FAQ of how to explain the term `dynamic typing' to a type theorist.
You could point people at
"a regular series on object-oriented type theory, aimed
specifically at non-theoreticians."
which was published on/in JoT from:
http://www.jot.fm/issues/issue_2002_05/column5
to
http://www.jot.fm/issues/issue_2005_09/column1
Only 20 episodes ! (But #3 seems to be missing.)
Actually the first one has (in section four) a quick and painless overview of
several kinds of type theory. I haven't read the rest (yet, and maybe never
;-)
-- chris
--
http://mail.python.org/mailman/listinfo/python-list
