|
|
|
|
|
|
by darepublic
1379 days 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 |
|
|
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.