Lulu.com

Programming in System Fω using Dhall

Name: Programming in System Fω using Dhall
Brand: Lulu.com
SKU: cd4de7cbe59770e5606f2568c7c507ae

1/1

Afbeelding van Programming in System Fω using Dhall

Bol

Prijzen vanaf

52,26

Gesponsorde links

	52,26	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.

Lees meer

Vergelijk aanbieders (2)

Gesponsorde links · Sommige shops betalen ons een vergoeding

Sorteren op:

€ 52,26 Gratis verzending

€ 79,52 € 5,64 verzendkosten Totaal € 85,16

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.

Lees meer