Path: csiph.com!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail From: Paul Rubin Newsgroups: comp.lang.forth Subject: Re: EuroForth 2015 paper deadline approaching Date: Thu, 12 Nov 2015 18:18:49 -0800 Organization: A noiseless patient Spider Lines: 38 Message-ID: <87fv0aprp2.fsf@nightsong.com> References: <2015Sep20.104537@mips.complang.tuwien.ac.at> <2015Sep21.112627@mips.complang.tuwien.ac.at> <77e8a12f-61a0-43f0-b378-ade50bc22b9f@googlegroups.com> <2015Oct8.085929@mips.complang.tuwien.ac.at> <8dcd7403-fae3-4ec0-bb16-cb771c2f73ea@googlegroups.com> <50f42d9d-f1b1-46f3-8b57-da39bab554d3@googlegroups.com> <56251d42.482705500@news.eternal-september.org> <32c6d716-5d3a-4385-85df-7e64353532ee@googlegroups.com> <4728e5a6-633f-4e00-910d-a1598fe6c01b@googlegroups.com> <87bnb0rvls.fsf@nightsong.com> <887ec1a6-a624-4ebe-8f9e-0fcd2a28f55d@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx02.eternal-september.org; posting-host="1a9f5856d25720e42c135b990c70bebb"; logging-data="12489"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+xmLfOSP228/Am6mxrC6sL" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) Cancel-Lock: sha1:+6wK5Ytfgdg1wfhek89APzx0bdk= sha1:/NFtBGAXEH1h8uodNWLX1zAYnjk= Xref: csiph.com comp.lang.forth:43513 JUERGEN writes: > Well Paul, this is just the business model, rather than diffusing the > argument. The compiler is free - but the support costs and probably > much. So not much different to you mobile phone - it comes for free - > you even get a new one every 2 years probably. Yes, if you want the support, it is quite expensive. If you don't need it you don't have to buy it. You can still compile with the free compiler and I've tried it out a little. That's unlike a mobile phone that is useless for phone communications unless you pay the service subscription. > THERE IS ONLY ONE COMPILER as you stated. Must be 100 % bugfree. But > who maintains it, tests is, certifies what comes out?? Adacore maintains it AFAIK. There was once a US government office for Ada compiler testing but it closed down years ago, so I don't know what certification would mean these days. I don't believe the compiler is expected to be bug-free, but rather critical systems have to do enough cross-checks to not depend on that. I'd been wanting to ask Bob Dewar (Adacore founder) how that was done, but he unfortunately passed away earlier this year, so I'll never get to ask him. > If the two compiler suppliers went for the same model - I would like > to see the uproar here. Pay for support and tools? Quite a few here > know that they can do better ... Not sure what you mean. There are GCC and Clang, for example. By the way, the software for the Tesla car and the SpaceX rocket are written in C++. I've wondered what compiler they use. I remember reading that the US Navy used GCC for some kind of shipboard system a while back. > And for free and for themselves, not for the Forth community, which is > in contrast with what the vendors do. Not sure what you mean by that.