@ailrunAilrun (UTC-5/-4) 재밌게도 force . thunk랑 return . thunk 모두 항등 사상이 못 되네요. 이건 값이 ‘~인 것‘이기 때문일까요? ~인 것을 갖고 무언가를 더 하기 위해서 return과 to가 있는 것인가 싶어졌어요.
force . thunk는 항등사상이 맞습니다. M은 M이라는 계산을 하는 녀석이고, force (thunk (M))도 정확히 M이라는 계산을 하는 녀석이죠.
❤️
1 person reacted.
규칙을 만들고, 부수고, 살펴보고, 고치기를 좋아합니다. 논리를 다루는 일이 즐거워 프로그래밍을 업으로 삼았습니다. 현재는 프론트엔드 플랫폼 엔지니어로 일하고 있습니다.
다음 주제에 특히 관심이 많습니다.
- 프로그래밍 언어론
- 타입 이론
- 소프트웨어 아키텍쳐
- 글쓰기 그리고 맥주와 와인