Kotlin Contracts

はじめに KotlinにはContractsという、関数の内部動作に関するヒントをコンパイラに提供する機能があります。これにより、コンパイラはスマートキャストや変数の初期化判定をより賢く行えるようになります。通常、コンパイラは関数の内部の実装まで深く解析しませんが、co...