Name: Programming in System Fω using Dhall (en Inglés)
SKU: 67309512
Price: 75.42 USD
Availability: InStock
Author: Sergei Winitzki

Selecciona tu país

América

Europa

Resto del mundo

portada Programming in System Fω using Dhall (en Inglés)

Programming in System Fω using Dhall (en Inglés)

Formato

Libro Físico

Editorial

Lulu.com

Autor

Sergei Winitzki

Año

2026

Idioma

Inglés

N° páginas

468

Encuadernación

Tapa Blanda

Dimensiones

24.6x18.9x2.3 cm

ISBN13

9781105582912

Programming in System Fω using Dhall (en Inglés)

Sergei Winitzki (Autor) · Lulu.com · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 137.13$ 75.42

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 75.42

Llega entre el 18 Sep y el 01 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Programming in System Fω using Dhall (en Inglés)"

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.