From 18afbf8217d4505b6580ad051b5cabc22f59246c Mon Sep 17 00:00:00 2001 From: halw Date: Mon, 20 Aug 2012 14:09:31 +0000 Subject: [PATCH] Initiative to replace "Eiffel language" and similar with "Eiffel programming language" Author:halw Date:2012-08-20T14:09:31.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1137 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/current/solutions/basic-computing/eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki b/documentation/current/solutions/basic-computing/eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki index 64c95c8f..83de276a 100644 --- a/documentation/current/solutions/basic-computing/eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki +++ b/documentation/current/solutions/basic-computing/eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki @@ -250,7 +250,7 @@ Other features under consideration include: ==What have we gained?== -First we have solved the only case in the Eiffel language in which an expression has no precisely defined type: polymorphic manifest arrays. We don't have manifest arrays any more, but manifest tuples, with a precisely defined type. No incompatibility is introduced thanks to rule CONF2. The original syntax for manifest arrays, Result := <>, will continue to be supported.
+First we have solved the only case in the Eiffel programming language in which an expression has no precisely defined type: polymorphic manifest arrays. We don't have manifest arrays any more, but manifest tuples, with a precisely defined type. No incompatibility is introduced thanks to rule CONF2. The original syntax for manifest arrays, Result := <>, will continue to be supported.
Second, we can define functions that return multiple results. This is a quite significant increase in expressive power. No common language has that. (You have to go to Lisp and functional languages.) Just define TUPLE [...] as the result type; in the function, you will write things like Result := [e1, e2, ..., en]