Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 21-Sep-2021 00:50:15 JST きゅーけー

   ACL2、 lambda 式はないと思ってたんだけど、関数が第一級の値ではないというだけで実は使えることが「Computer-Aided Reasoning: An Approach」の34ページ目を読んで分かった。

   関数が第一級の値じゃないんなら、lambda 式がかけても別に嬉しくはないので書く機会は今後もなさそうだ。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 21-Sep-2021 01:22:34 JST きゅーけー

     in reply to

     そうか、lambda があるおかげで let を lambda の略記法として導入できるのか。。。やっぱ lambda は必要だな。