🌏 Linguistically typed languages

[hejny]

There are no types in Promptbook, but we can do this thing quite differently from their point of view. Make a type system from a linguistic point of view.

• Instead of primitives booleans, numbers, strings, symbols,... should be morphemes and lexemes.
• Instead of objects, words, nouns, verbs, adjectives,...
• Instead of complex structures, complex sentence types and structures or literary types like poem, essey,...

But maybe this is a stupid or unworkable idea?

Questions

• How to deal with multiple human languages
• How to check this
• How to do retyping
• What about infinitum

PIP 0002

See promptbook improvement proposal PIP-0002 how to implement this in Book language.

[hejny]

🧪 What we tried, who we asked, is this concept a thing somewhere?

(Describe here)

[cie]

https://en.wikipedia.org/wiki/Attempto_Controlled_English

[hejny]

[🛴]

[hejny]

https://github.com/webgptorg/book/blob/main/pips/pip-0002.md