>>574
束縛を明示させるとしても、型の問題と寿命管理の問題は残る

寿命はdownwordなスコープに限定するとしても、
>>540のようなことをしたいのは、結局は
int (*)(const char*)を引数に取る関数に渡すときにアダプタとして使うような
場合だが
(関数型言語のように)free variableをbindした関数と普通の関数を同一視できるか、
同一視できないので、ダックタイピングで逃げるかという形になる