1 Repo
Awesome GitHub RepositoriesType-Driven Development Guides
Pedagogical guides focusing on using type systems to derive program logic through iterative refinement.
Distinct from Type System Guides: Distinct from Type System Guides: focuses on the methodology of deriving logic from types rather than just using a specific typing system.
Explore 1 awesome GitHub repository matching education & learning resources · Type-Driven Development Guides. Refine with filters or upvote what's useful.
Awesome Type-Driven Development Guides GitHub Repositories
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- system-f/fp-course
system-f/fp-course
4,237Auf GitHub ansehenThis project is an exercise-based learning platform and functional programming course designed to teach Haskell through a structured curriculum of practical implementation tasks. It functions as an interactive tutorial and learning framework where students master functional programming concepts by completing a curated sequence of modules. The platform emphasizes a type-driven development workflow, utilizing type holes and compiler-integrated type querying to guide the discovery of program logic. It provides an interactive programming environment via a read-eval-print loop, allowing for real-t
Provides a tutorial focused on using type signatures and pattern matching to derive program logic.
Haskell
