Ailrun (UTC-5/-4): @domatdo 다른 말로는 Up (Down a)는 모나드(Monad)고 Down (Up a)는 코모나드(Comonad)가 되는데요, 이를 이용해 CBPV는 Effect 또한 자연스럽게 다룰 수 있습니다. 글에서 다루기에는 소개할 내용이 많아서 생략했지만요.

Hackers’ Pub

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

Ailrun (UTC-5/-4) @ailrun@hackers.pub

4/16/2025, 3:57:06 PM

Quiet public

@domatdo도막도 그 둘이 사실 수반 함자(Adjoint Functor)의 구현입니다. 강한 형 CBPV를 사용하면 thunk(-)는 Up -의 생성자고 return은 Down -의 생성자인데요, 이 두 함자 Up과 Down이 수반 함자 쌍을 이룹니다.

Ailrun (UTC-5/-4) @ailrun@hackers.pub

4/16/2025, 4:05:17 PM

Quiet public

@domatdo도막도 다른 말로는 Up (Down a)는 모나드(Monad)고 Down (Up a)는 코모나드(Comonad)가 되는데요, 이를 이용해 CBPV는 Effect 또한 자연스럽게 다룰 수 있습니다. 글에서 다루기에는 소개할 내용이 많아서 생략했지만요.

If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/01963f58-f7be-74de-83b8-0f217dce7da4 on your instance and reply to it.

도막도 @domatdo@hackers.pub

4/16/2025, 4:38:14 PM

Quiet public

@ailrunAilrun (UTC-5/-4) 어쩐지 effect system 문서를 보면 CBPV 언급을 자주 하던데 이런 배경이 있었군요. 한 번 찾아봐야겠어요.