Názory k článku Příjemné programování ala Ada

Nic proti Ade, ale tohle mi pripada jako zbytecna onanie...

neni to zbytecna onanie.
umoznuje to pri prgani myslet na to, co se prga, a ne na dvamiliony moznosti jak udelat chybu. a co teprv pri udrzbe za rok, kdy uz neni v hlave cely source i s knihovnama a chyba vznikne jeste radove snadneji.

Marku, pěkný článek, ale "randevú" se v originále píše rendezvous ;-)

Díky, když jsem ráno nahodil počítač, tak jsem zjistil, že si to moc lidí nečte a v diskusi byl jeden příspěvek o onanii.

Já už neměl tak dlouho rande, snad už mám nárok to slovo trochu zprasit :-)

Jenom pro uplnost, v C++ se ekvivalentu ADOvskych atributu rika 'type traits', jsou to vicemene templaty popisujici typy velmi podobnym zpusobem. Pro standardni typy jsou type traits definovane ve standardni knihovne... Napriklad maximalni hodnotu reprezentovatelnou typem 'unsigned' lze ziskat jako

numeric_limits<unsigned>::max()

Hmm, docela hezké. V době, kdy jsem děla v C++ jsem STL moc nepoužíval, protože tehdejsí implementace v BCB 3 stála za starou belu. (Našel jsem chybu i v std::list :-). Ale myslím si, že v C++ je to jen taková nesystémová berlička, ostatně jako skoro všechno v C++. Ale díky za informaci.

Při pohledu na příspěvek výše mě napadla OT češtinářská vsuvka - když mluvíme o programování, nemohlo by to stát za starou betu? ;-)

V cem je nesystemova ? Je to bezne uzivany idiom. Ze C++ na to nepotrebuje specialni jazykovou podporu a staci mu univerzalni jazykova konstrukce povazuji spis za vyhodu...

Nadhera! sem rad ze sem se seznamil s ADA jazykem - prestoze to nekteri vyse povazuji za nesmysly, tyhle veci mi muzou usetrit HODNE starosti - myslim ze budu dost vazne uvazovat o prechodu na ADA...
Bezva clanek, tesim se na pokracovani.

To jako ze ted weby svym zakaznikum budete psat misto v php, HTML a JS v Ade? Nebo ze svemu vedoucimu reknete: "tak a dost, zadne C, C++ ani Java, ale Ada je to prave a v nicem jinem uz programovat nebudu"?
Nebo v cem ten prechod bude spocivat?

Na papire (a na monitoru :) ) to vypada velice pekne, ale obavam se, ze v praxi je to (na vetsi projekty) temer stejne nepouzitelne jako C. Imho to skolabuje na nutnosti mit zdrojovy kod od vetsiny modulu - pri potrebe neco zmenit, pridat, priohnout nastane celkem velky problem, pokud nebudou po ruce. Zatimco dynamicky typovane jazyky (nechci je tu prosazovat, jenom pozanmenavam) nebo system postaveny and nejakym middlewarem umozni navazat pomerne nesouvisejici komponenty, jak se v takovem pripade projevi ada?
Jak to bude vypadat, pokud chci navazat na jiz existujici aplikaci, kterou jsem nepsal, nemam k ni zdrojaky a jedine binarky jsou zkompilovane versi prekaldace, kterou nepouzivam?
Tim se nechci do Ady navazet, v dobe vzniku predstavila (mozna az prilis) dokonaly souhrn znamych postupu a technik.

Podle mě je to přesně naopak. Ada se moc nehodí na malé projekty. Tam je právě užitečná ta dynamika a přiohýbání. Ada je pro malé věci kanon na vrabce.

Ada se na opravdu velké projekty používá docela často. O nutnosti mít zdrojové kódy bych taky docela pochyboval. Ada totiž díky skrývání implementace umožňuje psaní velice čistých a neprůstřelných rozhranní modulů.

Je to prostě poněkud jiný přístup než v C#/Javě a tyto jazyky jsou na ledasco řádově lepší. Ale s tím, že Ada na velkém projektu vybouchne jako C, s tím nesouhlasím.

