English

Scala におけるコンパイル時論理プログラミング: しかし何のため?

Scala の implicit を用いてコンパイル時に実行する Prolog のようなプログラムが書けることが知られています。コンパイラに朝刊の数独を解かせるのは楽しいものですが、実践のプログラミングにどう役立たせることができるでしょう?

振り返ってみると、我々は型安全性の遵守者としてコードの正確さを型システムを用いて保証することには慣れています。しかし、ドメインが複雑になってくると適切な型を構築するのが億劫になってきます。このトークでは、implicit を利用して上記の型を構築する方法を解説します。

トークの長さ
40分
発表言語
英語
聴衆の対象
中級者: 分野の基礎は分かるが、細かい所は不安
発表者
Daniel Beskin

票中 票投票済み

応募一覧