Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč
PPL shop 49 Kč
Balíkovna 69 Kč
PPL kurýr 74 Kč
PPL box 39 Kč
Balíkovna 49 Kč
Výdejní místo DPD 49 Kč
Zásilkovna 39 Kč
Kontakt
Jak nakupovat
Pomoc
Doručení
Kurýr DPD 69 Kč
PPL shop 49 Kč
Balíkovna 69 Kč
PPL kurýr 74 Kč
PPL box 39 Kč
Balíkovna 49 Kč
Výdejní místo DPD 49 Kč
Zásilkovna 39 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
▸
Prázdný :-(
0
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.
Programming in System Fω using Dhall
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book is an advanced tutorialon functional programming in System Fω using Dhall.The book's topic...
Celý popis
Libristo kód: 51970670
?
127 b
Nové
127 b
Nové
1 273
Kč
Skladem u dodavatele
Odesíláme za 9-15 dnů
30 dní na vrácení zboží
This book is an advanced tutorial
on functional programming in System Fω using Dhall.
The book's topics include an overview of Dhall's type system;
techniques for numerical calculations in Dhall;
techniques for encoding recursive types and code in System F$\omega$ via the Church encoding;
implementation of various combinators and typeclass derivation for functors, monads, and other
typeclasses;
and some basic applications of dependent types.
The book shows many code examples that have been validated by the Dhall interpreter.
Herečka
&
Polyglotka
EWA KASP
pro
Přehrát video
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.
Informace o knize
Plný název
Programming in System Fω using Dhall
Autor
Sergei Winitzki
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2026
Počet stran
468
EAN
9781105582912
ISBN
1105582914
Libristo kód
51970670
Nakladatelství
Lulu.com
Váha
831
Rozměry
189 x 246 x 24
