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

[Wikineurotic] Wiki page Discussion: Type System created by selpa'i



The page Discussion: Type System was created by selpa'i at 15:25 UTC

You can view the page by following this link:
 
http://www.lojban.org/tiki/Discussion%3A%20Type%20System



***********************************************************


***********************************************************
The new page content follows below.
***********************************************************

I completely agree that Lojban has a type system, and I've treated it that way. In fact, my jvajvo rules rely heavily on sumti types. E.g. the famous {karykla} (without pruning) becomes 

 x1 klama x2 boi x3 boi x4 boi x5 noi karce x6 boi x7

because karce1's type is "vehicle", as is klama5's. Matching up sumti types is the basis for my jvojva.



With that said, I would like to start a discussion about the implementation of a type system

in Lojban.



Some points I'd like to discuss are:

# lo and masses

# Type conversions

# Sets










_______________________________________________
Wikineurotic mailing list
Wikineurotic@lojban.org
http://mail.lojban.org/mailman/listinfo/wikineurotic