-
Notifications
You must be signed in to change notification settings - Fork 42
Resources
Thomas Tuegel edited this page Jan 5, 2021
·
6 revisions
This is a list of resources (readings, talks, etc.) for Kore developers.
Kore developers should work through the K Framework tutorial for a high-level view of the project's goals. Developers need a basic understanding of this material to understand users' needs.
- An Introduction to Recursion Schemes
- Recursion Schemes, Part II: A Mob of Morphisms
- Recursion Schemes, Part III: Folds in Context
- Recursion Schemes, Part IV: Time is of the Essence
- Recursion Schemes, Part 4½: Better Living Through Base Functors
- Recursion Schemes, Part V: Hello, Hylomorphisms
- Recursion Schemes, Part VI: Comonads, Composition, and Generality
- Reader and Writer Monads (Part 4)
- State Monad (Part 5)
- Monad Transformers (Part 6)
- Monad Laws (Part 7)
- Programming with GUTs. "Kevlin Henney advises on writing Good Unit Tests (GUTs) by treating testing as a form of communication with multiple levels and forms of feedback."
- Beyond TDD. "People think that if they write a couple of tests that show the happy path and the error path, then they have "100% coverage" and are done. If they add those tests to their continuous delivery pipeline, running with the same inputs on every build, then they get "a full regression suite" and can be confident in that they did not break anything."