Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Programming in System Fω using Dhall

Sergei Winitzki

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 51970670

Založba Lulu.com, februar 2026

This book is an advanced tutorialon functional programming in System Fω using Dhall.The book's topic... Celoten opis

Koda Libristo: 51970670

127 b

Novo

52.65 €

Na zalogi pri dobavitelju Odposlali bomo v 9-15 dneh

30 dni za vračilo blaga

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.