エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Typed Clojure の型システムを理解する - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Typed Clojure の型システムを理解する - Qiita
この記事は Clojure Advent Calendar 2016 の14日目の記事です。 今年開催されたシンポジウム ESOP 2016... この記事は Clojure Advent Calendar 2016 の14日目の記事です。 今年開催されたシンポジウム ESOP 2016 で、Typed Clojureの型システムについて述べた論文 "Practical Optional Types for Clojure" [1] が発表されました。本記事では、この論文で定義されている Typed Clojure の型システムを簡単に紹介したいと思います。 Typed Clojure 入門 Typed Clojure は、動的型付け言語であるClojureに静的型付けの型システムを導入したものです。"オプショナル型システム" を標榜していることから分かるように、静的型検査をプログラムのどの部分に適用するかはプログラマが選択することができます。そのため、プログラマは動的型付け言語の柔軟性と静的型検査によりもたらされる安全性との両方を享