Home » Modeling » TMF (Xtext) » a DSL for type systems/checkers for xtext languages
| | | |
Re: a DSL for type systems/checkers for xtext languages [message #641605 is a reply to message #641594] |
Fri, 26 November 2010 09:24 |
|
On 11/26/2010 09:55 AM, Sven Efftinge wrote:
> Am 11/25/10 4:15 PM, schrieb Lorenzo Bettini:
>> Hi
>>
>> I've been working for some weeks to a DSL (implemented in Xtext) for
>> writing the type system of any Xtext language (it is based on the
>> generated ecore of the xtext language), thus it aims at being general.
>>
>> It's still in very beta-development stage, but I was wondering whether
>> this might seem useful. What do you think?
>
> It depends on how it looks like.
>
> Sven
>
OK, as soon as I have something ready (and the syntax of the DSL is more
stable) I'll make it available together with some examples :)
cheers
Lorenzo
--
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
ICQ# lbetto, 16080134 (GNU/Linux User # 158233)
HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com
http://www.myspace.com/supertrouperabba
BLOGS: http://tronprog.blogspot.com http://longlivemusic.blogspot.com
http://www.gnu.org/software/src-highlite
http://www.gnu.org/software/gengetopt
http://www.gnu.org/software/gengen http://doublecpp.sourceforge.net
HOME: http://www.lorenzobettini.it
TDD Book: https://leanpub.com/tdd-buildautomation-ci
Xtext Book: https://www.packtpub.com/application-development/implementing-domain-specific-languages-xtext-and-xtend-second-edition
|
|
| | |
Re: a DSL for type systems/checkers for xtext languages [message #642012 is a reply to message #641646] |
Mon, 29 November 2010 14:23 |
|
Well I'm using some DSL for tests; however my intention is basically to
have a DSL for defining how types are computed or checked and then
generate Java code that can be used in validators...
cheers
Lorenzo
On 11/26/2010 02:30 PM, Meinte Boersma wrote:
> Could be interesting, but did you draw your conclusions from 1 DSL?
>
> One thing I've noticed over the past years, is that "academic types"
> regularly focus on any DSL having a type system and that, in many cases,
> that type system should exhibit some properties (such as closedness
> under composition through genericity, collection types or reflection) to
> make it a "real" type system. I tend to focus on usability of my DSLs,
> regardless of it having a (true/proper/real) type system.
>
> To try and add something useful here: Markus Völter has already created
> an "Xtext add-on" with more-or-less the same intentions. You can find it
> at http://code.google.com/a/eclipselabs.org/p/xtext-typesystem/ and it
> may inspire you.
--
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
ICQ# lbetto, 16080134 (GNU/Linux User # 158233)
HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com
http://www.myspace.com/supertrouperabba
BLOGS: http://tronprog.blogspot.com http://longlivemusic.blogspot.com
http://www.gnu.org/software/src-highlite
http://www.gnu.org/software/gengetopt
http://www.gnu.org/software/gengen http://doublecpp.sourceforge.net
HOME: http://www.lorenzobettini.it
TDD Book: https://leanpub.com/tdd-buildautomation-ci
Xtext Book: https://www.packtpub.com/application-development/implementing-domain-specific-languages-xtext-and-xtend-second-edition
|
|
|
Re: a DSL for type systems/checkers for xtext languages [message #642013 is a reply to message #642011] |
Mon, 29 November 2010 14:23 |
|
Thanks I will!
I hoped he was reading the forum :)
cheers
Lorenzo
On 11/29/2010 03:04 PM, Cédric Vidal wrote:
> The guy behind Xtext Typesystem (Markus Voelter) is pretty smart and the
> look of the internal Java DSL makes it pretty obvious that he intends to
> create a Xtext DSL once the code engine is stable.
>
> If I were you, I would get in touch with Markus.
>
> my two cents ;)
>
> Le 26/11/2010 10:23, Lorenzo Bettini a écrit :
>> On 11/26/2010 09:57 AM, Pierre-Alain BOURDIL wrote:
>>> Hi Lorenzo,
>>> did you check
>>> http://code.google.com/a/eclipselabs.org/p/xtext-typesystem/ ?
>>>
>>
>> yes, but that's only a framework there's no DSL for defining the type
>> system
>>
>> cheers
>> Lorenzo
>>
>
--
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
ICQ# lbetto, 16080134 (GNU/Linux User # 158233)
HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com
http://www.myspace.com/supertrouperabba
BLOGS: http://tronprog.blogspot.com http://longlivemusic.blogspot.com
http://www.gnu.org/software/src-highlite
http://www.gnu.org/software/gengetopt
http://www.gnu.org/software/gengen http://doublecpp.sourceforge.net
HOME: http://www.lorenzobettini.it
TDD Book: https://leanpub.com/tdd-buildautomation-ci
Xtext Book: https://www.packtpub.com/application-development/implementing-domain-specific-languages-xtext-and-xtend-second-edition
|
|
| | |
Goto Forum:
Current Time: Tue May 21 16:54:10 GMT 2024
Powered by FUDForum. Page generated in 0.04112 seconds
|