User loginNavigation |
Advanced Types in QiThis website claim: "Qi has the most powerful type theory of any language that will ever be invented." Frankly I don't understand the first thing in this write-up but I'm sure others will find it interesting. Also, I read somewhere that while Lisp reflects programming language theory of old, Haskell represents PLT thinking of the 90s (poorly paraphrased from memory). I've always assumed Haskell's type system and pattern matching are what's supposed to be '90s thinking,' so where does that put Qi? By shahbaz at 2005-05-13 22:51 | LtU Forum | previous forum topic | next forum topic | other blogs | 12795 reads
|
Browse archivesActive forum topics |
Recent comments
6 weeks 4 days ago
6 weeks 6 days ago
7 weeks 14 hours ago
14 weeks 12 hours ago
19 weeks 5 days ago
19 weeks 6 days ago
20 weeks 5 days ago
23 weeks 3 days ago
24 weeks 6 days ago
25 weeks 2 hours ago