zyxwv https://blog.hatena.ne.jp/zyxwv/ zyxwvの日記 https://zyxwv.hatenadiary.org/ Haskell id:msakaiさんが、sized-list の appendで長さ付きのリストを扱う方法を解説してくれている。すばらしい。 しかし型関数なんていうかっちょいいものがあったのかー。型関数の意味とか能力はさっぱりわからんけど、こんな風にかけてしまうとはおどろきである。参考文献をあとで読んでみることにしよう。で、とりあえず専用の型クラスを使う方法をやってみた。id:msakaiさんのオリジナルのものとは若干違う気がするが。関数名は適当。 {-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-} data S n data Z dat… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzyxwv.hatenadiary.org%2Fentry%2F20080309%2F1205083860" title=" 長さ付きリスト - zyxwvの日記" 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 2008-03-09 02:31:00 rich https://zyxwv.hatenadiary.org/entry/20080309/1205083860 1.0 100%