Name: Programming in System Fω using Dhall
SKU: 67309512
Price: 2127.00 TWD
Availability: InStock
Author: Sergei Winitzki

Select your country

Americas

Europe

Rest of the world

portada Programming in System Fω using Dhall

Type

Physical Book

Publisher

Lulu.com

Author

Sergei Winitzki

Year

2026

Language

English

Pages

468

Format

Paperback

Dimensions

24.6x18.9x2.3 cm

ISBN13

9781105582912

Programming in System Fω using Dhall

Sergei Winitzki (Author) · Lulu.com · Paperback

New Book Imported to Taiwan

Delivery: 23 Sep - 01 Oct

NT$ 2,127

NT$ 2,127

Add to Wishlist

Synopsis "Programming in System Fω using Dhall"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Programming in System Fω using Dhall - Sergei Winitzki

Synopsis "Programming in System Fω using Dhall"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery