On Tuesday, November 20, 2018 at 12:00:50 AM UTC+1, AK wrote:
> On 2018-11-19 21:18, s...@g...com wrote:
> >> Warto przyjrzeć się językowi Idris i typom zależnym. Twórca Idris, Edwin Brady,
> >> opowiada tutaj o nim z humorem:
> >> https://www.youtube.com/watch?v=zSsCLnLS1hg
> >
> > Po po pierwsze, primo:
> > 1. C++ jest zupełnie wystarczający do wszystkiego.
>
> Boze jedyny... to juz nie jest odlot.
> To niczym nie skazone wstecznictwo i betoniarstwo - wlasciwie
> eliminujace z zawodu zwanego programostą.

Niestety, w tym zdaniu szyka jest dużo prawdy, zastąpiłbym tylko słowo "wszystkiego"
zwrotem "wszystkiego za co płacą całkiem nieźle". C++ mimo swojej wielopoziomowej
koślawości wygrywa, m.in. dlatego, że stoją za nim duże firmy, które inwestują w
rozwój i promocję. Jest takie ładne określenie cubic dollars.

To prawda, że C++ jest technologicznie zapóźniony o jakieś 10-20 lat, ale powoli
nadrabia (i nawet wygląda na to, że komitet sobie z tego zdaje sprawę). To prawda, że
można w C++ pisać w popieprzony sposób, ale na szczęście nikt nie zmusza.

Alternatywy się nie przebiły, mimo teoretycznej lepszości i często wielkiego szumu.
Np. taki D chyba już zdechł odkąd Facebook przestał go promować. Go był pomyślany
jako zastępstwo dla C++ - moduły, współbieżność, odśmiecanie pamięci. Czyli niby
bolączki C++, ale fakty są takie, że do Go poszli phppwcy, pythoniarze,
javascriptowcy. Bo język prosty, ale kompilowany więc szybszy. Ada? No jest gdzieś
tam[1]. Rust? Nie powala i poza Mozillą i podjaranymi studentami nikt tego poważnie
nie używa.

Niestety, jesteśmy skazani na C++. I być może w wersji C++27 będzie już całkiem
dobry. ;)

w.

[1] taka historyjka: pewna zachodnia firma chciała przenieść do Polski utrzymanie
adowego projektu, ale... nie było u nas wystarczającej liczby programistów.