3 ms·
I believe the statement GP made has been true since the days of Church. It is not surprising that "what's the difference between your language and mine" will y
by pyrale 6y ago
I believe the statement GP made has been true since the days of Church.
It is not surprising that "what's the difference between your language and mine" will yield an answer that is different than what you'll get if you ask "what is that concept you're trying to build a language after?"
- acdha 6y agoThat might be pointing out an important distinction: did you learn this formally from that academic community or elsewhere? As a global assertion it’s wrong but it could be accurately representative if you’re only talking about subcommunities in the former case.
- pyrale 6y agoI have made another comment in this thread where I make a distinction between what people _try_ to achieve, and what tradeoffs they make on the way. You are right that most functional languages do not have pure and total functions. However, the inspiration they take from is usually the pure/total functions as described above.