気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
qiita.com/ukitakaエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
0
記事へのコメント0件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
型システムの理論からみるSwiftの存在型(Existential Type) - Qiita
先日「ジェネリクス勉強会」なるものが開催されていたようで地方エンジニア勢の自分にとってには羨まし... 先日「ジェネリクス勉強会」なるものが開催されていたようで地方エンジニア勢の自分にとってには羨ましい限りだったのですが、ニコニコ動画で一部の発表をみたりTwitterのハッシュタグを眺めていると「存在型」が紹介されていたみたいで、自分のTwitterの観測範囲のSwiftエンジニアの間でもちょっと盛り上がっているように見えました。 この記事では、型システム入門 −プログラミング言語と型の理論− (以下、TaPL)を片手に存在型の理論をSwiftでのコードに結びつけて説明してみようと思います！ TaPLではSystem Fに存在型を加えたものが説明されていますが、この記事ではSwiftでの雰囲気を掴んでもらえるようにするため、一部Swiftっぽい型の表記を使って説明します。 また自分自身も「TaPLを頑張って読んでみようとしている」くらいのレベル感なので、もし間違いや適切でない記述があったらコ
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
qiita.com/ukitaka
qiita.com/ukitaka
qiita.com/ukitaka
qiita.com/ukitaka
smhn.info
dailyportalz.jp
cover-corp.com
grapee.jp
www.techno-edge.net
note.com/simplearchitect
www.itmedia.co.jp
gihyo.jp
k-tai.watch.impress.co.jp
kaden.watch.impress.co.jp
speakerdeck.com/uhyo
qiita.com/ukyo
qiita.com/ukinau
qiita.com/ukitazume
qiita.com/ukiuni@github
qiita.com/uiureo
qiita.com/ukyo
