moonmile https://blog.hatena.ne.jp/moonmile/ moonmile solutions 分室 https://moonmile.hateblo.jp/ おなじく pars.fs を覗いてみて分かったのだけど、 let op (x:int) = let (y:'a) = 20 let (z:'a) = "masuda" x + y の場合には、"masuda" で bind するときにコンパイルエラーになる。 一見、'a は unit のように見えるけど、x+y の時点で op 関数の引数 x が int 型であること x + y での戻り値が int 型であること から、'a が int 型に束縛されるので、z:'a は int 型になるんだけど、"masuda" のような文字列を入れると駄目、ってことらしい。 なるほど、これはすごい。 じゃ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmoonmile.hateblo.jp%2Fentry%2F2014%2F05%2F22%2F120224" title="F# で &#39;a（ジェネリック/総称）を型推論して束縛する離れ業がある - moonmile solutions 分室" 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 2014-05-22 12:02:24 rich https://moonmile.hateblo.jp/entry/2014/05/22/120224 1.0 100%