Vlákno názorů k článku LunarML: až překvapivě kvalitní transpiler z jazyka Standard ML do jazyků Lua a JavaScript od MilanV - Zajímavé téma, ale přiznám se, že pro mě...

Zajímavé téma, ale přiznám se, že pro mě osobně poněkud děsivé. Už od dob LaTeX vs. TeX v dobách MSDOS se, alespoň podle mne, opakuje totiž stále stejný problém: překladače z jednoho jazyka do jiného fungují pouze jedním směrem. Takže pak nastane potíž, až se stane chyba a vy máte

1. porozumět chybové hlášce v úplně jiném jazyce,
2. vykoumat, čemu ten problém odpovídá v jazyce původního SW, kde ani nemusí existovat terminologie pro danou chybu

Je v tomto za těch 30+ let nějaký pokrok? Jak se v praxi postupuje, nejlépe u nějakého většího projektu, kde chyby nemusí být vůbec triviální?

nevim jak v LunarML, ale treba v JS svete to resi source mapy.

(a TeX je dobrej priklad jazyka, ktery proste neni postaveny na podobne rozsirovani, jakym byl balicek LaTeX. Tam to proste vazne a vazne.)

Já s tím nemám zkušenosti, ale podle toho, co jsem našel, tak source mapy řeší jen poznámky o umístění kódu - takže se výborně hodí na překlad z toho samého jazyka do stejného (JS->JS), např. při minimalizaci a obfuskaci, co se dělá pro JS na weby. Ale pokud by to byly jazyky různé, tak je to podle mě mnohonásobně obtížnější úkol a je otázkou jestli vůbec obecně řešitelný, protože ty (runtime) chyby v jazyce2 vůbec nemusí mít jednoznačný předobraz v jazyce1, natož aby to vždy šlo nějak snadno pojmenovat terminologií jazyka1.

LaTeX jsem uváděl záměrně, protože tam mi to přišlo extrémní - snaží se před uživatelem ty low-level věci skrýt, mluví v mnohem vyšších pojmech jako 'prostředí' apod. a pak na uživatele vypadne chybová hláška: "hbox overful by 0.213pt" a jen nedostatečná česká lokalizace způsobuje, že za tím překladač nedodá oblíbené "Hledej, Šmudlo." :D Ale ono to bude podle mě podobné i tady, ne? Ve výsledném JS se za běhu objeví nějaká chyba nebo tiše něco funguje špatně - a jak se to namapuje na nějaký funkcionální jazyk a jeho konstrukty??

Proto jsem fakt upřímně zvědavý na další díl, když Pavel slibuje, že se runtime errors pověnuje :)

ano, to může nastat. V případě LunarML to je ale řešeno o hodně líp, než v LaTeXu (ale tam to prostě líp udělat nešlo, protože TeX nemá vhodné rozhraní). LunarML obecně nepouští chyby "dolů" do Luy nebo JavaScriptu. Samozřejmě teoreticky taková chyba nastat může, ale je to hodně limitováno. Runtime výjimky zkusím popsat příště.

PS: vím, že ML je dnes asi trošku ne-mainstream téma, ale ten jazyk si pozornost zaslouží. Je starý (věkem), ale ne zastaralý (sem patří některé jiné jazyky z mainstreamu :-).

Díky, takže se těším na příště :)

Standard ML je snad jediný jazyk, který má formální specifikaci a zároveň je prakticky použitelný.

pouzils ho nekdy v praxi? ja videl jen F# a vlastne posledni dobou elm

Používáme ML pro embedded a edge/IoT vývoj.