これはAdvent Calendarとか関係なくなんとなく書かれた記事です。 ML系言語で型注釈が必要なケース - Qiita にある通り、OCamlには型注釈なしではコンパイルが通らないケースがいくつかある。 そのような場合でも、別の書き方をすることで型注釈なしで済ませる/より少ない型注釈で済ませる方法を紹介する。 GADTs type 'a t = | Int : int -> int t | Bool : bool -> bool t let f : type a. a t -> int -> bool = fun t y -> match t with | Int x -> y >= 2 | Bool x -> x このケースでは、型注釈を付けないと、 Int x の時点で f の型が int t -> int -> bool に確定してしまい、 Bool x : bool t ≠
![OCamlでできるだけ型注釈を書かずに済ませる - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/751d47ed6ac632f82bf864b7642a302ea58dc649/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9T0NhbWwlRTMlODElQTclRTMlODElQTclRTMlODElOEQlRTMlODIlOEIlRTMlODElQTAlRTMlODElOTElRTUlOUUlOEIlRTYlQjMlQTglRTklODclODglRTMlODIlOTIlRTYlOUIlQjglRTMlODElOEIlRTMlODElOUElRTMlODElQUIlRTYlQjglODglRTMlODElQkUlRTMlODElOUIlRTMlODIlOEImdHh0LWFsaWduPWxlZnQlMkN0b3AmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZzPWZiNjgyNWMyODhiMDQwOWYxZDNjYzNmNDFjY2RlNDA0%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBkaWNvX2xlcXVlJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz1mMTlkMjQyNjE3ZGJkNjk3NmJhMDBhMWRhMjM1OTZjOA%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3D4f16cbaed66b9f3e87256e31a5ba8f1f)