|
|
|
|
|
by l_dopa
4065 days ago
|
|
This is a really important point that I'm not sure I've seen before in a discussion about the adoption of FP. You're completely right, but I can't imagine FP language advocates would get very far by leading with the history of type theory. |
|