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)

Questions - free-monad

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...
test-img

yuxuanchiadm

haskell

functional-programming

monads

category-theory

free-monad

Votes: 0

Answers: 1

Latest Answer

Yes, your encoding is correct. The free monad Free F over an endofunctor F is also the initial object of the category F-Mon whose objects are monads M equipped with "algebras" a :: forall x...
test-img

Zhixuan Yang

The list monad is not a free monad but …

On page 12 of One Monad to Prove Them All, it is written that "a prominent example [of container] is the list data type. A list can be represented by the length of the list and a function mapping...
test-img

Bob

haskell

monads

agda

category-theory

free-monad

Votes: 0

Answers: 1

Latest Answer

I think one should be a bit careful. I don't think it's the case that if M is a free monad, then applying the free monad construction gets you back something isomorphic to M. So your question of "...
test-img

Daniel Wagner

How to compose Free Monads

data Console a = PutStrLn String a | GetLine (String -> a) deriving (Functor) type ConsoleM = Free Console runConsole :: Console (IO a) -> IO a runConsole cmd = case cmd of (PutStr...
test-img

lunuy lunuy

haskell

free-monad

Votes: 0

Answers: 1

Latest Answer

Now you have cmd' of type Console (MaybeT IO a), and want to pass it to a function taking Console (IO a). The first thing you can do is to run the MaybeT monad inside Console and get Console (IO (Mayb...
test-img

snak

Posts

Questions

Blogs

Jobs