1. Fórum Root.cz
  2. Hlavní témata
  3. Vývoj
  4. Závislostní typy
« předchozí další »
Stran: [1]

Závislostní typy

  • 3 Odpovědí
  • 1180 Zhlédnutí

Puff

Závislostní typy
« kdy: 26. 09. 2018, 18:16:47 »
Která kniha je nejlepší k naučení $SUBJ pro někoho, kdo nemá dvě PhD z matematiky?
IP zaznamenána

Reklama

  • * * * * *

v

Re:Závislostní typy
« Odpověď #1 kdy: 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/
IP zaznamenána

Puff

Re:Závislostní typy
« Odpověď #2 kdy: 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!
IP zaznamenána

Bacsa

Re:Závislostní typy
« Odpověď #3 kdy: 28. 09. 2018, 09:04:29 »
Povinná četba by měla být kniha The little typer.
IP zaznamenána
Stran: [1]
« předchozí další »
  1. Fórum Root.cz
  2. Hlavní témata
  3. Vývoj
  4. Závislostní typy