Příspěvky

106

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 23. 12. 2022, 13:46:35 »

Přesně proto jsem napsal přiměl více zabývat

Jak jsem ti vysvětlil, není to pravda, představa, že Rust nějak ovlivňuje FP, je ostatně dost směšná

Nakonec to je ale jedno, hádat se s někým, kdo ignoruje zjevná fakta, nemá smysl.

Z jiného soudku (asi spíše pro BoneFlute): Nedávno jsem narazil na zajímavý jazyk, který má statický typový systém strukturně jednodušší než "obvyklí podezřelí" (Java/C++/Rust/Go), ale formálně silnější z pohledu OOP (restriktivní dědičnost) i HKT (metagenerické typy). Teď nemám po ruce odkaz, ale je popsaný na Wikibooks (pod něčím jako "Type-oriented programming", teď fakt nevím), večer můžu dát link a vysvětlit, co by si z něj Rust mohl vzít, aby byl praktičtější.

107

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 23. 12. 2022, 13:08:38 »

když Rust přiměl FPčkaře se trochu více zabývat lineráními typy

Až na to, že ta kauzalita je opačná, autoři Rustu se netají tím, že se inspirovali starými jazyky s lineárními typy, sám Hoare prostě obšlehl způsob práce se zdroji v Mercury (jazyk z roku 1995). Tohle ti dost nevyšlo

108

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 23. 12. 2022, 13:04:21 »

Před 15-20 lety se diskutovalo, jak se HotSpot zlepšuje a jak bude Brzo^TM Java rychlejší než C++, Sun měl taky obrovské peníze

Tak zrovna JIT Javy (potažmo JVM) generuje hodně rychlý kód, který se hravě C++, Rustu a Go vyrovná. Slabinou Javy (JVM) je způsob správy paměti, všechno se tupě alokuje na haldě, nedělá se pořádná escape analýza (ta, co se provádí, je jen kvůli synchronizaci), takže to vypadá, jak to vypadá (jako kdyby se v Rustu pro úplně všechny proměnné dělalo Box::new nebo Rc::new). Takže fakt hodně blbě zvolený příklad.

109

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 23. 12. 2022, 11:48:22 »

Žádný takový fakt nebyl prokázán.

Viz (vědecké) články o vnitřnostech Leanu od jeho autorů, které popisují srovnání a benchmarky + diskuse o nich na odborných fórech (přece jen je to od Microsoft Research, ti mají obrovské peníze na vývoj i konference). To je to “ignorance is bliss” BTW

110

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 23. 12. 2022, 10:12:53 »

Ingorance čeho?

Faktu, že stejný kód (přesněji stejný algoritmus) je stejně efektivní jak v Rustu/C++/Go, tak dynamicky typovaných jazycích (tedy jen některých — Chez, Julia, Lean, ale dokazuje to, že v principu nejsou o nic pomalejší a rozhoduje jen kvalita implementace).

111

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 23. 12. 2022, 02:15:27 »

No mně to zatím puzzling nepřijde, až uvidim evidence, tak to třeba puzzling bude

No jo, ignorance is bliss.

112

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 23. 12. 2022, 01:07:46 »

Jo to já nevim, já ho neviděl...

Je stejně efektivní jako z Rustu Nicméně upřímně, fakt bych rád viděl, kde Rust vede, srovnatelná efektivita dynamických jazyků je tak trochu puzzling.

113

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 23. 12. 2022, 00:35:44 »

Benchmarky málokdy mluví jasně. LLVM optimalizace závisí na vstupním IR kódu - není problém vyprodukvoat velmi těžko optimalizovatelný IR, koneckonců, pomalý kód je bez problému možné psát i v C. Rust je rychlý z podobného důvodu jako C nebo C++.

Fajn, takže Julia nebo Lean vedou k nadmíru optimalizovatelnému IR kódu.

114

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 23. 12. 2022, 00:12:07 »

No, tak zaprvé jsem k těm tvrzením skeptický. Podobná tvrzení, že high-level jazyk XY už "šlape na paty C++" (nebo v poslední době Rustu) se objevují pravidelně

To mi je tak nějak jasné, ale benchmarky mluví jasně (reálné, ne mikrokraviny). Hodnoceno střízlivě, zmíněné FBIP nebo obecně LLVM a jeho optimalizace nijak nezávisí na jazyce, z kterého se překládá. Takže, kde přesně má Rust navrch?

115

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 23. 12. 2022, 00:07:10 »

Lean neznám, ale pokud se může překládat do C++, tak by to asi do Rustu mělo jít taky...

To si myslím taky.

116

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 22. 12. 2022, 22:54:14 »

Když už, tak se spíš teď mudruje nad efekty, resp. specificky control-flow efekty, kvůli error handlingu, generátorům, async streamům apod. Opět ale nečekej nějaký těžce obecný systém, pravděpodobně by to přinejlepším byl opět nějaký subset, se zaměřením na zero-costness, ergnomii a nepříliš strmou učící křivku spíš než krásy typových systémů.

V této souvislosti mě ještě napadá, k čemu je ve většině případů Rust, když stejně rychlý kód generuje i třeba (plně dynamický) Chez Scheme? Jasně, ten má TGC, ale to je jediný podstatný rozdíl. Ještě lepší příklad je Julia, taky používá LLVM, obchází GC (neměnitelné struktury) a efektivitou šlape na paty Rustu. Je skutečně celý ten cirkus okolo borrow checkeru potřeba? (Je to víceméně rétorická otázka, ale stejně, ve kterých případech je Rust jediná správná volba?)

117

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 22. 12. 2022, 22:40:34 »

Jo, vim co jsou dependent types. U Rustu postup směrem k něčemu takovému nebo k HKTs moc nečekej, přeci jen, je to jazyk určený pro reálný, praktický engineering

Jasně, to je fajn, Rust je poměrně low level, má svou upřednostňovanou oblast nasazení, ale když už má třeba GAT, což je docela šílenost, tak k lepšímu typovému systému je už jen malý krůček. Například Lean se překládá do C++, proč by se nemohl překládat do Rustu?

118

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 22. 12. 2022, 22:34:35 »

Jo a taky lepší podpora self-referential types - to by Rustu pomohlo víc než jakékoli další FP featury...

Nejsou tohle náhodou induktivní typy?

119

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 22. 12. 2022, 22:27:43 »

P.S. BTW zajímalo by mne, zda by šlo v Rustu nějak zprovoznit toto: https://ericniebler.com/2013/07/16/f-algebras-and-c/ 

Čistě typovým systémem by to drhlo, v Rustu neuděláš ekvivalent template<template<typename> class F>
struct Fix

Jasně, to je právě HKT. Tak ale možná přes GAT?

120

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 22. 12. 2022, 22:25:19 »

Jakou featuru Swiftu máš na mysli?

Myslel jsem klasický FBIP. Ale v Rustu by to asi nebylo žádné terno, když nad tím tak přemýšlím.