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 | 13280 reads
|
Browse archives
Active forum topics |
Recent comments
12 weeks 1 day ago
12 weeks 1 day ago
12 weeks 1 day ago
34 weeks 3 days ago
38 weeks 4 days ago
40 weeks 2 days ago
40 weeks 2 days ago
42 weeks 6 days ago
47 weeks 4 days ago
47 weeks 4 days ago