nabeatsu1のブックマーク - はてなブックマーク

Swiftコンパイラで採用されているパターンマッチの網羅性チェックの理論と実装 - Qiita
初めまして、@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("
nabeatsu1 2019/01/25
リンク
Swiftでprotocol型の値がそのprotocol自身にconformしていない理由 - Qiita
protocol Animal { func bark() } struct Dog: Animal { func bark() { print("わんわん") } } func f<A: Animal>(_ animal: A) { ... } // これはOK let dog: Dog = Dog() f(dog) // こっちはNG // error: cannot invoke 'f' with an argument list of type '(Animal)' let animal: Animal = Dog() f(animal) 毎度話題に上がるたびに「で、なんでなんだっけ？」となってしまうので、備忘録を兼ねてQiitaに投稿しておきます！「存在型というものの存在自体は聞いたことがあって、それがSwiftで使われていることもなんとなく知っている」くらいの方を想定して説明
nabeatsu1 2018/11/08
リンク
fatalErrorから復帰させる不思議なSwiftライブラリFortifyを読み解く - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?
nabeatsu1 2018/05/10
“１つはREADMEや紹介記事にかかれている通りサーバーサイドSwiftで使う、もう一つはテストで使うです”

Swift
リンク
1