Zobrazit příspěvky

Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.


Příspěvky - Idris

Stran: 1 2 3 [4] 5 6 ... 153
46
Vývoj / Re:Rychlost Chez Scheme
« kdy: 22. 01. 2023, 20:03:37 »
Bylo by možno ve Scheme psát rozsáhlý, bezpečný, čitelný a výkonný kód?
Možné to jistě je, ale já beru Scheme jako cíl transpilace (podobně jako JS), psát přímo v něm bych moc nechtěl (není to peklo jako JS, ale ani žádná sláva). V nějakém příčetnějším dialektu si to dovedu představit (Racket), ale ten zas není tak rychlý.

47
Vývoj / Re:Rychlost Chez Scheme
« kdy: 22. 01. 2023, 19:09:29 »
V kombinaci tyto techniky umožňují Chez Scheme dosahovat srovnatelné rychlosti s jazyky jako C nebo Rust, i když je Scheme dynamickým jazykem s vysokoúrovňovými abstrakcemi.
Je to tak, ale už se nějak točíme v kruhu.

48
Vývoj / Re:Rychlost Chez Scheme
« kdy: 22. 01. 2023, 19:03:44 »
K původnímu tématu, překladač Chezu dělá v podstatě tohle: https://arxiv.org/pdf/2109.01950.pdf
Když se zdroják generuje (transpiluje) z typovaného jazyka, je kód zaručeně typově stabilní, a tedy rychlý. Pořád tam jsou rezervy, pokud se používají například jen induktivní typy, nemůže vzniknout referenční cyklus, a pak je tracing GC k ničemu, ale to je na jinou diskusi.

49
Vývoj / Re:Rychlost Chez Scheme
« kdy: 22. 01. 2023, 17:05:29 »
Štěstí na straně Pythonu, nic více. Problém Smalltalku byl, že se prosazoval v enterprise prostředí
Objective-C bylo parádním následovníkem, než ho Apple pohřbil.

50
Vývoj / Re:Rychlost Chez Scheme
« kdy: 22. 01. 2023, 17:03:16 »
bavíme se o Lispu
Dotaz byl o Scheme.

51
Vývoj / Re:Rychlost Chez Scheme
« kdy: 22. 01. 2023, 16:13:18 »
Když někdo napíše, že “homoikonicita je problém”, má někde hodně velké znalostní mezery.
Kontext, Idrisi, kontext.
Jo, ten ti uniká. Homoikonicita nijak nesouvisí s čitelností. Ostatně Julia ji má taky a čitelná je značně.

52
Vývoj / Re:Rychlost Chez Scheme
« kdy: 22. 01. 2023, 16:12:08 »
Jenže čitelnost jazyka je základ.
Kdyby to bylo jediné kritérium, Rust by byl v řiti a Smalltalk králem.
No jasně. Proto všichni neprogramátoři používají Smalltalk a ne třeba ... Python.
Python je poměrně čitelný, takže to překvapivé není.

53
Vývoj / Re:Rychlost Chez Scheme
« kdy: 22. 01. 2023, 15:03:34 »
Jenže čitelnost jazyka je základ.
Kdyby to bylo jediné kritérium, Rust by byl v řiti a Smalltalk králem.

54
Vývoj / Re:Rychlost Chez Scheme
« kdy: 22. 01. 2023, 15:01:28 »
Homoikonicita je problém a ne řešení
Krásná ukázka neznalosti a nepochopení.
Ale jdi.
Když někdo napíše, že “homoikonicita je problém”, má někde hodně velké znalostní mezery.

55
Vývoj / Re:Rychlost Chez Scheme
« kdy: 22. 01. 2023, 13:59:36 »
protože většině programátorů prostě ta čitelnost přijde horší
Mas nejaky data potvrzujici tohle tvrzeni?
Zdroj: Just trust me dude.

56
Vývoj / Re:Go optimalizacia - pointer vs receiver
« kdy: 22. 01. 2023, 13:58:47 »
Tohle nemá smysl řešit, vrací se buď výsledek, nebo chyba, můžu mít třeba (Bar, error), chyba bude většinou nil. Efektivita alokace na haldě závisí na velikosti struktury, vicevláknovosti a typu CPU, mikrobenchmarky bych nebral moc vážně.
Jasne, beriem. Len ono ide o to ze error je vzdy pointer lebo je zvyk robit err == nil, lenze ked sa vrati sturktura bez pointeru ktora nesie rovnaku informaciu tak je to imho lepsie nez dve sturktury kde su obe pointery.
Ono error je rozhraní, jehož implementace je na uvážení překladače. Když se vrací struktura hodnotou a chyba je v naprosté většině případů nil, nic se na haldě nealokuje, není tedy důvod opouštět idiomatické vracení chyb, které má Go velmi dobře promyšlené (viz balíček errors).

57
Vývoj / Re:Rychlost Chez Scheme
« kdy: 22. 01. 2023, 12:57:12 »
Homoikonicita je problém a ne řešení
Krásná ukázka neznalosti a nepochopení.

58
Vývoj / Re:Go optimalizacia - pointer vs receiver
« kdy: 22. 01. 2023, 12:00:58 »
Tohle nemá smysl řešit, vrací se buď výsledek, nebo chyba, můžu mít třeba (Bar, error), chyba bude většinou nil. Efektivita alokace na haldě závisí na velikosti struktury, vicevláknovosti a typu CPU, mikrobenchmarky bych nebral moc vážně.

59
Vývoj / Re:Rychlost Chez Scheme
« kdy: 21. 01. 2023, 22:55:31 »
když už, tak se znovuobjevuje ML
ML je ostatně podstatně zajímavější než Lisp. Nejnověji inspirovalo například Lean.
Hlavne F#, to uz je rekl bych docela mainstream.
Víc mainstream, ale ne až tak zajímavé.

60
Vývoj / Re:Rychlost Chez Scheme
« kdy: 21. 01. 2023, 18:21:00 »
když už, tak se znovuobjevuje ML
ML je ostatně podstatně zajímavější než Lisp. Nejnověji inspirovalo například Lean.

Stran: 1 2 3 [4] 5 6 ... 153