17/12/17 02:32:17.52 Hi83U6qj.net
>>339
> 代数的に適用すれば安全にコードを変えられるテクニックの事だろ？
> リファクタリングって頭空っぽにして代数的に適用すれば安全にコードを変えられるテクニックの事だろ？
> なんで時間がかかるとか難しいとか話しが出てるんだ？
代数的に適用するためには、十分な情報が必要だからだよ。
例えば２つの数値の掛け算の答があったとする
その答から、なんとなんの数値の掛け算かを求めるのは大変
答が複数あることもあるからだ
だけどそのうちひとつの数値がわかっていれば、答はすぐに分かる
型にも同じ話が言える。静的型付け言語の場合は、変数に型が定義されているから
そこから代数的に安全にコードを変えられるテクニックが使える
だけど型がわからなければ、そこから代数的に安全にコードを変えられるテクニックが使えない。
だから時間がかかる。一部の人はそのことを”できない"と表現しているがj。
それは違う。いくつもの可能性を検討して、これだ！と安心できるまで時間がかかるのだ。