kilrey https://blog.hatena.ne.jp/kilrey/ うっくつさん本を読む。 https://kilrey.hatenadiary.org/ 言語 Web http://www.kmonos.net/wlog/96.html#_2319090427の話。 「値」の単位での非決定性には、少なくとも、速度面のメリットは全く見出せない。たぶん、複数の値を束ねた「集合」をまるで「値」のように表現するべきだと思う。 具体的に この場合、実装するべきはwhere_is_the_max_element()ではなくthe_set_of_the_max_elements()となる。評価値が最大になるものの「集合」を返す関数だ。この「集合」に対してone_of演算子を作用させると「集合」の任意の一つの値が取り出せる。 非正格評価なら最も簡単に取り出せる「値」を代表値… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkilrey.hatenadiary.org%2Fentry%2F20090427%2Fp2" title="&quot;配列の最大要素のインデックスを返す&quot;は既に&quot;How&quot;かも - うっくつさん本を読む。" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-04-27 00:00:00 rich https://kilrey.hatenadiary.org/entry/20090427/p2 1.0 100%