None of the Above ([info]artis) rakstīja,
@ 2014-06-02 13:05:00

Previous Entry  Add to memories!  Tell a Friend!  Next Entry
"Most programmers think that getting run-time errors, and then using a
debugger to find and fix those errors, is the normal way to program.
They aren't aware that many of those errors can be detected by the
compiler. And those that are aware, don't necessarily like that,
because repairing bugs is challenging, and, well, sorta fun.

You are not giving a programmer good news when you tell him that
he'll get fewer bugs, and that he'll have to do less debugging.
Basically, we still live in the dark ages of programming, not unlike
the time engineers were learning about boiler technology by figuring
out why a boiler exploded, scalding people to death (remember the
Therac-25?). People will probably have to die in order for "software
engineering" to be a true engineering profession, instead of the
buzzword that it is today. Sad but true."

Why Ada isn't Popular (Mathew Heaney)

http://www.adapower.com/index.php?Command=Class&ClassID=Advocacy&CID=39


(Ierakstīt jaunu komentāru)


[info]watt
2014-06-02 15:38 (saite)
kautkā nav dzirdēts ka Adā kautkas populārs/lietojams būtu uzkodēts. show me the money.

(Atbildēt uz šo) (Diskusija)


[info]artis
2014-06-02 16:15 (saite)
LOL. SnapChat. seriously? ADĀ ir uzkodētas daudzas aviācijas lietas, kur failure is not an option. ne velti ADA was mandated by Department of Defense.

(Atbildēt uz šo) (Iepriekšējais) (Diskusija)


[info]watt
2014-06-02 18:30 (saite)
un kā būtu ar "consumer" softu kur nav miljardu budžets?

(Atbildēt uz šo) (Iepriekšējais) (Diskusija)


[info]madars
2014-06-02 19:36 (saite)
There is no free lunch :) Ir software crash, kas patiešām var būt crash (self-driving cars on a highway, avionics 10k feet high, ..), bet ja nocrasho viens node.js threads nobody cares; Tu vienkārši relauncho jaunu. Es nedomāju, ka strong formal methods šobrīd ir labs cost-benefit ratio priekš consumer apps.

(Atbildēt uz šo) (Iepriekšējais) (Diskusija)


[info]artis
2014-06-02 20:08 (saite)
Well, define consumer apps. It quickly becomes tricky. OpenSSL?

Visumā piekrītu

(Atbildēt uz šo) (Iepriekšējais)


[info]artis
2014-06-02 17:19 (saite)
http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html

(Atbildēt uz šo) (Iepriekšējais)


Neesi iežurnalējies. Iežurnalēties?