Email the Author
You can use this page to email Sergei Winitzki about Programming in System Fω using Dhall.
About the Book
This book is an advanced-level tutorial on functional programming (FP) in Dhall for software engineers already familiar with the FP paradigm, as practiced in languages such as OCaml, Haskell, Scala, and others.
Although most code examples are in Dhall, much of the material of the book has a wider applicability. The book studies a certain flavor of purely functional programming without side effects and with guaranteed termination, which is known in the academic literature as "System Fω".
From that point of view, Dhall is an industrial-strength interpreter for System Fω with some additional features and a Haskell-like syntax.
The book focuses on issues arising in practical programming and contains many code examples, which can be evaluated by the Dhall interpreter after exporting them into a single Dhall file.
The Appendix of the book contains some theoretical material that proves the correctness of certain code constructions, notably the Church encodings of fix-point inductive and co-inductive types.
About the Author
Sergei Winitzki has a PhD degree in theoretical physics and, after an academic career in research, now works as a big data engineer. He is passionate about functional programming, declarative programming, and domain-specific languages.