Vlákno názorů ke zprávičce Carbon: nový jazyk od Googlu má být nástupcem C++ od cc - Dart, Golang, teď Carbon... Aneb kdo chce psát "var...

Hezká knihovna :) Tato oblast je jeden z mála případů, kdy je praktičtější a čitelnější použít dynamické typování (volitelné, jako v Julii nebo Go).

Jo, typová inference je k nezaplacení, v jednodušších typových systémech funguje navíc plně automaticky. Bohužel od určité hranice síly typového systému není možné ji plně automatizovat.

C++ IDE jsou na tom tak špatně, že neumí zobrazit inferred type?

Není úplně neobvyklé že během review není k dispozici celý projekt, všechny závislosti a knihovny. U některých zakázek pro vnitro jsme neměli knihovny ani během vývoje, až při integračních zkouškách "na polygonu" jsme pod dozorem lidí s prověrkou měli co includovat :-)

Tak v takové situaci to chápu, v tu chvíli má celý projekt úplně jiný coding style. Možná bych se to v tu chvíli snažila částečně obejít nějakou mock knihovnou která bude poskytovat api pro snadnější vývoj, ale v takové situaci jsem nebyla. Mně teď stačí že musíme pravidelně skoro naslepo integrovat projekt s kdejakým proprietárním nemocničním softwarem, který si standardy mnohdy vykládá po svém, a jestli to bude fungovat se zjistí až při deploymentu.

Ten povzdech s auto ovšem zněl jako by to bylo špatně za každé okolnosti.

Jen takový detail - pouštíš si IDE kdykoliv si chceš prohlídnout nějaký kód?

Ne, protože ho většinou ani nevypínám, ale umí to i každý rozumný programátorský editor. A i bez toho, pokud jsou proměnné pojmenované rozumně, na zběžné "prohlídnutí" kódu přesný typ často znát nepotřebuju. Na složitější už se fakt hodí mít možnost přesunu na definici funkce, tooltipy se signaturou funkcí, docstringy a podobně, což bez rozumného editoru stejně nejde.

V Rustu se typy specifikují fakt jen v případě kdy není inference možná, a že by to někomu chybělo...

No vidiš, a pro mě je čitelný kód takový, kde mi nějaké IDE nemusí pomáhat ho vůbec dešifrovat.

Neznámá *code base* s neznámými signaturami funkcí, na to se přeci nějaký nástroj pro inspekci zdrojového kódu hodí, nebo ne? A nemusíme to mu říkat IDE. Každý lepší editor dnes má plugin s LSP pro daný jazyk. Doby kdy se programy psali pomocí standardní knihovny, nebo sis vše psal sám a tudíž jsi věděl, co která funkce bere a vrací, jsou dávno pryč. Nostalgii dejme stranou.

auto function(T t) -> VeryLongReturnType { ... }

Mne se líbí, že pomocí auto můžeš dlouhý typ dát nakonec. Když je to lokálně u proměnné, tak mi taky nevadí. Kde to vlastně tak vadí?

Tak ale aspoň trefil století :)

Knizku som cital. Ale ten nazov, tak to sa podarilo :-)

Ani v Go ani v Rustu to ustálené není.

Rust nemá definovaný standard a stále se vyvíjí.

Golang právě přišel s generiky. To bude podobné zemětřesení jako Java 1.4 vs. 5 (generika) nebo 7 vs 8 (streamy). Obojí prakticky přes noc zneplatnilo best practices.

Go i Rust mají dávno zavedený idiomatický styl. Go má typové parametry už přes půl roku a zatím se zemětřesení nekoná (a ani nebude, GAT v Rustu taky nikoho nevzrušily). Docker nebo Kubernetes nikdo přepisovat nebude.

Kubernetes v aktuální verzi ještě generika nechce, i když na golang 1.18 už přešli. Pro případ, že by museli revertovat. Takže tomu ještě chvíli dejte.

souhlas

Tak na D jsem zapoměl, ok beru.

Tak deklarovaný možná, ale reálně to ani náhodou nebralo stejnou niku.

To asi nikdo netvrdí, ale proti něčemu to postavit museli a žádné rozumné alternativy nebyly.

Swift měl myslím nahradit zastaralé Objective-C, i když zrovna na něj platí “baroknost návrhu” taktéž. U Go si vzpomínám, že jeho vznik obhajovali pomalostí překladu C++. Evidentně problémy C++ pálí kdekoho :) U těch nových jazyků ale také bývají komplikace, Rust se kompiluje stejně pomalu jako C++, Swift je víceméně jen pro macOS, iOS, iPadOS, tvOS a watchOS — wow, pět OS :D — takže Carbon možná smysl dává, pokud nepřinese zase jiné problémy.

Již nějakou dobu cítím deziluzi z Rustu u jeho nadšeného propagátora Calculona...

Héj, to není fért! Nadšený propagátor Rustu jsem tady já. Calculon se o něj občas otře. Maximálně.

On to popletl. Za mne C++ sucks db, Rust sucks db, Go sucks db, Swift sucks db — ale každý jinak :)

Tak to se omlouvám! Já ho viděl v autorství u několika novinek z Rustu + ho hájil v diskuzi, tak jsem si říksl, že to bude fanoušek:-)

Za mne je tam pár super věcí a proti tomu pár "wtf"? Vůbec mi nechutnají makra a dost mi vadí, že se spousta důležitých knihoven stále plácá ve stavu verze 0.x.

To si pleteš s Inkem, já jsem k Rustu od začátku mírně skeptický, ale spíše ze subjektivních důvodu (hnusná syntax), objektivně mi vadí snad jen šnečí tempo buildů.

Swift je pro všechny OS: https://www.swift.org/download/
Tady máš jako příklad kalkulačku pro Windows:
https://www.swift.org/blog/swift-on-windows/#example-application

Podobně Objective-C byl taky i pro Windows a Linux (tam je dokonce přímá podpora jeho systému předávání zpráv v kernelu).

EDIT: A samozřejmě Swift, ObjC (a třeba i C#) nejsou pro všechny OS jen v podobě holého jazyka, ale včetně standardní knihovny:
https://www.swift.org/standard-library/
U ObjC vznikly jedna nebo více OSS implementací Cocoa knhovny.

25. 7. 2022, 13:39 editováno autorem komentáře

To tady asi všichni víme, ale všude mimo applí OS je to prakticky nepoužitelné (v IBM to zkoušeli a vzdali). ObjC na Linuxu bylo taky pakárna, jiný runtime, zastaralé verze, nemožnost statického linkování, napůl (ne)funkční ARC, prostě vopruz. Je to jako C# mimo Windows, přeloží se “hello, world” a s trochou štěstí kalkulačka, ale k produkci to má stejně daleko jako trakař ke stavbě kosmodromu (kromě Bajkonuru onehdá).

Ajaj, k tomu C# to platilo asi pred 15-timi rokmi na Mone.

Momentalne C# (dotnet core, dotnet6) funguje na linuxoch uplne bez problemov. Dost sa na tom zamakalo. na linuxoch ho pouzivam uz 6 rokov a zatial nemozem povedat, ze by tam nieco neslo (neratam OS specificke balicky).

.NET má z historických dôvodov problém s UI, tak teraz vyvýjaný
.NET MAUI nepodporuje Linux. Plus viaceré knižnice sú naviazané
na MS SQL (beží ale pod Linuxom.)

Väčšina vecí funguje bez problémov. Stačí zopár príkazov a pár minút, a máme pod Linuxom k dispozícii jeden z najviac prepracovaných a najrozsiahlejších vývojárskych ekosystémov k dispozícii. Od webu, po gaming, IOT, či machine learning.