Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.misc > #2243

Re: Press Release - Ada 2012 Published in LNCS and as Free eBook

Show all headers | View raw

On 2014-05-13, Jacob Sparre Andersen <jacob@jacob-sparre.dk> wrote:
> Kaz Kylheku <kaz@kylheku.com> writes:
>> Dirk Craeynest <dirk@feles.cs.kuleuven.be> wrote:
>
>>> Ada 2012 brings significant enhancements to Ada, most notably in the
>>> area of "contract-based programming."  New features include the
>>> ability to specify preconditions and postconditions for subprograms,
>>> and invariants for private (encapsulated) types.  These take the form
>>> of Boolean expressions that can be interpreted (under programmer
>>> control) as run-time conditions to be checked.
>>
>> Yawn.
>
> It is actually much easier to use than having to insert assertions
> everywhere yourself.

One evening macro job in Lisp to make a define-checked-function or
whatever.

> The down-side (at the moment) is that there is only one compiler which
> implements it yet: GCC

... in ANSI Lisp.

Back to comp.lang.misc | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Press Release - Ada 2012 Published in LNCS and as Free eBook dirk@feles.cs.kuleuven.be. (Dirk Craeynest) - 2014-05-12 05:28 +0000
  Re: Press Release - Ada 2012 Published in LNCS and as Free eBook Kaz Kylheku <kaz@kylheku.com> - 2014-05-12 14:35 +0000
    Re: Press Release - Ada 2012 Published in LNCS and as Free eBook Jacob Sparre Andersen <jacob@jacob-sparre.dk> - 2014-05-13 10:04 +0200
      Re: Press Release - Ada 2012 Published in LNCS and as Free eBook Kaz Kylheku <kaz@kylheku.com> - 2014-05-13 11:21 +0000
        Re: Press Release - Ada 2012 Published in LNCS and as Free eBook "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> - 2014-05-13 14:16 +0200

csiph-web