|
Latest Articles
|
 |
Maguire S Algebra Driven Design 2020 torrent |
| Download torrent: |
|
| Info hash: |
2BAA02C6CAA1A5C70D914BF85CCB93D1EFF9EC97 |
| Category: |
Categories >
Books torrents
> Ebooks torrents
|
| Trackers: |
udp://tracker.coppersurfer.tk:6969/announce
udp://9.rarbg.me:2850/announce
udp://9.rarbg.to:2920/announce
udp://tracker.opentrackr.org:1337
udp://tracker.leechers-paradise.org:6969/announce
|
|
| Health: |
|
| Torrent language: |
|
| Total Size: |
13.40 MB |
| Number of files: |
|
| Uploader: |
|
| Torrent added: | 2020-10-08 11:37:44 |
|
Torrent Description
Textbook in PDF format
Dedication Foreword Preface Overview Abstraction What is Algebra-Driven Design? Conventions Why Haskell? Reading Haskell Understanding Haskell Types Equational Laws A Note on the Companion Library Designing Algebras Tiles Basic Building Blocks Subdividing Space Observations Generalization What Makes a Good Algebra? Scavenger Hunt Input Filters Simultaneous Challenges Challenge Completion Simplification A Unified Observation Symmetry Clues Generalization Deriving Implementations Tile Implementation The Initial Encoding Generating Tests An Efficient Implementation Scavenger Hunt Implementation The Filter Algebra The Challenge Algebra Testing It Implementation Reference Material Property-Based Testing Basics Writing Good Generators Showing Shrinking Using QuickCheck Interactively Effective QuickSpec Signatures Motivating QuickSpec QuickSpec for Designing Greenfield Projects QuickSpec for Analyzing Existing Projects Background Signatures Predicates Naming Variables Observing Equalities Creating QuickCheck Tests Variable Usage Debugging QuickSpec Output Common Warnings Insane Laws Poorly-Typed Laws Unsimplified Laws Common Algebraic Components Properties Associativity Identity Idempotency Invertibility Distributivity Commutativity Annihilation Structures Semigroups Monoids Groups Semilattices Functors Applicative Functors Back Matter Acknowledgements Bibliography Glossary
Related Torrents
|