Programming in System F? using Dhall

By Sergei Winitzki

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.

• Format: Paperback
• Language: English
• ISBN: 1105582914
• ISBN13: 9781105582912
• Release Date: February 2026
• Publisher: Lulu.com
• Length: 468 Pages
• Weight: 1.83 lbs.
• Dimensions: 9.7" x 0.9" x 7.4"