Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt.
Ingyenes regisztráció
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft
Posta 1 795 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
GLS pont 1 390 Ft
FoxPost 1 190 Ft
Packeta 1 190 Ft
DPD gyűjtőpont 990 Ft
GLS futár 1 790 Ft
Kapcsolat
Hogyan vásároljunk
Segítség
Kézbesítés
DPD futárszolgálat 1 190 Ft
Posta 1 795 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
GLS pont 1 390 Ft
FoxPost 1 190 Ft
Packeta 1 190 Ft
DPD gyűjtőpont 990 Ft
GLS futár 1 790 Ft
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
Vásárlási tanácsadó
Segíthetünk?
+36 9 6998 040
Saját fiók
▸
Üres :-(
0
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel
Programming in System Fω using Dhall
Nyelv
Angol
Angol
Könyv
Puha kötésű
This book is an advanced tutorialon functional programming in System Fω using Dhall.The book's topic...
Teljes leírás
Libristo kód: 51970671
?
144 b
Új
144 b
Új
21 158
Ft
Beszállítói készleten
Küldés 9-15 napon belül
30 nap a termék visszaküldésére
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.
Színésznő
&
Poliglott
EWA KASP
részére
A videó lejátszása
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.
Információ a könyvről
Teljes megnevezés
Programming in System Fω using Dhall
Szerző
Sergei Winitzki
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2026
Oldalszám
468
EAN
9781105582912
ISBN
1105582914
Libristo kód
51970671
Kiadó
Lulu.com
Súly
831
Méretek
189 x 246 x 24
