Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
-
Updated
Jan 17, 2024 - Haskell
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
Implement monads by specifying instructions and their desired operational semantics.
A non-interactive proof assistant using the Haskell type system
An applicative monad that batches commands for later more efficient execution
Solutions to exercises from the book Haskell Programming
🛗 Typeclass for monads that can be unlifted to arbitrary base monads
[W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
COMP3141: Software System Design and Implementation Study Notes
A Yesod-based server for screen presentations. Somewhat like LaTeX Beamer, but interactive.
slides and code from applicative workshop
Dependency injection for records-of-functions.
Extremely simple URL combinator DSL thing
Very basic transaction monad on top of the venerable Beam library
Dependently typed programming language implemented in Literate Haskell.
LOGO-like Turtle Graphics in the Haskell language using Monads.
Anaphoric and miscellaneous useful control-flow
Add a description, image, and links to the monad topic page so that developers can more easily learn about it.
To associate your repository with the monad topic, visit your repo's landing page and select "manage topics."