Vyjde příští verze C++ v roce 2017? (diskuse)

[Sten]

V linkovaném videu jsou informace o budoucnosti C++ od 21:57, předtím je to prezentace implementace C++11 v MSVC++.

[Luboš Doležel (Doli)]

předtím je to prezentace implementace C++11 v MSVC++

Což je asi ta nejhorší implementace mezi kompilátory. Nebo se už pochlapili?

[little.owl]

Vypada to, ze se ted skutecne snazi to implementovat podle standardu a zbavit se jejich nekompatibilit. Jestli jim to vydrzi muze to byt i nakonec nejlepsi implementace, prekvapive do toho investuji velke penize.

[l4m4]

Nj, u C++ se MS ještě snaží. Akorát kdyby tak ten jeho C kompilátor zvládal jazyk trochu novější než 25 let starý...

[Let_Me_Be]

K cemu by to bylo?

[little.owl]

U MS se v tom pisi snad uz jedine drivery.

[Ondra]

aaaaa, to nemaj slitovani? at to nechaj v poklidu chcipnout!

btw rad bych, kdyby den mel 30 hodin. 2h z tech 6 navic, bych stravil tim, ze bych se ucil Rust (Wikipedia).

[Luboš Doležel (Doli)]

Miliontý jazyk odsouzený k životu v ústranní a zániku?

[little.owl]

+1

[----]

Na Rustu bude postavená příští generace Firefoxu, takže bych ten jazyk zase tolik neodsuzoval..

[little.owl]

Fajn. Jeste ze je tu Chromium a Webkit.

[l4m4]

Příští generace je v případě Firefoxu co? Nové verze vycházejí zběsile každou chvíli. Dojde-li k nějaké zásadní změně opravňující termín příští generace, budou asi muset ve verzování opustit přirozená čísla, protože ta mezitím dojdou, a vydat verzi ω + 1...

[----]

Příští generace je příští generace .. zatím je ve vývoji experimentální jádro browseru (Servo), později bude prohlížeč.

[Ivan]

Hmm a ma to nejaky vyvojovy prostredi? Zrovna Mofo mi prijde jako proslapavac slepych cest. Viz treba chrome:// a cela ta jejich aplikacni "platforma".

[----]

Vývojový prostředí oficiální momentálně není, dá se použít spousta různých editorů a kompilátor je stavěný na LLVM (a je selfhostovaný - napsaný v Rustu).

[little.owl]

Tak si predstavte, ze den ma 20 hodin a dostavate ctyri navic.

[-]

Neco o nem bude na RuPy v Brne http://rupy.eu/#rust-from-python-and-ruby

[l4m4]

Má to binding k openexr? scalapacku? gstreameru? Co s tím teda naprogramuji?

Blbnout s jazyky je zábavné a někdy i rozšiřuje obzory. Na druhé straně dokážu-li myslet v LISPu, mohu psát jako v LISPu i v COBOLu. Pro většinu pratických problémů jsou důležité jiné vlastnosti jazyka, než zachování large-scale integrity, nebo čeho.

[----]

Rust má spoustu vychytávek, které psaní velkých projektů podstatně zjednoduší - např. hodně širokou statickou kontrolu, která zahrnuje třeba to, že v Rustu neexistují NULL a dangling pointery (kromě unsafe pointerů při interakci s C); umí jít tak nízko, jako C; aplikuje typovou teorii (má pattern matching, ADTs, typovou inferenci apod), má AST makra, perfektní podporu pro multithreading, immutable-by-default, umí výborně dělat s pamětí na stacku, umí přímo přistupovat k C knihovnám, dobře spravuje své vlastní knihovny (neexistují hlavičkové soubory ani žádné interface soubory, všecko je prostě zabudovaný v tý .so knihovně, včetně AST definic pro inline a generické funkce).. kromě toho má backing od Mozilly a poslední dobou celkem dost publicity. IMO, pokud bude nějaký z "nových" nativních jazyků časem rozšířený, tak je to právě Rust.

[Let_Me_Be]

Mame nejaky jazyk, ktery je immutable by default a ma rozumny vykon?

[----]

Rust je výkonově srovnatelný s C; Mutabilní hodnoty mít můžeš, pokud je potřeba: "let mut x = ....".

[Let_Me_Be]

To o sobe tvrdi i vetsina skriptovacich jazyku. Opet se vracim k puvodni otazce. Mame nejaky jazyk, ktery ma imutable-by-default a ma rozumny vykon?

