Programming in System Fω using Dhall
Uitgelicht
|
52,71 |
Naar shop
|
|
79,52 |
Naar shop
|
| VERGELIJK ALLE AANBIEDERS (2) | ||
Beschrijving
Bol
This book is an advanced tutorialon 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 othertypeclasses;and some basic applications of dependent types.The book shows many code examples that have been validated by the Dhall interpreter.
Beschrijving
(1)
This book is an advanced tutorialon 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 othertypeclasses;and some basic applications of dependent types.The book shows many code examples that have been validated by the Dhall interpreter.
Productspecificaties
Prijshistorie
* Prijshistorie bevat geen data van Amazon.
Prijzen voor het laatst bijgewerkt op:
Gerelateerde resultaten
