|
|
|
|
|
by ntr--
1378 days ago
|
|
I think what other commenters are getting at is that at some point you won't be interested in * manipulating lists with functional programming
* manipulating lists with OOP
* manipulating lists with a non memory managed language
* manipulating lists with a hard type safe language and will start being interested in
* guiding people to manipulate lists as simply as possible to MAKE SOME MONEY |
|
Proof languages, dependent types, other category theory -inspired abstractions... For example I've been really enjoying reading this journal lately: https://www.cambridge.org/core/journals/journal-of-functiona...