Fórum Root.cz

Hlavní témata => Vývoj => Téma založeno: Puff 26. 09. 2018, 18:16:47

Název: Závislostní typy
Přispěvatel: Puff 26. 09. 2018, 18:16:47
Která kniha je nejlepší k naučení $SUBJ pro někoho, kdo nemá dvě PhD z matematiky?
Název: Re:Závislostní typy
Přispěvatel: v 26. 09. 2018, 20:06:04
asi ne přímo co chcete, ale dobře se to čte a je to zadarmo https://plfa.github.io/
Název: Re:Závislostní typy
Přispěvatel: Puff 26. 09. 2018, 20:51:53
asi ne přímo co chcete, ale dobře se to čte a je to zadarmo https://plfa.github.io/
Cool!
Název: Re:Závislostní typy
Přispěvatel: Bacsa 28. 09. 2018, 09:04:29
Povinná četba by měla být kniha The little typer.