User loginNavigation |
A thought on the design of new low-level languages...The other day i was reading & pondering about effect systems, linear types & regions, unquiness typing and relationships between them aswell as monads/arrows and the resulting (relatively) new programming languages coming out on the research done with linear types & regions like Cyclone & Vault. At the same time i was briefly looking into Xanadu a dependently typed imperative language then it got me thinking about the advantages that linear types & regions and dependent typing bring to safety, clearly there is potential for research of utilizing/combing the two in the context of low-level programming languages?. From what i understand inorder to use a rich type system with linear types, one has to use unquiness typing. Anyways what do you guys think? dicuss! discuss!! :-) By snk_kid at 2006-06-13 21:10 | LtU Forum | previous forum topic | next forum topic | other blogs | 7672 reads
|
Browse archives
Active forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 2 days ago
16 weeks 2 days ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 5 hours ago
51 weeks 4 days ago
51 weeks 4 days ago