この記事は以下のページに移転しました. blog.ryota-ka.me Dhall v3.0.0 がリリースされた.メイジャーバージョンの更新ということで,いくつかの破壊的変更を含む. Version 3.0.0 of the Dhall standard is out: * `Some`/`None` constructors for `Optional` (`Some` performs type inference) * Kind polymorphism (Allows records to store types of mixed kinds) More details: https://t.co/Dln6fFq3FW— Dhall (@dhall_lang) October 16, 2018 Some / None コンストラクタが予約語として導入 Optional 型のコン
![Dhall v3.0.0 がリリースされた - ryota-ka's blog](https://cdn-ak-scissors.b.st-hatena.com/image/square/033fa930be5021b729ea7b71501e8b67eeea8b85/height=288;version=1;width=512/https%3A%2F%2Fgithub.com%2Fdhall-lang%2Fdhall-lang%2Fblob%2Fmaster%2Fimg%2Fdhall-logo.png%3Fraw%3Dtrue)