Dhall の Prelude を眺めていて見付けた，ランク2多相を使ったテクニックを紹介する．

引数で受け取った値を通じてのみ値を構築することを強制するランク2多相を使ったテクニック

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 …

Dhall v3.0.0 がリリースされた

こんにちは．Kubernetes 班の ryota-ka です。皆さん Kubernetes やっていますか？*1 Kubernetes をやっていこうとすると，大量の YAML を書くことになって大変である．大量の YAML を書くことは大変なので，大抵コピペする．コピペをするが，コピペは怖い．…

Dhall で Kubernetes の YAML 管理をスマートにやっていく