InfoQ

InfoQ

Presentation

My Bookmarks

Login or Register to enable bookmarks for unlimited time.

The content has been bookmarked!

There was an error bookmarking this content! Please retry.

Recorded at:
Recorded at

Type Systems for DSLs

Presented by Markus Völter on Aug 16, 2011 Length 01:30:57     Download: MP3
     Slides
Sections
Architecture & Design,
Development
Topics
Domain Specific Languages ,
Languages ,
Architecture ,
Programming ,
XText ,
Code Generation 2011 ,
Type Theory
 

How would you like to view the presentation?

In case you are having issues watching this video, please follow these simple steps to help us investigate the issue:
1. Right click on the video player and select Copy log
2. Paste the copied information in an email to video-issue@infoq.com (clicking this link will fill in the default details in most email clients).
Note: in case your email client hasn't automatically picked up the email subject, please include in your email the URL of the video too.
3. Done.
We will investigate the issue and get back to you as soon as possible. Thanks for helping us improve our site!
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.
somewhat difficult to follow by Ranjix ranjix Posted
  1. Back to top

    somewhat difficult to follow

    by Ranjix ranjix

    - 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)