These are chat archives for scalajp/functional

20th
Oct 2016
Kaz FUNAKOSHI
@imunolion
Oct 20 2016 04:48
@xuwei-k ありがとうございます.
なるほど,そういう意味だとJavaから呼び出すには明示的implicitパラメータを補完してやる必要があるわけですね.つまり証明そのものを書かなくてはいけなくなる,と….具体的には,自作のライブラリ側で,型レベル自然数の制約を使いたかったのです.Javaから使いたい動機は,Javaしかわからない開発者を,開発するライブラリの受益者に入れてよいか,を判断することが目的です.そういう開発者はきっと明示的に証明を書くことはできないと思えば,ほぼスコープから外れますね.