Received: from localhost ([::1]:36749 helo=stodi.digitalkingdom.org) by stodi.digitalkingdom.org with esmtp (Exim 4.76) (envelope-from ) id 1SnWss-0005xr-Ch; Sat, 07 Jul 2012 08:25:22 -0700 Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:35715 helo=digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.76) (envelope-from ) id 1SnWsp-0005xJ-3G for wikineurotic@lojban.org; Sat, 07 Jul 2012 08:25:20 -0700 Received: by digitalkingdom.org (sSMTP sendmail emulation); Sat, 7 Jul 2012 08:25:18 -0700 From: "Apache" Date: Sat, 7 Jul 2012 08:25:18 -0700 To: wikineurotic@lojban.org X-PHP-Originating-Script: 48:htmlMimeMail.php MIME-Version: 1.0 Message-ID: X-Spam-Score: 2.0 (++) X-Spam_score: 2.0 X-Spam_score_int: 20 X-Spam_bar: ++ X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: 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 [...] Content analysis details: (2.0 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.6 RCVD_IN_BRBL_LASTEXT RBL: RCVD_IN_BRBL_LASTEXT [173.13.139.235 listed in bb.barracudacentral.org] 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS Subject: [Wikineurotic] Wiki page Discussion: Type System created by selpa'i X-BeenThere: wikineurotic@lojban.org X-Mailman-Version: 2.1.14 Precedence: list Reply-To: webmaster@lojban.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Errors-To: wikineurotic-bounces@lojban.org 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