@domatdo도막도 다른 말로는
Up (Down a)
는 모나드(Monad)고 Down (Up a)
는 코모나드(Comonad)가 되는데요, 이를 이용해 CBPV는 Effect 또한 자연스럽게 다룰 수 있습니다. 글에서 다루기에는 소개할 내용이 많아서 생략했지만요.
@ailrunAilrun (UTC-5/-4) 어쩐지 effect system 문서를 보면 CBPV 언급을 자주 하던데 이런 배경이 있었군요. 한 번 찾아봐야겠어요.
If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/01963f77-22e2-71c6-bb95-d5be3a9ce23e on your instance and reply to it.