Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!aioe.org!feeder.news-service.com!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!talisker.lacave.net!lacave.net!not-for-mail From: Brian Candler Newsgroups: comp.lang.ruby Subject: Re: canonical/syntax-diagrams representation. Date: Fri, 20 May 2011 03:25:45 -0500 Organization: Service de news de lacave.net Lines: 22 Message-ID: <89280a1ffc0d0e79f6d550c5a42fac25@ruby-forum.com> References: NNTP-Posting-Host: bristol.highgroove.com Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Trace: talisker.lacave.net 1305879972 38054 65.111.164.187 (20 May 2011 08:26:12 GMT) X-Complaints-To: abuse@lacave.net NNTP-Posting-Date: Fri, 20 May 2011 08:26:12 +0000 (UTC) In-Reply-To: X-Received-From: This message has been automatically forwarded from the ruby-talk mailing list by a gateway at comp.lang.ruby. If it is SPAM, it did not originate at comp.lang.ruby. Please report the original sender, and not us. Thanks! For more details about this gateway, please visit: http://blog.grayproductions.net/categories/the_gateway X-Mail-Count: 383508 X-Ml-Name: ruby-talk X-Rubymirror: Yes X-Ruby-Talk: <89280a1ffc0d0e79f6d550c5a42fac25@ruby-forum.com> Xref: x330-a1.tempe.blueboxinc.net comp.lang.ruby:4803 unknown wrote in post #998975: > I started investigating ruby. > It's very informal, which is NOT suitable for computing. In that case I think you'll enjoy trying to understand the semantics of String in ruby 1.9 (not): https://github.com/candlerb/string19/raw/master/string19.rb Anyway, there was an attempt to produce a formal spec for ruby, which may be what you're looking for, although it seems to have gone quiet: http://ruby-std.netlab.jp/ It was based on ruby 1.8.7. Otherwise, I guess ruby is not the language for you. For those who need to write programs using formal methods or safety-critical systems I'd say it's definitely not. But many of us use it because ruby helps us write useful applications quickly and enjoyably. -- Posted via http://www.ruby-forum.com/.