エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
型システムのアップデート: 研究から開発への移行 by José Valim - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
型システムのアップデート: 研究から開発への移行 by José Valim - Qiita
原文: https://elixir-lang.org/blog/2023/06/22/type-system-updates-research-dev/ 1年前のElixirConf... 原文: https://elixir-lang.org/blog/2023/06/22/type-system-updates-research-dev/ 1年前のElixirConf EU 2022で,私たちはElixirの型システムを研究開発する取り組みを発表しました.動画 報告書 訳註: 報告書日本語訳 この研究は,CNRS 上級研究員の Giuseppe Castagna の指導の下で行われており,Guillaume Duboc が博士課程の研究の一環として担当し,さらに私 (José Valim) が指導しています. この記事は,私たちの取り組みの現状と今後の方向性をまとめたものです. 研究完了 研究中の私たちの主な目標は,Elixir の機能のセマンティクス(意味論)のほとんどをモデル化できる型システムを見つけること,さらに互換性がない,または欠けているとわかった領域についてま