Questions about category-theory
Read more about category-theory
python (65.1k questions)
javascript (44.2k questions)
reactjs (22.7k questions)
java (20.8k questions)
c# (17.4k questions)
html (16.3k questions)
r (13.7k questions)
android (12.9k questions)
What is the mathematical theory or theorem underlying join of monad?
For example:
Maybe (Maybe Bool) -> Maybe Bool
Just (Just True) -----> Just True
Just (Just False) ----> Just False
Just (Nothing) -------> Nothing
Nothing -----------...
Lionhairdino L.
Votes: 0
Answers: 2
Did this construction of free(freer?) monad works?
In the past 2 years, I was interested in using free monad to helping me to solve practical software engineering problem. And came up my own construction of free monad using some elementary category th...
yuxuanchiadm
Votes: 0
Answers: 1
How to implement memoization in Scala without mutability?
I was recently reading Category Theory for Programmers and in one of the challenges, Bartosz proposed to write a function called memoize which takes a function as an argument and returns the same one ...
Gabriel Santana Paredes
Votes: 0
Answers: 3
Indexed Initial algebras for GADTs
In his paper Generics for the Masses Hinze reviews encoding of data type.
Starting from Nat
data Nat :: ⋆ where
Zero :: Nat
Succ :: Nat → Nat
It can be viewed as an initial algebra NatF Nat -&...
nicolas
Votes: 0
Answers: 2