次世代言語Part7[Go R ..
871:デフォルトの名無しさん
17/11/27 09:53:28.95 AnhEBxtH.net
>>835 「遅くて実用に耐えないが明快で仕様を満たしていることが分かる関数」と
「速いけど複雑で仕様を満たしているか分からない関数」が数学的に等価であることを示せる
あるいは求められている仕様を型として表現することで、その型を返す関数は仕様通りであることを示せる
証明駆動開発は依存型じゃないとできない
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
1966日前に更新/264 KB
担当:undef