型システムの理論からみるSwiftの存在型(Existential Type) - Qiita

テクノロジーカテゴリーの変更を依頼記事元:

qiita.com/ukitaka

40users がブックマークコメント

コメント

0

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

型システムの理論からみるSwiftの存在型(Existential Type) - Qiita

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

ブックマークしたユーザー

techtech05212024/01/19
KatagiriSo2021/01/06
tokb2017/07/29
lEDfm4UE2017/07/02
onuki19852017/06/28
makopy_inside2017/06/27
kfurue2017/06/27
fumikony2017/06/26
namidash2017/06/26
wh11e7rue2017/06/26
slay-t2017/06/26
yhara2017/06/26
k2k2monta2017/06/26
kenmitsu2017/06/26
nabinno2017/06/26
tnoda782017/06/26
yfnt2017/06/26
kjw_junichi2017/06/26

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

いま人気の記事 - 企業メディア

企業メディアをもっと読む

設定を変更しましたx