Semantic integrity checks are the next generation of semantic versioning

Semantic integrity checks are the next generation of semantic versioning The Dhall configuration language just added support for "semantic integrity checks". This post explains what "semantic integrity check" means, motivates the new feature, and compares to semantic versioning. The problem I added this feature in response to user concerns about code injection in Dhall configuration files. We'll i

[ruicc]

項のNormal formをハッシュ化して埋め込んでおくと悪意ある変更に対して強い。またβ同値の範囲でリファクタリングしてもハッシュは変化しない。チューリング完全じゃないからNFは計算で求まる。