[little.owl]

Dalsi panacea pro spasu programatorskeho sveta?

Rustu neexistují NULL a dangling pointery (kromě unsafe pointerů při interakci s C); umí jít tak nízko, jako C

To mi prijde v rozporu.

perfektní podporu pro multithreading

Perfektni podpora primo v jazyce bez externich knohoven?

kromě toho má backing od Mozilly

Mozilla vypada na to, ze bude potrebovat nejaky backing sama.

pokud bude nějaký z "nových" nativních jazyků časem rozšířený, tak je to právě Rust.

Spise bych si vsadil na Go. Myslet si, ze u lowlevel veci Rust nahradi C/C++ je blahove.

[----]

"Perfektni podpora primo v jazyce bez externich knohoven?"

Ano, message passing, TLS a lightweight tasks.

"To mi prijde v rozporu."

Není - pro safe kód NULL pointery opravdu neexistují (je to ověřeno typovým systémem) a pro interakci s kódem, který NULL používá, existují unsafe pointery které NULL být mohou; Rust má několik typů pointerů (unsafe - "raw" pointery, shared - GC, unique, borrowed).

"Spise bych si vsadil na Go. Myslet si, ze u lowlevel veci Rust nahradi C/C++ je blahove."

Go je špatně navržený jazyk a s Rustem se nedá vůbec srovnávat. Rust umí jít daleko níž a mánapř. ten pattern matching a podobné; Go se oproti tomu všechno snaží osekat a nakonec nemá ani tu genericitu.. kromě toho neumí pořádně dělat se stack pamětí a neumí explicitní MM.

[little.owl]

Ano, message passing, TLS a lightweight tasks.

Implementace threadu je silne OS a platforme zavisla a mam skutecne pochybnosti, ze lze hovorit o vyborne podpore u genericke multiplatformni implementace.

unsafe pointery které NULL být mohou;

Fajn, save mode, unsafe mode, high level konstrukty soucasti jazyka. Cucham dalsi monstrum jako je jazyk D, ostatne i C++ je monstrum, ale ma alespon slusnou bazi uzivatelu a kodu, a inkrementalni zmeny necini tak velky problem.

Go je špatně navržený jazyk

Nemyslim. Ma sve slabiny, ale bych bych prekvapen kdyby je Rust nemel.

Go se oproti tomu všechno snaží osekat

Go se snazi byt praktickym jazykem puzitelnym pro prumerneho programatora v realnych projektech a to se mu celkem dari.

Casem se na Rust podivam, ale zatim to vypada jako dalsi z mnoha experimentalnich jazyku v pocatecnim stadiu vyvoje.

[----]

Rozdíl mezi "high level" konstrukty např. D a Rust je ten, že v Rust je to většinou záležitost typového systému a nezávisí na žádném dalším runtime, v D naprosto opačně. Go je obyčejný imperativní osekaný jazyk, od praktičnosti má daleko (např. všechny objekty jsou na globálním heapu, i když se ten jazyk snaží o multithreading), Rust se snaží kombinovat typovou teorii, "pure" funkcionální programování a klasické imperativní programování do jednoho koherentního celku, který je použitelný prakticky (oproti mnoha "experimentálním" jazykům)

[little.owl]

všechny objekty jsou na globálním heapu, i když se ten jazyk snaží o multithreading

A v cem je problem? U dat sdilenych vice vlakny bude problem synchronizace, ale to kde je to alokovane nehraje zadnou roli. Sprava globalniho heapu prinasi nejaky overhead, ale umoznuje lepe vyuzit dostupnou pamet. Go navic pouziva pristup "Don't communicate by sharing memory; share memory by communicating".

Rust se snaží kombinovat typovou teorii, "pure" funkcionální programování a klasické imperativní programování do jednoho koherentního celku

Pejsek a kocicka se opet rozhodli ..... s tim, ze tentokrat to vyjde.

oproti mnoha "experimentálním" jazykům)

Rust je experimentalni jazyk.

Zpet k veci - vymezoval jsem se vuci vasemu tvrzeni:

IMO, pokud bude nějaký z "nových" nativních jazyků časem rozšířený, tak je to právě Rust.

nikoliv zdali je Go lepsi nez Rust. O uspesnosti jazyka rozhoduji i jine faktory a podpora Google je velke + a to Mozilla financne zavisla na Google nemuze vyvazit.

[w4rr10r]

Zrovna makra v Lispu se v jiných jazycích těžko nahrazují.