24/06/27 12:10:53.54 5uVBistr.net
>>293
ある式の型を変更したときの要修正箇所を洗い出す方法は、一般には
1. 代入によって生じる依存関係のツリーを作る
2. ツリーの中で修正の必要な箇所を特定する
となるだろう
で1については251の言ってるように静的型であれば最適解析によって高い精度で比較的容易に作成可能だ。
2は静的型なら型の不整合によるエラーは検出できるから、完全ではないにしろ作業は多少楽にはなるだろうな。
24/06/27 12:10:53.54 5uVBistr.net
>>293
ある式の型を変更したときの要修正箇所を洗い出す方法は、一般には
1. 代入によって生じる依存関係のツリーを作る
2. ツリーの中で修正の必要な箇所を特定する
となるだろう
で1については251の言ってるように静的型であれば最適解析によって高い精度で比較的容易に作成可能だ。
2は静的型なら型の不整合によるエラーは検出できるから、完全ではないにしろ作業は多少楽にはなるだろうな。