Conversation

Notices

1. らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Thursday, 07-Oct-2021 18:19:51 JST らりお・ザ・何らかの🈗然㊌ソムリエ

   cons := (λcab. c a b)とかがありがちな定義だったはず

   • きゅーけー repeated this.
   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Thursday, 07-Oct-2021 18:20:54 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

     ただ cons で作ったリストの末尾に何を詰めるかは悩みどころよね。真の意味での同値性の判定ができないので、用途と内容次第で何かしらの規約を用意してやらないといけない。