BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Topics

Choose your language

InfoQ Homepage Presentations Type Systems for DSLs

Type Systems for DSLs

Bookmarks
01:30:57

Summary

Markus Völter discusses what type systems are and some of the typing rules usually needed for DSLs, exemplifying the concepts with Xtext and MPS.

Bio

Markus Völter works as an independent researcher, consultant and coach for itemis AG in Stuttgart, Germany. His focus is on software architecture, model-driven software development and domain specific languages as well as on product line engineering. Markus also regularly writes (articles, patterns, books) and speaks (trainings, conferences) on those subjects. Contact him via http://www.voelter.de

About the conference

The Code Generation conference is Europe's leading event on Domain-Specific Languages, Model-Driven Software Development and Language Workbenches. The event has a strong practical focus on sharing experiences of what does and doesn't work.

Recorded at:

Aug 16, 2011

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

  • somewhat difficult to follow

    by Ranjix ranjix,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    - subject, somewhat misplaced IMO. There is a reason why DSLs contain the D and the S in front, so they don't *always* have to deal with types :)
    - minor corrections needed in the slides (recusion?)
    - the eclipse code is unreadable, in the recording
    I respect the try, couldn't get past the code presentation (again, for me, unreadable)

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

BT