3 ms·
Ask HN: Why not make English computational, just like LaTeX, to ensure lock-in?
Imagine a version of English extended so that anyone writing for precision—scientists, lawyers, engineers, or anyone documenting complex ideas—uses sentences that embed non-trivial computations. Understanding such text would not just require reading; it would require executing algorithms embedded in the language itself.
Just like LaTeX allows you to write documents precisely and reproducibly, this computational English would make automatic machine translation extremely difficult. Even a small snippet of computation could drastically change the meaning if it is misinterpreted. Over time, anyone who values precision might stick to English by default, creating a global lock-in for formal communication.
Casual conversation could still happen in any language, but for technical writing, legal documents, instructions, or rigorous journalism, computational English could become the universal standard. Its adoption would depend on its ability to guarantee exact meaning rather than ease of learning.
Would this lock-in ensure that English will be the universal language of the world forever, just like LaTeX for scientists?
- jjgreen 9mo agoWhy?
- amichail 9mo agoIf it's a good idea to use a computational typesetting language — namely TeX/LaTeX, then maybe it is a good idea to make English computational also.
- jjgreen 9mo agoI mean why would you want English, a dreadful and ugly language, to be universal? Disclosure: English is my native language.
- amichail 9mo agoBecause it is good enough, widely used, and would make communication easier worldwide.
- JohnFen 9mo agoIt isn't good enough. There's far too much ambiguity and imprecision inherent in the language. Just look at how often it is that native English speakers misunderstand each other. To make English (or any human language) suitable for use as a programming language means you need to very tightly constrain the language -- which would make it less suitable for human communications.
- JohnFen 9mo agoWe already have that stuff. It's generally called "professional jargon". In software development, we even refined it greatly to meet our needs. That's what programming languages are.
- amichail 9mo agoProfessional jargon isn't Turing-complete like LaTeX is.
- JohnFen 9mo agoLaTeX is a programming language. Any attempt to refine english to act like a programming language will just result in a new programming language.
- forgotpwd16 9mo ago>Imagine a version of English extended You mean restrained. More specifically what you're proposing can formally be referred to as controlled natural language with executable semantics. Some attempts similar to this have been Attempto Controlled English and ClearTalk. (And Logos that someone showed here recently.) >text would not just require reading; it would require executing algorithms embedded in the language itself Arguably mathematics is just that. >just like LaTeX for scientists Future doesn't look very bright for LaTeX with Typst getting traction.
- amichail 9mo agoLike LaTeX, Typst is Turing-complete, which prevents flawless imports in other tools. What you want is a document format that is not Turing complete, such as the TeXmacs document format.