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

Re: [lojban] rp-expression-tail ordered choice with empty grouping

On Wed, Nov 24, 2010 at 09:08:58AM -0700, .alyn.post. wrote:
> On Thu, Nov 25, 2010 at 12:46:54AM +1100, Ross Ogilvie wrote:
> >    As promised [1]https://github.com/RossOgilvie/meksygerna I'm
> >    a git noob (only learnt it today), so let me know if it's not
> >    public accessible or otherwise misconfigured.
> > 
> >    The main part of my version of mekso is in the txt file. A
> >    poorly written brain-dump is in the README file. Questions,
> >    comments and criticisms welcome.
> > 
> >    Addressing the question of backwards: I've removed the
> >    restriction that RP expressions have exactly 2 arguments, so
> >    this creates a little problem fu'a 1 2 3 + x = (1 ( 2 3 +) x)
> >    = 5 OFFICIAL LOJBAN 1 2 3 + x = ( (1 2 3 +) x) = 7 MY MEKSO
> >    Given the little volume of RP though, I don't think it's a
> >    big deal. I haven't noticed any others, though they probably
> >    exist.
> > 
> >    The rest of the folder is a simple parser I wrote for it. The
> >    code is all handwritten and pretty messy. I've compiled a
> >    working version in bin/Release. It's .Net 3.5
> > 
> >    mi'e ros
> > 
> 
> This is really interesting, though I don't feel qualified to weigh
> in on the utility of it: I haven't studied this part of the
> language yet.  I'm left wanting to hear opinions from people more
> familiar with mex.

Here's one: mex is a crock and should die in the arse; see
http://teddyb.org/robin/tiki-index.php?page=Lojban%2C+Math%2C+mekso%2C+and+bridi+cmaci&no_bl=y

As far as I know, everyone who has written more than a few dozen
words of non-trivial mex (i.e. tried to write a math proof in it)
agrees with me, except maybe Nick.

-Robin

-- 
http://singinst.org/ :  Our last, best hope for a fantastic future.
Lojban (http://www.lojban.org/): The language in which "this parrot
is dead" is "ti poi spitaki cu morsi", but "this sentence is false"
is "na nei".   My personal page: http://www.digitalkingdom.org/rlp/

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.