17/06/01 20:42:26.57 sszEh+oH.net
>>961
Haskell 2010 でもまだランタイムに依存しているみたいだけど違う？
URLﾘﾝｸ(stackoverflow.com)
966:デフォルトの名無しさん
17/06/01 22:45:39.05 14pfKSNM.net
あらゆるモダン言語で見るようになったmapとかflatmapっていうのはどこから生まれたものなの？
967:デフォルトの名無しさん
17/06/01 22:50:28.99 W7qZGWEB.net
LISPじゃね
968:デフォルトの名無しさん
17/06/02 00:08:33.62 lDZ3L3oh.net
>>965
ちょっと話が見えないんだが、もしかして回答してほしいのは
>URLﾘﾝｸ(people.csail.mit.edu)
に限定した話ではないのか？
保証については、再帰がない場合の話で、その参照先は>>959とは状況違う
その場合>>958 + >>960という回答になる
969:デフォルトの名無しさん
17/06/02 02:50:18.61 bQ6pitWP.net
再帰があっても深さを制限すればspecializeできるんじゃね
制限を超えたらエラーにするか、あるいはspecializeをやめたら無限に再帰できるか？
970:デフォルトの名無しさん
17/06/02 07:14:02.17 vc1fSB5M.net
>>968
あ、いえ、すみません
>>958+960 で理解の確認はできています
ありがとうございます
ただ一方で >>905 >>957 >>961 みたいな主張もあるようなので
最新の実装では型クラスを取り巻く状況もかなり違ってきているのかなと
971:デフォルトの名無しさん
17/06/03 09:45:16.91 1Cu2c1ce.net
これ互換性にあまり影響のない実装の変更だよね
それより互換性が完全になくなった変更を批判する方が建設的