Já tedy nejsem odborník na typové systémy, ale je všeobecně známé, že:
https://simonmar.github.io/bib/papers/erltc.pdf
nebyl nejúspěšnější projekt.
I když v Erlangu už jsou poslední roky celkem úspěšné snahy to překonat a dotáhnout. I typové systémy samozřejmě zažívají vývoj. Jinak o Erlangu by chtělo někdy článek, nebo aspoň o https://lfe.io/, když už mám zůstat u tématu.
18. 4. 2022, 11:05 editováno autorem komentáře