Talk:Typeful programming

From Wikipedia, the free encyclopedia

You have new messages (last change).

[edit] Strongly typed languages

I think the idea of languages with enforceable type system is much older than the cited article. In fact most modern languages are strongly typed. Cardelli might have provided theoretical basis for studying typed systems, but he didn't invent them. -- Bartosz 22:18, 29 November 2006 (UTC)

Retrieved from "http://en.wikipedia.org../../../t/y/p/Talk%7ETypeful_programming_fac7.html"