From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: border1.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news.szaf.org!news.enyo.de!.POSTED!not-for-mail From: Florian Weimer Newsgroups: comp.lang.ada Subject: Re: IDE's that support ADA Date: Mon, 03 Nov 2014 13:24:53 +0100 Message-ID: <87a948sc8a.fsf@mid.deneb.enyo.de> References: <2e8f1414-5556-465f-a7bc-f1513ec973aa@googlegroups.com> <85y4s08x0d.fsf@stephe-leake.org> <85egtqwnte.fsf@stephe-leake.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: news.enyo.de 1415017494 24382 192.168.18.20 (3 Nov 2014 12:24:54 GMT) X-Complaints-To: news@enyo.de Cancel-Lock: sha1:bytSJv5SaYJDP5amcT4kQYs3vKw= Xref: number.nntp.giganews.com comp.lang.ada:190298 Date: 2014-11-03T13:24:53+01:00 List-Id: * Stephen Leake: > Meaning it attempts to parse the syntax after typing every character? So > if you start typing 'if ... then ... else .. end if', you get errors > until you type 'endif'? Yuck. You get red squiggly lines under the code, much like in a word processor with on-the-fly spell checking. I find that completely non-intrusive. It does not even take up valuable screen real estate. > Hmm. You said "semantic", not "syntactic". So this means a full compile > with name and type resolution, not just a syntax parse. That makes sense > for simpler languages; I don't think it makes much sense for Ada. I don't think semantic analysis on partial programs is more difficult for Ada than for C++ (in fact, it's probably easier in many common cases because there is less ambiguity between expressions and types). Semantic completion has been implemented for C++, I don't see why it would be technically infeasible for Ada. There are areas which are rather difficult, like ambigous overloads which are only resolved once more program text is available, but so are lambda expressions in Java 8, and IDE will manage somehow. Actually, I would consider it rather useful. It's not just the auto-completion, you'd also bee able to see docstrings of referenced entities while typing (this functionality is reasonably easy to add once you now where those entities are defined). That I would find rather useful.