Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
does anyone have a definition for Restrictive Monad?
@Jonathan Lorimer I've never heard of them before, but I found some google search results. Is it not defined where you found the term originally?
No, it isn't. I found it in The Book of Monads and it is introduced to refer to Final, Initial, and Free monads
The Book of Monads
Actually, I found something:
"Describing behaviors and processes within a DSL is our main goal in developing a custom monad. But there is another interesting goal, which is providing a restricted view of a set of operations... In general, a restrictive monad comes only with a subset of the operations that the larger monad provides"
i.e. a FileSystem monad to replace IO
Okay, this makes sense now, I had read quite a ways past that and just forgot about it I guess