yomitech
Qiitaで紹介された技術書を、毎週月曜日にメールでお届けします。
登録確認メールをお送りします。いつでも配信停止できます。
バックナンバー
「型システム入門 : プログラミング言語と型の理論」の検索結果: 1冊
型システム入門 : プログラミング言語と型の理論
Swiftに息づくstructural types(構造的型)
本稿は Swift Tweets 2017 Summer( で発表（ツイート）したものをまとめ、Qiita 用に追記・再構成したものです。 当日のツイート全体像は 2017/7/22 swtws Swift Tweets 2017 Summer - Togetterまとめ( を見ると良いかと思います。 はじめに 本稿は、2月のtry!Swiftリジェクトコンで発表したnominal typeについ…
関数だけを使って自然数（チャーチ数）が定義できる
この記事は株式会社LIFULLの数学同好会あなぐま会( アナリストやデータサイエンティストが多いので、「彼らが普段使っているPythonで（普段あまりあまり触れないであろう）コンピュータ・サイエンスの数学とつながる話をしよう」という意図です。実は「圏論の初歩をPythonプログラミングで説明する( 自己紹介 名前: 二宮健（たけし） 所属: AI戦略室データサイエンスG（嶋村さんチーム）
Haskell の好きなところ
はじめに プログラミング言語 Haskell の好きなところをまとめてみました。 この記事をきっかけに、Haskell に興味を持っていただけたら幸いです。 型システム Haskell は強い静的型付け言語です。静的型付け言語のメリットとして、コンパイル時に型検査を行うことでプログラムを実行する前に間違いに気付ける、という点が挙げられます。