I am building a conlang that is heavily based on the Haskell programming language, and I was thinking about how sentences work. Let me call this conlang Jeksa for the moment.
Jeksa models every sentence as an action to modify the real world — Haskell's RealWorld
, aka the state of the IO
monad.
Then I found that every sentence is a command, at least under this model. In addition to usual imperatives, declarative sentences are commands to let them know, and interrogative sentences are commands to let them tell. To demonstrate:
[Usual sentence] One plus one equals two.
[In this model] You gotta know that one plus one equals two.[Usual sentence] Does one plus one equal three?
[In this model] You gotta tell me whether one plus one equals three.[Usual sentence] Who told you that BS?
[In this model] You gotta tell me who told you that BS.
To paraphrase, declarative sentences are attempts of modifying the listener's knowledge, and interrogative sentences are requests to fetch the listener's knowledge.
However, I've never seen a natural language that actually goes well with this model. Is there any?