A moznost spojovat kod napr. mezi ruznymi versemi compileru?
(aby to nevypadalo, ze jsem na nejake ostre protiadovske pozici: na jistou tridu projektu mi prijde idealni. Ale nemyslim si, ze bych se nekdy k takovemu projektu jenom priblizil)

Ty myslíš nějaké linkování obj souborů které máš "od někud", bez zdrojáků? Přiznám se, že jsem to v životě nědělal, v žádném jazyku. Uznávám, že se tomu v praxi možná nedá vyhnout, ale já takovou situaci považuji za nefér. Buď mám zdrojáky, nebo binárku, ale v nějakém rozumném formátu. Lib, so, dll, class, dll assembly. Obj soubor, který je v každém prostředí jiný za rozumný nepovažuji.

Ná druhou stranu můj oblíbený GNAT je postaven na backendu s gcc a myslím (doufám, že si to nepletu), že se mi kdysi podařilo k adovskému projektu přilinkovat obj vypadnuvši z gcc (C). GNAT si ke každému modulu generuje docela hezké informační soubory, ale jestli ve verzi 3.15 schroustá soubory z verze 2.0, to netuším.

V obecnosti to samozrejme nejde, spis jsem chtel ukazat na to, ze dnes uz je problem jinde. Jde o propojovani ruznych nesouvisejicich komponent pomocni middleware a podobnych veci. Vyznam programovaciho jazyka se pomalu ztraci - v kazde komponente se pouzije ten nejvhodnejsi.
Az se konecne objevi rozumny system distribuovanych objektu pro vice jazyku nastane raj na Zemi :)

Vetsina (statickych) knihoven jsou archivy objektovych souboru. A je to rozumnejsi format nez .so/dll, protoze ze staticke knihovny dynamickou udelas, zatimco obracene to nejde.

> Ada se na opravdu velké projekty používá docela často.

Muzu znat par takovych (treba ceskych), kde nejde o rakety nebo vesmirne lety?

> O nutnosti mít zdrojové kódy bych taky docela pochyboval.
> Ada totiž díky skrývání implementace umožňuje psaní velice
> čistých a neprůstřelných rozhranní modulů.
>
> Je to prostě poněkud jiný přístup než v C#/Javě a tyto jazyky
> jsou na ledasco řádově lepší. Ale s tím, že Ada na velkém
> projektu vybouchne jako C, s tím nesouhlasím.

Takze treba Java neumoznuje skryvani implementace? Mluvime oba o Jave z http://java.sun.com?

Btw. Object Pascal (napr. v Delphi/Kylix) ponuka podobne moznosti ako definovat pracu s parametrami funkcii (klucove slova const, var, out). Dokonca existuje elegantny sposob, ako v Object Pascal-e pouzivat jednoduche templates.

> Dokonca existuje elegantny sposob, ako v Object Pascal-e pouzivat jednoduche templates.

Jak? To mě zajímá, nebyl by nějaký link?

Mimochodem, Marku, plánuješ-li více pokračování, jedno z nich by určitě mělo být o generických jednotkách v Adě. C++-kaři se svými prasečkářskými šablonami puknou závistí! :-)

http://www.dummzeuch.de/delphi/object_pascal_templates/english.html

K prikladu tam uvedenemu by som chcel poznamenat, ze pokial nie je planovane rozsirovanie template-u o atributy ani metody, mozno kod:

type
TMemoList = class(_TYPED_OBJECT_LIST_)
end;

nahradit kodom:

type
TMemoList = _TYPED_OBJECT_LIST_;

Jedinym problemom ostava, ze kazdu triedu odvodenu z template treba definovat v samostatnom unite. Pouzivat sa potom da v lubovolnom mnozstve v ktoromkolvek inom unite (staci pridat do sekcie uses nazov unitu, kde je definovana). Zatial som neprisiel na to, ako sa tomu vyhnut. Naopak, kompilacia, code completion a debugovanie funguju bez problemov.

Sorry za takyto mensi offtopic.

Da se v Ade pouzivat objektove orientovane programovani?
Jo a v Object Pascalu:
for i:=low(typ) to high(typ) ....,
kde i je promena typu treba vycet napr.
(jablka, hrusky, tresne, trnky)
<br>
90% veci umi OP taky a krome toho umi linkovat i obj a ma integrovany ASM, atd...