zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml こういう記事を最近読んだ： tatta.hatenadiary.org （書かれたのは10年以上前だが） こういうコードは型チェック通らないよ、という話： let rec f x = x and g () = f 1 and h () = f true;; Line 3, characters 13-17: Error: This expression has type bool but an expression was expected of type int let rec ... and ... and ...という構文の中ではlet多相が効かないということらしい。 let rec .… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2021%2F03%2F18%2F084507" title="let rec内での多相とlocally abstract typeとpolymorphic type constraints - Arantium Maestum" 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 2021-03-18 08:45:07 rich https://zehnpaard.hatenablog.com/entry/2021/03/18/084507 1.0 100%