What is Expressiveness in a Computer Language

[Chris Uppal]

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