Comments on: Fowler’s DSL example with TLA+ http://simon.zambrovski.org/2009/02/fowler%e2%80%99s-dsl-example-with-tla/ "One Cannot Not Communicate" - Watzlawick Fri, 29 Jan 2010 23:56:55 +0000 http://wordpress.org/?v=2.9.1 hourly 1 By: Simon Zambrovski | Tools for TLA+ http://simon.zambrovski.org/2009/02/fowler%e2%80%99s-dsl-example-with-tla/comment-page-1/#comment-209 Simon Zambrovski | Tools for TLA+ Wed, 10 Mar 2010 09:16:00 +0000 http://simon.zambrovski.org/?p=112#comment-209 [...] mentioned in the previous post on Fowlers DSL example, there are some tools available for the TLA+ specification language. In the [...] [...] mentioned in the previous post on Fowlers DSL example, there are some tools available for the TLA+ specification language. In the [...]

]]> By: Simon http://simon.zambrovski.org/2009/02/fowler%e2%80%99s-dsl-example-with-tla/comment-page-1/#comment-208 Simon Wed, 10 Mar 2010 06:27:00 +0000 http://simon.zambrovski.org/?p=112#comment-208 The problem with WYSIWYG, is that you will require a 200 character keyboard for entering the code, since most mathematical symbols does not have an ASCII representation. The problem with WYSIWYG, is that you will require a 200 character keyboard for entering the code, since most mathematical symbols does not have an ASCII representation.

]]> By: Peter Friese http://simon.zambrovski.org/2009/02/fowler%e2%80%99s-dsl-example-with-tla/comment-page-1/#comment-207 Peter Friese Wed, 10 Mar 2010 16:01:00 +0000 http://simon.zambrovski.org/?p=112#comment-207 What I really like about this version of the secret compartment is that you can actually see what's going on, i.e. the actions taking place. Also, it is nice to be able to express invariants (sweet memories of my studies in c.s. come back). While I still think state machines are a particularly poor example for demonstrating DSLs, I think TLA+ excels here due to its mathematical foundation. Of course, one can also see that TLA+ is more geared towards being nicely rendered so you can better read the mathematical symbols. We need WYSIWYG editors! What I really like about this version of the secret compartment is that you can actually see what’s going on, i.e. the actions taking place. Also, it is nice to be able to express invariants (sweet memories of my studies in c.s. come back).

While I still think state machines are a particularly poor example for demonstrating DSLs, I think TLA+ excels here due to its mathematical foundation.

Of course, one can also see that TLA+ is more geared towards being nicely rendered so you can better read the mathematical symbols. We need WYSIWYG editors!

]]> By: shuron http://simon.zambrovski.org/2009/02/fowler%e2%80%99s-dsl-example-with-tla/comment-page-1/#comment-204 shuron Wed, 10 Mar 2010 22:22:00 +0000 http://simon.zambrovski.org/?p=112#comment-204 Good article, even if not of my primary interest. But nice to see you write in your blog again. P.S. Happy Birthday! Good article, even if not of my primary interest.
But nice to see you write in your blog again.

P.S. Happy Birthday!

]]> By: Helge K. http://simon.zambrovski.org/2009/02/fowler%e2%80%99s-dsl-example-with-tla/comment-page-1/#comment-203 Helge K. Wed, 10 Mar 2010 23:56:00 +0000 http://simon.zambrovski.org/?p=112#comment-203 Nice to see fowlers DSL in yet another language. From my experiences I can say that I found TLA+ very powerful and useful and definitely worth a look. Nice to see fowlers DSL in yet another language. From my experiences I can say that I found TLA+ very powerful and useful and definitely worth a look.

]]>