I've heard of something called "Nimaudo" (I think) for reading math notations directly, but I haven't been able to find out much about it. It's similar to mekso, but may work better (better than bad is not necessarily good, though).
On Mon, Feb 14, 2011 at 1:54 AM, Alex Rozenshteyn
<rpglover64@gmail.com> wrote:
The simplest way for me to ask my question is to use a haskell analogy: does lojban allow maps, folds, infinite lists, list/set comprehensions?
Alternatively, how would I say these:
The ordered sequence of [1,2,3...].
The ordered sequence which results from doubling every term in the above. i.e. map (*2) [1..]
The sets corresponding to the sequences above.
The first 10 terms of the sequence [1,2...].
The sequence [1,2...10].
The sequence [1,3,5...9].
The sum of the above sequence.
The product of the sequence 2 above.
f(x,y) = (x+y)*y. (I'm fairly certain I know where to look for this in CLL, but I'm including it for completeness)
foldl f [1..4]. (with f as defined above)
[x^2 | x <- [1..]]. (the list comprehension)
{x^2 | x is an element of the natural numbers}. (the set comprehension)
I'm sure there are a few more that I haven't thought of.
Also, anyone knows a simple math textbook or reference in lojban (that is, teaching math in lojban, not teaching lojban for math), I'd love to see it.
--
--
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.