[{"_1":2,"_42":-5,"_43":-5},"loaderData",{"_3":4,"_10":11,"_40":-5,"_41":-5},"root",{"_5":-5,"_6":-5,"_7":-5,"_8":9},"user","shoppingCartId","toast","locale","en","routes/_store+/_readers+/email_author.$slug/route",{"_12":13,"_39":-5},"book",{"_14":15,"_16":17,"_18":19,"_20":21,"_22":23,"_24":25},"id","Z2lkOi8vbGVhbnB1Yi9TdG9yZTo6Qm9va1Byb2R1Y3QvNjA5MzU","title","Programming in System Fω using Dhall","state","published","contactAuthorMethod","email","aboutText","

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 fixpoints for inductive and co-inductive types.

","authors",[26],{"_14":27,"_28":29,"_5":30},"Z2lkOi8vbGVhbnB1Yi9TdG9yZTo6UHJvZHVjdEF1dGhvci82NDQ4MA","name","Sergei Winitzki",{"_31":32},"avatar",{"_33":34,"_35":36,"_37":38},"url","https://d308did4coypzi.cloudfront.net/avatars/214568/medium/Sergei_Winitzki_face_cropped_photo_2016-05-09.jpg?1571022475","styleName","medium","exists",true,"currentUser","routes/_store+/_layout","routes/_store+/_readers+/_layout","actionData","errors"]

Email the author