- 871 名前：デフォルトの名無しさん mailto:sage [2017/11/27(月) 09:53:28.95 ID:AnhEBxtH.net]
- >>835 「遅くて実用に耐えないが明快で仕様を満たしていることが分かる関数」と
「速いけど複雑で仕様を満たしているか分からない関数」が数学的に等価であることを示せる
あるいは求められている仕様を型として表現することで、その型を返す関数は仕様通りであることを示せる
証明駆動開発は依存型じゃないとできない
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
次世代言語Part7[Go Rust Swift Kotlin TypeScript]
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef