Thinking with types: type-level programm
✍ Maguire S
📂 Library
📅 2018
🏛 leanpub.com
🌐 English
✦ LIBER ✦
📁
Typing Haskell in Haskell
✍ Scribed by Jones M.P.
- Tongue
- English
- Leaves
- 14
- Category
- Library
⬇ Acquire This Volume
No coin nor oath required. For personal study only.
✦ Synopsis
Статья М. П. Джонса, опубликованная в Haskell Workshop Version: September 1, 1999. Посвящена описанию системы типизации языка Haskell, причём реализация машины вывода типов приведена опять же на языке Haskell.
Краткое содержание:IntroductionPreliminaries
Kinds
Types
Substitutions
Uni cation and Matching
Predicates and Quali ed Types
Type Schemes
Assumptions
A Type Inference Monad
Type Inference
Conclusions
Acknowledgments
References
✦ Subjects
Библиотека;Компьютерная литература;Haskell
📜 SIMILAR VOLUMES
Fruit Baskets and Holiday Caskets
✍ Gayle Leeson
📂 Fiction
📅 2020
🏛 Gayle Leeson
🌐 English
✍ Leeson, Gayle, 1967- author
📂 Library
📅 2020
🏛 Bristol, Virginia : Grace Abraham Publishing
🌐 English
284 pages ; 21 cm
Production Haskell. Succeeding in Indust
✍ Matt Parsons
📂 Library
📅 2023
🏛 leanpub.com
🌐 English
Programming in Haskell
✍ Graham Hutton
📂 Library
📅 2007
🏛 Cambridge University Press
🌐 English
Programming in Haskell
✍ Graham Hutton
📂 Library
📅 2007
🌐 English
Haskell is one of the leading languages for teaching functional programming, enabling students to write simpler and cleaner code, and to learn how to structure and reason about programs. This introduction is ideal for beginners: it requires no previous programming experience and all concepts are exp