I was thinking of an idea for a new conlang. It's still at the bare minimal stage right now, but here's the basic idea.
For a background of the concepts, read my other blog entry about functionals and combinators
I was thinking it would be neat if there was a language that would use combinatory logic to form meaning in the language. This language would have an inflecting nature and new words would be formed by combining other words in such a way that a verb is specific to the type of objects it operates on and can create sentences by doing function composition
so, for example, a sentence like "I am giving this to her" the sentence can be thought of in classical lambda calculus as give (I this her) . I give this to her
or in other words, a verb give, that takes three arguments, specifically I, this, and her.
now with currying, you can convert this into a function composition, something like...
give_to_her(transfer_this(I)) in which case two verbs "transfer_this" and...
[ Continued ]