It's really not any slower to write once you know it. And if anything, it's much less obscure (meaning that the meaning of what you write is relatively unambiguous) compared to various C family languages.
The "slowness" people complain about has to do with specifically stating your intent in the application, so that the compiler can check code all over the system for consistency of intent. Not too much different in essence from Design by Contract or Test-First development.
As the author of AUnit (the Ada version of JUnit and CPPUnit), I can say that there is really not much conflict between the use of Ada and agile methods. Except that the Ada compiler will catch a lot of things that you won't have to write either assertions or unit tests for.
The whippersnapper above is naive.
Hi Sam,
I pointed out a lot of the GPL stuff since this is/.
There are lots of other bindings available, and the references I gave at the bottom of the page will point you to a number of them that are not GPL. AdaCore (the company I work for) also licenses versions of everything on the Libre page with more permissive licenses so that proprietary software can be developed, much as is done for Cygwin, but they're not "free beer".
Most of the packages I mentioned do not follow SPARK, but Ada in general does move substantially in the direction of reliable software, and some, like a new version of AUnit that we're about to make available, are certifiable.
Glad you found the links interesting.
- Ed
"Take the supposed wonderful language of ADA. What databases can it talk to? What type of user interface can you construct? Can it talk HTTP or HTTPS? Can it do SOAP? Can it spawn threads or processes?"
Some of the Ada bindings available include:
GNADE (http://gnade.sourceforge.net/ supports ODBC, MySQL 3.X and 4.X, PostgreSQL and SQLite. There are also Ada bindings for Oracle.
Threads and support for concurrency are part of the language standard. Processes can be spawned via expect-like packages usually available with the compiler.
Slashdot Mirror
Hoare later recanted this bit, and strongly recommended the language as a foreward to one of its textbooks.
It's really not any slower to write once you know it. And if anything, it's much less obscure (meaning that the meaning of what you write is relatively unambiguous) compared to various C family languages. The "slowness" people complain about has to do with specifically stating your intent in the application, so that the compiler can check code all over the system for consistency of intent. Not too much different in essence from Design by Contract or Test-First development. As the author of AUnit (the Ada version of JUnit and CPPUnit), I can say that there is really not much conflict between the use of Ada and agile methods. Except that the Ada compiler will catch a lot of things that you won't have to write either assertions or unit tests for. The whippersnapper above is naive.
Hi Sam, I pointed out a lot of the GPL stuff since this is /.
There are lots of other bindings available, and the references I gave at the bottom of the page will point you to a number of them that are not GPL. AdaCore (the company I work for) also licenses versions of everything on the Libre page with more permissive licenses so that proprietary software can be developed, much as is done for Cygwin, but they're not "free beer".
Most of the packages I mentioned do not follow SPARK, but Ada in general does move substantially in the direction of reliable software, and some, like a new version of AUnit that we're about to make available, are certifiable.
Glad you found the links interesting.
- Ed
"Take the supposed wonderful language of ADA. What databases can it talk to? What type of user interface can you construct? Can it talk HTTP or HTTPS? Can it do SOAP? Can it spawn threads or processes?"
. htm).
Some of the Ada bindings available include:
GNADE (http://gnade.sourceforge.net/ supports ODBC, MySQL 3.X and 4.X, PostgreSQL and SQLite. There are also Ada bindings for Oracle.
The main cross-platform UI kit is GtkAda (https://libre2.adacore.com/GtkAda/) - it works with the glade GUI builder. There are also some Windows-specific kits, including Claw (http://www.rrsoftware.com/html/prodinf/claw/claw
Web programming is supported by Ada Web Server (https://libre2.adacore.com/aws/). It handles SOAP.
Threads and support for concurrency are part of the language standard. Processes can be spawned via expect-like packages usually available with the compiler.
See http://www.adapower.com/, http://www.adaworld.com/, http://libre.adacore.com/ and http://www.adaic.com/ for additional resources.
- Ed
Ada 2005 has a STL inspired standard collection library. - Ed