はてなブックマーク

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で使われていることもなんとなく知っている」くらいの方を想定して説明

初めまして、@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("

先日「ジェネリクス勉強会」なるものが開催されていたようで地方エンジニア勢の自分にとってには羨ましい限りだったのですが、ニコニコ動画で一部の発表をみたりTwitterのハッシュタグを眺めていると**「存在型」**が紹介されていたみたいで、自分のTwitterの観測範囲のSwiftエンジニアの間でもちょっと盛り上がっているように見えました。 この記事では、型システム入門 −プログラミング言語と型の理論− (以下、TaPL)を片手に存在型の理論をSwiftでのコードに結びつけて説明してみようと思います！ TaPLではSystem Fに存在型を加えたものが説明されていますが、この記事ではSwiftでの雰囲気を掴んでもらえるようにするため、一部Swiftっぽい型の表記を使って説明します。 また自分自身も「TaPLを頑張って読んでみようとしている」くらいのレベル感なので、もし間違いや適切でない記述があ

スマフォwebページのスライドメニュー アプリでは当たり前のように実装されているスライドメニューですが、webページではなかなか使い心地のよいスライドメニューが実装されているのは見かけません。 スマートフォンのブラウザではjavascriptでのアニメーションはどうしてもガタガタになってしまうし、ちらつきやスクロール制御のめんどくささからもうwebページでネイティブアプリ並のスライドメニューを実装するなんて無理と思っていました。 Facebookのwebページですらボタンの反応は悪いしアニメーションも動かないし最悪です。 一方Google先生はパーフェクトなスライドメニューを実装していた さすがGoogle先生！ 俺達に出来ないことを( Googleのスライドメニューは以下の点でパーフェクトです。 スライドのアニメーションがとても滑らか・ちらつかない ボタンの反応にストレスを感じない メイ