[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] As Kunsunlundz said... [was RE: RECORD:containers]



la xorxes cusku di'e
>
>I agree with this. The "potential botpi", or "botpi containing
>air" are clearly cop-outs to kid ourselves that we are using
>the language properly, because that is not what we have in mind
>when we use {botpi} for English "bottle". English "bottle"
>corresponds much more closely to the single argument function
>Bottle(x) than to the two valued BottleContaining(x,y), which
>is what {botpi} is. Presumably a fluent Lojban speaker would
>not be influenced by the English keyword and would not tend
>to associate an empty bottle with the predicate {botpi} unless
>for some reason considering potential contents makes sense in
>that context. But we're not there yet.
>
>co'o mi'e xorxes

Well, do we have a Curry operator in Lojban?  For those not up on
mathematical in jokes, treating a function of two arguments F(x,y)
as (F(x))(y) is often referred to as currying, I assume after Haskell
Curry.  Break out the chutney and rice, we're having curried functions
for dinner tonight.

co'o mi'e deiv