Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in monads
Using Data.Map in monadic context
Sep 06, 2026
haskell
dictionary
monads
Combining ReaderT monads?
Sep 04, 2026
haskell
monads
How to make instance of Applicative a certain data type
Sep 04, 2026
haskell
monads
applicative
Programmatic proofs for monad laws
Sep 03, 2026
haskell
types
monads
proof
formal-verification
Scala filter by nested Option/Try monads
Sep 03, 2026
scala
monads
Trouble understanding Haskell function
Sep 02, 2026
haskell
monads
Perform Monadic Computation N times
Sep 02, 2026
haskell
monads
How to use value from different type monad in Haskell
Aug 29, 2026
haskell
types
monads
Implicits resolution with Scala-cats
Aug 28, 2026
scala
monads
implicit
scala-cats
for-comprehension
Please correct my use of the Maybe Monad
Aug 29, 2026
haskell
monads
Extending the ServerPartT Monad with a Reader
Aug 29, 2026
haskell
monads
monad-transformers
happstack
Monad composition (Cont · State)
Aug 26, 2026
functional-programming
f#
monads
continuations
state-monad
How should I map over Maybe List?
Aug 20, 2026
functional-programming
monads
elm
option-type
sanctuary
Composing monad transformer stacks
Aug 18, 2026
haskell
monads
monad-transformers
Turn monadic validation into applicative?
Aug 17, 2026
validation
haskell
monads
applicative
The purpose of functors
Aug 16, 2026
scala
functional-programming
monads
functor
Class of monads in Dart
Aug 16, 2026
class
haskell
dart
monads
Older Entries »