Received: from [192.168.123.254] (port=59992 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.92) (envelope-from ) id 1iB0wU-0000cQ-Su for jbovlaste-admin@lojban.org; Thu, 19 Sep 2019 11:14:13 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Thu, 19 Sep 2019 11:14:10 -0700 From: "Apache" To: gleki.is.my.name@gmail.com Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word ekfu -- By gleki Date: Thu, 19 Sep 2019 11:14:10 -0700 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user gleki has edited a definition of "ekfu" in the language "English". Differences: 5,5c5,5 < $x_1$ can be void. Used primarily to fill in arguments of higher-order functions and wrapped into a sumti. Also used as type-signature templates. --- > $x_1$ can be void. Two main interrelated usage cases: 1. wrapped into a sumti and used as a dummy predicate to fill in arguments of higher-order functions with stricter typing of its argument, for which {ekfu} is used. Similar to the concept of object in object-oriented programming. 2. as type-signature template. Old Data: Definition: $x_1$ is the return value of a function without body (with possibly more arguments) Notes: $x_1$ can be void. Used primarily to fill in arguments of higher-order functions and wrapped into a sumti. Also used as type-signature templates. Jargon: Gloss Keywords: Place Keywords: New Data: Definition: $x_1$ is the return value of a function without body (with possibly more arguments) Notes: $x_1$ can be void. Two main interrelated usage cases: 1. wrapped into a sumti and used as a dummy predicate to fill in arguments of higher-order functions with stricter typing of its argument, for which {ekfu} is used. Similar to the concept of object in object-oriented programming. 2. as type-signature template. Jargon: Gloss Keywords: Place Keywords: You can go to to see it.