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

Re: lojban as a programming language [was Re: [lojban] Lojban for lay programmers]



   > This is where Lojban begins to illuminate programming questions, but
   > as Tommaso Toffoli says:
   >
   >     ... Perhaps its greatest scientific challenge will be not to
   >     confuse the needs and resources of this specialized community with
   >     those of the larger community it addresses.

   Erm, I'm having trouble parsing out the intended meaning of that 
   sentence out of context. 

My apologies.  The context is that of non-programmers.  The fear is
that we will do what I and you want to do, which is focus on issues
of Lojban, and forget others.

   There is a tension between three factors: formalism, expressiveness, and 
   facility. 


Please keep on with this!  I look at myself as being a person bringing
something new to a group who may not care about Lojban but who might
have funding and motivation, which makes this process more than a mere
dream.  

The problem as I see it, is the group will be mostly `old line'
computer people who don't care about speakable languages such as
Lojban.

It is worth figuring out the problems with Lojban as a programming
language (or as many programming languages), since some of these
people will know much more about programming than I and will
immediately think of the problems ... but they will not the benefits.

Indeed, I have a request:  please come up with every problem you can
think of (as well as every advantage).  

Although I expect my level of knowledge will be just right for this
event, I like to have all the `ammunition', to use another metaphor,
that I can have.


   The language should be clean and formally correct,  ...(but as a 
   consequence, expressing interesting things is amazingly verbose). 

Yes, and people, especially programmers, hate the verbose.

   lojban's syntax is arguably a good balance between formalism, 
   expressiveness, and facility. The trick is to get the semantics to be 
   the same.

I agree -- but to convey that thought -- that is more difficult...

   No - don't break one word == one meaning. Computers will want that 
   anyway.  Go through a revision process for the semantics - prototype, 
   ....

OK.  At this stage, I don't think we will get beyond the concept of a
`prototype' anyhow.  (In this case, I used two different meanings of
`prototype', the one being something `you can start from' and the
other being something `that a programmer thinks is very much a
beginning'.)

-- 
    Robert J. Chassell                  bob@rattlesnake.com
    Rattlesnake Enterprises             http://www.rattlesnake.com