18/08/14 11:13:08.46 uRfTlc4z.net
>>153
Javaだって最近になってLambda関数は導入されたから、SchemeのminiKanrenが容易に移植できた。
しかし、今の所はJavaで定理証明はまだ出来ない。
そのうちJavaで定理証明が出来るようになるまでここが最大の違い。
なぜってプログラムの関数を定理証明しながら書けば、間違いなくバグフリーだから。
古い言語の最大の弱点だろうね。
18/08/14 11:13:08.46 uRfTlc4z.net
>>153
Javaだって最近になってLambda関数は導入されたから、SchemeのminiKanrenが容易に移植できた。
しかし、今の所はJavaで定理証明はまだ出来ない。
そのうちJavaで定理証明が出来るようになるまでここが最大の違い。
なぜってプログラムの関数を定理証明しながら書けば、間違いなくバグフリーだから。
古い言語の最大の弱点だろうね。