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

Citace: 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/

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.