Personal tools


From HaskellWiki

Revision as of 20:03, 7 August 2006 by EndreyMark (Talk | contribs)

Jump to: navigation, search


1 Introduction



See its official homepage here.

Wikipedia article on Lojban.

2 Analogies of combinatory logic combinators



Somebody sells something to sombebody for some price
x1 predicate x2 x3 x4

A little vocabulary:



I sell this to you for some price.
do cu vecnu ta mi zo'e vau
x1 predicate x2 x3 x4

cu and vau are separators (and they are optional). zo'e is only a place-keeper: the argument whose place is fiiled in by it is not specified.

3 Filipping

That is sold by you to me for some price
ta cu se vecnu do mi zo'e vau
x1 predicate x2 x3 x4

Coparing vecnu and se vecnu, it is of taste mathbfC combinator of combinatory logic. Comparing structure:

x1 cu predicate x2 x3 x4 vau
do vecnu ta mi zo'e
ta se vecnu mi

4 Repeating

Words mi, do correspond to Enlish personal pronouns I (me), you. Lojban has other simi;ar words, e.g. ri. Word ri can be regarded as an argument (of the prediate) which repeats the previous argument.

Somebody talks to sombebody about something in some language
x1 predicate x2 x3 x4

A little vocabulary:

la lojban.


I talk to you about the Lojban language in Lojban
mi cu tavla do la lojban. la lojban. vau
x1 predicate x2 x3 x4


Mi cu tavla do la lojban. ri vau

I think, it is more imperative solution, that the \mathbf W combinator of combinatory logic, but in this case, it has the same effect. If Lojban used combinators, I should write:

\mathbf W(Mi cu tavla do) la lojban.

\mathbf W could be used for avoiding the many-many reeating zo'e words (of course, if Lojban used combinators):

I talk.


mi cu tavla zo'e zo'e zo'e vau

What could help us in lambda calculus?


mi cu (\left(\lambda f x . f x x x\right) tavla) zo'e vau

In combinatory logic, \mathbf W^2 makes that:

mi cu (\mathbf W^2 tavla) zo'e vau


5 References

Todd Moody: Lojban in Perspective

Available from here, part of Lojban's official homepage