Scala プログラマは型が大好きです。なぜなら、型はコードを明快かつ安全にしてくれるからです。しかし、残念ながら型にも限界があり、起こりうる全てのミスを防ぐことはできません。
このトークでは、Scala コードの検証ツール Leon を紹介します。Leon は Scala コードを分析し、潜在的なバグを見つけて反例を報告するところまで、全てコンパイル時に行います。Leon はユーザが与えたアサーションをチェックして、実行時にクラッシュが発生しないことも保証します。トークでは Leon を使ったライブコーディングを行い、コンパイルさえ通れば本当に動作することを最終的に確認する方法をお見せします。
票中 票投票済み