Eclipse Community Forums: TMF (Xtext) » a DSL for type systems/checkers for xtext languages

Help

Home

Home » Modeling » TMF (Xtext) » a DSL for type systems/checkers for xtext languages

Show: Today's Messages :: Show Polls :: Message Navigator

a DSL for type systems/checkers for xtext languages [message #641475]

Thu, 25 November 2010 15:15

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

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?

Of course I can make it available also in this early stage (but for
instance, all the code generation stage is not started yet).

any comment/idea is welcome

thanks in advance
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

Report message to a moderator

Re: a DSL for type systems/checkers for xtext languages [message #641590 is a reply to message #641475]

Fri, 26 November 2010 08:57

Pierre-Alain BOURDIL

Messages: 25
Registered: September 2010

Junior Member

Hi Lorenzo,
did you check
this one ?

I've found it from the project list in this bug tracker. Althought there's a new community web site that list project build on top of xtext : community

[Updated on: Fri, 26 November 2010 08:58]

Report message to a moderator

Re: a DSL for type systems/checkers for xtext languages [message #641594 is a reply to message #641475]

Fri, 26 November 2010 08:55

Sven Efftinge

Messages: 1823
Registered: July 2009

Senior Member

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

--
Need professional support for Xtext or other Eclipse Modeling technologies?
Go to: http://xtext.itemis.com
Twitter : @svenefftinge
Blog : http://blog.efftinge.de

Report message to a moderator

Re: a DSL for type systems/checkers for xtext languages [message #641604 is a reply to message #641590]

Fri, 26 November 2010 09:23

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

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

Report message to a moderator

Re: a DSL for type systems/checkers for xtext languages [message #641605 is a reply to message #641594]

Fri, 26 November 2010 09:24

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

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

Report message to a moderator

Re: a DSL for type systems/checkers for xtext languages [message #641646 is a reply to message #641605]

Fri, 26 November 2010 13:30

Meinte Boersma

Messages: 434
Registered: July 2009
Location: Leiden, Netherlands

Senior Member

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.

Xtext blogs: executable models...again? | workshop material | custom scoping with Xtend

Report message to a moderator

Re: a DSL for type systems/checkers for xtext languages [message #642011 is a reply to message #641604]

Mon, 29 November 2010 14:04

CÃ©dric Vidal

Messages: 101
Registered: July 2009

Senior Member

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
>

Report message to a moderator

Re: a DSL for type systems/checkers for xtext languages [message #642012 is a reply to message #641646]

Mon, 29 November 2010 14:23

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

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

Report message to a moderator

Re: a DSL for type systems/checkers for xtext languages [message #642013 is a reply to message #642011]

Mon, 29 November 2010 14:23

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

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

Report message to a moderator

Re: a DSL for type systems/checkers for xtext languages [message #642119 is a reply to message #642013]

Mon, 29 November 2010 22:48

Meinte Boersma

Messages: 434
Registered: July 2009
Location: Leiden, Netherlands

Senior Member

I think Markus doesn't frequent this forum, but I'm sure he's quite approachable by email.

Xtext blogs: executable models...again? | workshop material | custom scoping with Xtend

Report message to a moderator

Re: a DSL for type systems/checkers for xtext languages [message #942707 is a reply to message #642012]

Sat, 13 October 2012 20:23

Duke Payen

Messages: 4
Registered: October 2012
Location: Sacramento

Junior Member

Xtext has been released as a part of the Eclipse Galileo release train on June 24th, 2009. Xtext is a framework for building DLSs (domain specific languages). In fact, it can be seen as a DSL for defining DSLs.

Duke Payen

Report message to a moderator

Previous Topic:	articles in the newsgroup are out of wack...
Next Topic:	Combining JvmModelInferrer with IGenerator

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sat Apr 20 04:05:30 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter