Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » TMF (Xtext) » a DSL for type systems/checkers for xtext languages
a DSL for type systems/checkers for xtext languages [message #641475] Thu, 25 November 2010 15:15 Go to next message
Lorenzo Bettini is currently offline Lorenzo BettiniFriend
Messages: 1417
Registered: July 2009
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
Re: a DSL for type systems/checkers for xtext languages [message #641590 is a reply to message #641475] Fri, 26 November 2010 08:57 Go to previous messageGo to next message
Pierre-Alain BOURDIL is currently offline Pierre-Alain BOURDILFriend
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 Go to previous messageGo to next message
Sven Efftinge is currently offline Sven EfftingeFriend
Messages: 1771
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


--
Need professional support on Xtext or Xtend?
Mail to: xtext (at) itemis.com
Twitter : @svenefftinge
Blog : blog.efftinge.de
Re: a DSL for type systems/checkers for xtext languages [message #641604 is a reply to message #641590] Fri, 26 November 2010 09:23 Go to previous messageGo to next message
Lorenzo Bettini is currently offline Lorenzo BettiniFriend
Messages: 1417
Registered: July 2009
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
Re: a DSL for type systems/checkers for xtext languages [message #641605 is a reply to message #641594] Fri, 26 November 2010 09:24 Go to previous messageGo to next message
Lorenzo Bettini is currently offline Lorenzo BettiniFriend
Messages: 1417
Registered: July 2009
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
Re: a DSL for type systems/checkers for xtext languages [message #641646 is a reply to message #641605] Fri, 26 November 2010 13:30 Go to previous messageGo to next message
Meinte Boersma is currently offline Meinte BoersmaFriend
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.


Re: a DSL for type systems/checkers for xtext languages [message #642011 is a reply to message #641604] Mon, 29 November 2010 14:04 Go to previous messageGo to next message
Cédric Vidal is currently offline Cédric VidalFriend
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
>
Re: a DSL for type systems/checkers for xtext languages [message #642012 is a reply to message #641646] Mon, 29 November 2010 14:23 Go to previous messageGo to next message
Lorenzo Bettini is currently offline Lorenzo BettiniFriend
Messages: 1417
Registered: July 2009
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
Re: a DSL for type systems/checkers for xtext languages [message #642013 is a reply to message #642011] Mon, 29 November 2010 14:23 Go to previous messageGo to next message
Lorenzo Bettini is currently offline Lorenzo BettiniFriend
Messages: 1417
Registered: July 2009
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
Re: a DSL for type systems/checkers for xtext languages [message #642119 is a reply to message #642013] Mon, 29 November 2010 22:48 Go to previous messageGo to next message
Meinte Boersma is currently offline Meinte BoersmaFriend
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.

Re: a DSL for type systems/checkers for xtext languages [message #942707 is a reply to message #642012] Sat, 13 October 2012 20:23 Go to previous message
Duke Payen is currently offline Duke PayenFriend
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
Previous Topic:articles in the newsgroup are out of wack...
Next Topic:Combining JvmModelInferrer with IGenerator
Goto Forum:
  


Current Time: Fri Dec 19 03:29:27 GMT 2014

Powered by FUDForum. Page generated in 0.03791 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software