tanru versus lujvo rant

From Lojban
Revision as of 17:11, 4 November 2013 by Gleki (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

MOVED TO:

[1]

Robin's Palm Writings: Category: misc

Navigation: misc Index Robin's Palm Writings Top-Level Index

-GOAL: show examples in similar style for logic and other notations

-replace mekso with bridi, but need some things

-need a NU for math

-use ca'e? for output, as opposed to symbols?: li pa su'i pa du li re =� li? ni'ai sumji li pa li re du li re == li? sumji be li pa bei li pa du li re

- ni + ce'u works, although not with li, but that's probably OK -- kpried doesn't like ni; ni'ai for now

- le/lo + se to output place also

- lo / le distimction might have interesting side effects?

- so: li pa su'i pa du li re == le ni ce'u sumji li pa li re du li re == le sumji be li pa bei li pa du li re

- need something else for theorem: su'u seems about right

- need something else for symbols. Perhaps steal me'o? Also: le sinxa be lo su'u sumji li pa li pa. Or maybe just use la'e lu...li'u?

-la'a expand li to include selbri

- would probably need a terminator

-not sure it buys us anything exvcept syllables

- how deal with leading args? "li re sumji li pa li pa"? "li li re sumji"?

-nesting, either with be or ni'ai: li pa su'i vei pa su'i pa du li ci = li ni'ai li pa ziljmina li ni'ai li pa ziljmina li pa kei ca'e du li ci = li te ziljmina be li pa bei li te ziljmina be li pa bei li pa du li ci

-gets a bit hairy; perhaps better to make li'ai = li ni'ai and ma'e = la'e ni'ai or something

-save us nothing over le ni

-sumji: le ni sumji li pa le ni sumji li pa li pa -- le sumji be li pa bei le sumji be li pa bei li pa

-would want new gismu, la'a also try to grab some single syllable cmavo

-vei = li'ai (= le ni), ve'o = vei gi'ai

-MOI for function names; fy moi'oi

-what else turns things into selbri?

-me - will it work here? - should

Philosophy

-disads: extra syllables. 1? + 1 for each bare number + 2? for each nesting (RPN or not)

-adv: less things to memorize; ordering of bridi well understood

-mekso fails at goal #1: if you read off a mathematical expression into mekso, you will *not* get the same calculation without a *lot* of effort

-RPN is lost here (but see the consumption markers in the RPN notes), because RPN requires a fixed number of arguments, with the number known in advance, but the Lojban RPN implementation has always been a hack, because of the "exactly two arguments" thing.