The Expression Problem (Philip Wadler)

[ubugeeei]

Oberview

この言葉はライス大学が発祥だそう。(ヒューストンの名門)

ざっくりまとめると、

• パラダイムの長短を議論するための言葉
• 「静的型付き言語で、再コンパイルをせずに新しいデータ型や関数を追加できるようにするにはどうしたらよいか」という議論で、各パラダイムがどうか、という議論

OOP vs FP

この問題に対する OOP と FP の対比は

OOP

:+1: データ型を追加するのが容易 :-1: 関数を追加するには既存のクラスに変更を加える必要がある

FP

:+1: 関数を追加するのが容易 :-1: データ型を追加するには既存の関数に変更を加える必要がある

と言った感じの議論。

参考

wikipedia

発祥となったメール?

Expression ProblemにおけるOOPと関数型の対比について (Arantium Maestum)

The Expression Problem and its solutions (Eli Bendersky's website)

Expression_Problem (mrsekut-p)