2 ms·
> They are attempts like Esperanto and other artificial languages like that and I think any attempts at 'codification' of maths to use some programming language
by darepublic 4y ago
> They are attempts like Esperanto and other artificial languages like that and I think any attempts at 'codification' of maths to use some programming language has the same chance of success of wide adoption
Aren't existing programming languages already types of codified artificial math dialects which have seen wide adoption
- nequo 4y agoThat’s a good point. Programming languages are more for humans than for computers. Otherwise we’d be writing our programs in 1s and 0s, and extending our editors in Emacs Binary and VSCode BinaryScript.