senooken JP Social
  • FAQ
  • Login
senooken JP Socialはsenookenの専用分散SNSです。
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Sunday, 01-Nov-2020 02:26:58 JST らりお・ザ・何らかの🈗然㊌ソムリエ らりお・ザ・何らかの🈗然㊌ソムリエ

    eqv? がある気持ちは少しわかる気がして、

    eq? => 実質的にポインタの比較なので、中身の値を比較していないeqv? => 値そのものを比較している (ポインタはポインタとして比較する)equal? => ポインタに対しては再帰的に比較する

    という感じで、0と1と*という感じなので。

    In conversation Sunday, 01-Nov-2020 02:26:58 JST from mastodon.cardina1.red permalink
    • きゅーけー repeated this.
    • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Sunday, 01-Nov-2020 02:27:54 JST らりお・ザ・何らかの🈗然㊌ソムリエ らりお・ザ・何らかの🈗然㊌ソムリエ
      in reply to

      equal? って eqv? を使って実装できそうじゃないですか。そういう意味では、 equal? よりも eqv? の方がずっと “存在することが自然” だし、 equal? よりも処理系外からの実装が難しい

      In conversation Sunday, 01-Nov-2020 02:27:54 JST permalink
    • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Sunday, 01-Nov-2020 02:29:35 JST らりお・ザ・何らかの🈗然㊌ソムリエ らりお・ザ・何らかの🈗然㊌ソムリエ
      in reply to

      eqv? が equal? よりも必要とされる場面はそんなに多くないかもしれないけど、プリミティブとしては eqv? は重要そうだし、逆にないと「なんでないの」とはなりそう

      In conversation Sunday, 01-Nov-2020 02:29:35 JST permalink

Feeds

  • Activity Streams
  • RSS 2.0
  • Atom
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.