값은 존재하고, 계산은 수행된다원하는 게 값일때: Call-by-Value 계산일 때: Call-by-Reference I'm betting on Call-by-Push-ValueWhy call-by-push-value is the best evaluation strategy, and why it's going to take overhttps://thunderseethe.dev/posts/bet-on-cbpv/Call-by-Push-Value | Proceedings of the 4th International Conference on Typed Lambda Calculi and ApplicationsYou will be notified whenever a record that you have chosen has been cited.https://dl.acm.org/doi/10.5555/645894.671755
