Get Free Shipping on orders over $89
Programming in System FÏ using Dhall - Sergei Winitzki

Programming in System FÏ using Dhall

By: Sergei Winitzki

Paperback | 27 February 2026

At a Glance

Paperback


RRP $134.53

$127.75

or 4 interest-free payments of $31.94 with

 or 

Ships in 10 to 15 business days

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.

More in Programming & Scripting Languages

Swift : The Practical Guide - Kerem Koseoglu
Introduction to Programming Languages - Gordon Hurley
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$49.99

33%
OFF
Fundamentals of Python : 3rd Edition - First Programs - Kenneth  Lambert
Coding For Dummies, All New Edition : For Dummies (Computer/Tech) - Paul McFedries
Fluent Python : Clear, Concise, and Effective Programming 2nd Edition - Luciano Ramalho
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$106.40

20%
OFF
Python Automation For Dummies : For Dummies (Computer/Tech) - Alan Simpson
Problem Solving and Program Design in C, Global Edition : 8th Edition - Elliot Koffman
C# 10.0 All-in-One For Dummies : For Dummies (Computer/Tech) - John Paul Mueller
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$46.99

33%
OFF