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 | 7726 reads
|
Browse archives
Active forum topics |
Recent comments
27 weeks 1 day ago
27 weeks 2 days ago
27 weeks 2 days ago
49 weeks 3 days ago
1 year 1 week ago
1 year 3 weeks ago
1 year 3 weeks ago
1 year 5 weeks ago
1 year 10 weeks ago
1 year 10 weeks ago