@ailrunAilrun (UTC-5/-4) 람다 대수 스펙이 있다면 축약 방법은 Unspecified behavior라고 볼 수 있겠네요. 이곳저곳에서 Call-By-Push-Value를 자주 언급해서 궁금하던 찰나였는데 친절하게 설명해주신 덕분에 편하게 이해할 수 있었습니다. 늘 감사합니다.
@domatdo도막도 저 개인적으로는 CBPV랑 경쟁하는(?) 체계를 연구하고 있다보니 CBPV의 약진이 맘에는 안 듭니다만
@ailrunAilrun (UTC-5/-4) 람다 대수 스펙이 있다면 축약 방법은 Unspecified behavior라고 볼 수 있겠네요. 이곳저곳에서 Call-By-Push-Value를 자주 언급해서 궁금하던 찰나였는데 친절하게 설명해주신 덕분에 편하게 이해할 수 있었습니다. 늘 감사합니다.
@domatdo도막도 저 개인적으로는 CBPV랑 경쟁하는(?) 체계를 연구하고 있다보니 CBPV의 약진이 맘에는 안 듭니다만