archives

Generative and Transformational Techniques

A bit late I posted on the Dr Dobb's website a report on the Summer School on Generative and the Transformational Techniques in Software Engineering (GTTSE) 2005: DDJ's GTTSE 2005 report .

LtU readers will appreciate that GT is all about moving from one language to another and therefore an appropriate subject of a forum.

By JamesLitsios at 2006-06-13 14:20 | LtU Forum | login or register to post comments | other blogs | 6050 reads

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 | 5 comments | other blogs | 7796 reads