🌏 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

[hejny]

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

(Describe here)

[cie]

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