Vlákno názorů k článku Femtolisp: dialekt LISPu tvořící součást jazyka Julia od Calculon - Paráda, teď už konečně vím, komu “poděkovat” za...

Paráda, teď už konečně vím, komu “poděkovat” za ty divnosti v typovém systému Julie.

Taky by mě zajímalo, jestli jde překladač Idrisu přeložit Femtolispem, zatím jsem zkoušel Chez a Racket. To zas bude dlouhá noc :)

Překladač Idrisu je napsaný v Lispu?

Ne, v Idrisu. Ale používá Chez, Racket a spol. pro bootstrapping.

Aha, OK.

A první verze byla v Haskellu? Jasně můžu googlit, ale proč se nezeptat u zdroje :).

20. 1. 2022, 19:01 editováno autorem komentáře

Pokud si vzpomínám dobře, tak Idris 1 byl napsaný v Haskellu. Idris 2 je kompletní přepis první verze a dost liší (pod kapotou, používá například lineární typy). Ten nový překladač je napsaný v Idrisu a má backend pro C, JS, Chez, Racket a ještě nějaké další. Takže pro bootstrapping je na výběr.

mrkni i na jeho doktorskou práci o tom typovém systému

To jsem hned po přečtení článku udělal. Je fakt dobrá, nejen obsahově, i styl. A odpovídá na hodně mých WTF otázek k Julii.