初めまして、@ukitakaです。主にiOS/Swift界隈に生息していて、型についての理解を深めるべく型システム入門を片手に日々Swiftコンパイラの実装を読んで勉強をしています。 今年も型システムには入門失敗しましたが、コードリーディングで得た知見を元にがんばって言語実装アドカレに投稿してみようと思います。。 Swiftではswitch文を使ってパターンマッチを行うことができ、以下のような少し複雑なパターンでも(defaultケースなしに)パターンが網羅されていることをコンパイラが認識してくれます。 enum MyEnum { case a case b(Bool) } let myEnumOpt: MyEnum? = MyEnum.a switch myEnumOpt { case .some(.a): print("A") case .some(.b(true)): print("
![Swiftコンパイラで採用されているパターンマッチの網羅性チェックの理論と実装 - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/a0ccad2bb8f6f7b4b6d9a2639f0910d961fad1c7/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Fadvent-calendar-ogp-background-f625e957b80c4bd8dd47b724be996090.jpg%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9U3dpZnQlRTMlODIlQjMlRTMlODMlQjMlRTMlODMlOTElRTMlODIlQTQlRTMlODMlQTklRTMlODElQTclRTYlOEUlQTElRTclOTQlQTglRTMlODElOTUlRTMlODIlOEMlRTMlODElQTYlRTMlODElODQlRTMlODIlOEIlRTMlODMlOTElRTMlODIlQkYlRTMlODMlQkMlRTMlODMlQjMlRTMlODMlOUUlRTMlODMlODMlRTMlODMlODElRTMlODElQUUlRTclQjYlQjIlRTclQkUlODUlRTYlODAlQTclRTMlODMlODElRTMlODIlQTclRTMlODMlODMlRTMlODIlQUYlRTMlODElQUUlRTclOTAlODYlRTglQUIlOTYlRTMlODElQTglRTUlQUUlOUYlRTglQTMlODUmdHh0LWNvbG9yPSUyMzNBM0MzQyZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZ0eHQtY2xpcD1lbGxpcHNpcyZ0eHQtYWxpZ249bGVmdCUyQ21pZGRsZSZzPTY0MjExNWRkN2JlZDI0Y2MyYTM0ZmM0NDcxMWFjMDE3%26mark-x%3D142%26mark-y%3D151%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwdWtpdGFrYSZ0eHQtY29sb3I9JTIzM0EzQzNDJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9ZDkwOGQ2MzI1ODhlZmNkMDk3YTFiMTkyY2UwOWY5ZTE%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3Dffcd56bd6ac55970a450c8b5661243ba)