History: Discussion: Type System

Source of version: 1

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

History

Enable pagination rows per page

HTML diff Side-by-side diff Side-by-side diff by characters Inline diff Inline diff by characters Full side-by-side diff Full side-by-side diff by characters Full inline diff Full inline diff by characters Unified diff Side-by-side view HTML diff Side-by-side diff Advanced

Information	Version
Sat 07 of Jul, 2012 21:55 GMT selpa'i from 87.160.137.67	9
Sat 07 of Jul, 2012 21:53 GMT selpa'i from 87.160.137.67	8
Sat 07 of Jul, 2012 21:23 GMT selpa'i from 87.160.137.67	7
Sat 07 of Jul, 2012 21:20 GMT Djeikyb from 70.26.246.250	6
Sat 07 of Jul, 2012 21:10 GMT Djeikyb from 70.26.246.250	5
Sat 07 of Jul, 2012 21:05 GMT Djeikyb from 70.26.246.250	4
Sat 07 of Jul, 2012 15:45 GMT selpa'i from 87.160.137.67	3
Sat 07 of Jul, 2012 15:44 GMT selpa'i from 87.160.137.67	2
Sat 07 of Jul, 2012 15:25 GMT selpa'i from 87.160.137.67	1

Select action to perform with checked... Remove OK