February 2017 - Oberon - mailman3.inf.ethz.ch

Modulus on negative number
by Srinivas Nayak 15 May '17

15 May '17

Dear All, Recently I come across modulus on a negative number. Will it produce a negative number or positive? Someone says both are correct! http://stackoverflow.com/a/4403556 Which one is mathematically correct? Surprisingly different languages calculate it differently even! What is Oberon's way? With thanks and best regards, Yours sincerely, Srinivas Nayak Home: http://www.mathmeth.com/sn/ Blog: http://srinivas-nayak.blogspot.in/

9 17

Source code browser in NO
by Srinivas Nayak 25 Mar '17

25 Mar '17

Dear All, Do we have any source code browser in NO? I see we have Definitions browser in NO. Using Watson, if we create *.Def and *.Def.html, we can browse through Definitions. Anything similar for source code? With thanks and best regards, Yours sincerely, Srinivas Nayak Home: http://www.mathmeth.com/sn/ Blog: http://srinivas-nayak.blogspot.in/

4 5

Re: [Oberon] Re (2): Detecting whether a Text is a module source.
by John R. Strohm 05 Mar '17

05 Mar '17

Boyer-Moore string search algorithm? --- peter(a)easthope.ca wrote: From: <peter(a)easthope.ca>, Bob Walkden <bob(a)web-options.com> To: <oberon(a)lists.inf.ethz.ch> Subject: [Oberon] Re (2): Detecting whether a Text is a module source. Date: Sun, 29 Jan 2017 16:10:59 +0000 > According to the EBNF for O7, the smallest legal module ... OK, thanks. Will keep in mind for later. For now I'm concerned only with detecting the presence of a word in a text; not with conformity to a syntax. What is efficient code to find whether the word "Jaguar" is present in a text for example? There are many ways of varying efficiency. A compiler must have a solution but I'm unlikely to recognize it. Can anyone give a code example or direct me to one? Thanks, ... Lyall E.

10 17

Oberon for Cortex-M7
by Chris Burrows 01 Mar '17

01 Mar '17

> > > > From: Oberon [mailto:oberon-bounces at lists.inf.ethz.ch] On Behalf Of > > Ken Boak > > Sent: Monday, 18 January 2016 7:29 PM > > To: oberon at lists.inf.ethz.ch > > Subject: [Oberon] Availability of OberonStation > > > > > Finally, and perhaps best addressed to Chris Burrows - I see that > > you have produced packages for the ARM M3 and M4 Cortex - mainly NXP. > > Do you have any aspirations to port to Cortex M7 - such as the $50 > > STM32F7 Discovery Platform - which has a great selection of useful > > hardware on-board? > > > > The STM32F7 Discovery Platform seems to me to be more a miniature PC than > a high-power embedded system. While we remain focused on supporting > embedded systems we are unlikely to be targeting it, > One year later and with the encouragement and help from a couple of Astrobe users we have had a change of heart. Astrobe can now be used to target the ARM Cortex-M7 STM32F7 family: http://www.astrobe.com/forum/viewtopic.php?f=3&t=519 One of the boards we support is the STM Nucleo-144 F767ZI board. https://developer.mbed.org/platforms/ST-Nucleo-F767ZI/ This has a 216 MHz clock, hardware floating point, 2Mb Flash, 512K RAM, Arduino Uno connectivity etc. etc. for less than $25! Being 'mbed enabled' it appears as a USB drive when connect to a PC so can be programmed just by copying the executable file to the drive. Regards, Chris Burrows CFB Software http://www.astrobe.com

3 4

Class Methods Vs. Procedure variables in Records
by Andreas Pirklbauer 01 Mar '17

01 Mar '17

Great additional remarks, Josef. With respect to the „Draw“ editor, developed by Prof. Wirth at ETH, and which is available at www.inf.ethz.ch/personal/wirth/ProjectOberon/Sources/Draw.Mod, let me add a few additional remarks: This editor effectively combines the two main styles of OOP usually put forward: (1) installing procedures (called „methods“ in OOP terminology) in procedure-typed record fields in extensible records and (2) sending „messages“ in the form of extensible records passed as VAR parameters to installed “handler” procedures, which then procedes by executing through a cascaded IF statement to distinguish between the various messages types (which are typically extensions of some base type). The refined technique used in the Draw editor is to include only a *single* field (called „do“) in *each* record instead of multiple fields, such as draw, move, copy, etc. This “do” field is simply a pointer to a method record containing the actual methods declared for the base type, which is generated when a new object type is created, typically in the initialization sequence of the concerned module. This is nicely illustrated in module Graphics.Mod, which is used by the Draw editor, and which can be found at www.inf.ethz.ch/personal/wirth/ProjectOberon/Sources/Graphics.Mod There, we find the following type definitions: TYPE ObjectDesc* = RECORD x*, y*, w*, h*: INTEGER; ... do*: Method; (*the pointer to the method table*) next: Object END ; MethodDesc* = RECORD (*the method table itself*) module*, allocator*: Name; new*: Modules.Command; copy*: PROCEDURE (from, to: Object); draw*, change*: PROCEDURE (obj: Object; VAR msg: Msg); ... END ; Then, in the module initialization code of module Graphics.Mod, the “method table” needs to be set up once, which is simply done as follows: NEW(LineMethod); LineMethod.new := NewLine; LineMethod.copy := CopyLine; LineMethod.selectable := LineSelectable; LineMethod.change := ChangeLine; LineMethod.read := ReadLine; LineMethod.write := WriteLine; And, finally, when a new object is created, a pointer to this one record (LineMethod in the above example) is assigned to the “do” field of the new object descriptor: PROCEDURE NewLine; VAR line: Line; BEGIN NEW(line); new := line; line.do := LineMethod END NewLine; With this simple setup, a method call simply has the form obj.do.write(obj, R) . So here you have your „method table“ - it corresponds exactly to the method table used in Object Oberon or Oberon-2... but is programmed „by hand” so to speak. We note that the approach used in the Draw editor eliminates the need for (multiple) individual method fields in each object record as well as the cascaded IF statement for discriminating among the message types. And yet it allows further addition of new methods for later extensions without the need to change the object's declaration. A note regarding performance: Because of the fact that the offsets to the methods are now known *at compile time* (by virtue of their known position within the method record), the compiler can generate efficient code for the „method call“, namely as follows: first you dereference obj.do to get to the method table (indirection #1), and then you dereference obj.do.write to get the actual method (indirection #2). Easy. So this really works *exactly* like the method table in Object Oberon or Oberon-2, except that the underlying mechanism is now made explicit and fully visible in the source code (vs. hidden as in Oberon-2 and Object Oberon). This of course not only means rather efficient upcalls, but also much greater flexibility. And it shows that “classes” (introduced by Object Oberon) and “type-bound procedures” (introduced by Oberon-2 in its attempt to eliminate the class concept) can be viewed as a kind of “syntactic sugar” – and indeed, everything can be programmed “by hand” in Oberon-1, as shown in the Draw editor. So this way of using OOP effectively muted the „performance argument“, which was all about more efficient upcalls in the “class-centered” view, and which was one of the three main arguments put forward by the proponents of the “class-centered view” (Object Oberon and Oberon-2 camp around Prof. Mössenböck), as outlined in my post from January 3. The other two reasons were a somewhat more convenient notation (you write v.handle(M) instead of v.handle(v, M) and increased security (by guaranteeing that all objects indeed have their handlers installed and also that they are the same for all objects). But again, the main argument *in favor* of the “instance-centered view” (represented by Original Oberon camp around Prof. Wirth) was not increased performance (an argument that is now muted anyway), more convenient notation or increased security, but the simple fact that the OOP style – and therefore upcalls – should be used only when needed, i.e. it should be rare. The basic point was that upcalls should be used sparingly, and so the question remained open whether the (remaining) arguments of notational convenience and increased security justify the conceptional complication in those few cases where OOP is used. It was – righty – added that one should not go crazy about classes and methods. Not everything is a class. Smalltalk went too far. A final comment on the discussions that took place at ETH Zurich in the early 1990s regarding OOP. I always found it a pity that the particual way of using the OOP shown in the Draw editor, has not been more widely “marketed” in the academic and industrial community, e.g., in courses or in text books. Even today, most books still focus on the two “basic” methods for doing OOP, namely: installing procedure handlers and message passing - without pointing out the subtleties and flexibility offered by the approach employed in the Draw editor. It’s a kind of failure in education. The discussion that went on in the early 1990s were unique for several reasons: First, the fact that they took place at all – one could have simply followed to “industry trend” towards Smalltalk and C++ (remember that Java was not even in the picture back then..). Second, the fact that they were carried to the larger student body during the weekly recitation sessions typically led by the assistants of Profs. Wirth and Mössenböck. Very often, a sentence in such a session would begin with the words: “But Prof. Wirth contends that .. [blah blah] .. is not really necessary, because .. [very profound statement] .. On the other hand, Prof. Mössenböck says that .. [blah blah] .. may be really useful. Now, I want YOU to develop an informed point of view and articulate a valuable contribution to this hot discusssion..”. It was a good time to be at ETH, and the education was (arguably) better than anywhere else - precisely *because* the folks there did not simply adopt the academic or industry mainstream (which mostly consisted C++ at the time), but made everyone not only deeply think about the core issues, but also *challenge* them. It was required. But one must be honest. Oberon did not become mainstream. Period. By 1995, when Java arrived, the debate was over and the proverbial last nail was finally put in Oberon’s coffin - the jewel was lost (for now). This affected the personal decisions of a great number of people. Personally, when I saw in the early 1990s that Oberon was not going to become mainstream, I completely lost interest in it for over two decades. I was not even thinking about following the Oberon-2 group that had formed around Prof. Mössenböck to the town of Linz (although I am from there originally), but went to MIT and later Silicon Valley instead. This was a true “cultural shock” to say the least!! But at least it was mainstream, and that’s really where the action is happening – however imperfect it might be. All major technologies now come out of Silicon Valley. But at least many ideas that were already mainstream in the “golden Oberon era” are now making it into modern-day languages: strong type safety with *no* exeption whatsoever (not even type inclusion which was a bad idea to start with when it was introduced – and later discarded – in Oberon-1), the module concept done right (i.e. with type checking across module boundaries), a sound language definition based on mathematical principles, etc. Witness the “Swift” programming language for example and in particular the “Swift evolution” project. However, the process there is slow and – very - tedious. I feel I’m just waiting for everyone to catch up. But the main crux always critized by Prof. Wirth remains: these languages are still too complex. Why again are there separate concepts for structs (=records), classes (=pointers to records), modules, and protocols, and extensions, and and .. in Swift, when exactly two would do (records for data structuring and modules for information hiding)? With the revival of Oberon in 2013 and the availability of emulators running on modern-day machines, it has become possible to play with Oberon again. So let’s hope that more ideas will “spill over” to the “real” world. Eventually anyway.. Andreas -------- Josef Templ josef.templ at gmail.com Wed Jan 4 14:11:32 CET 2017 Excellent summary by Andreas. In addition I would like to point out that the motivation of moving from Object Oberon's class syntax to the Oberon-2 syntax was to avoid many forward references. The other motivation was of course to make the syntactical differences smaller by removing additional keywords. The overall compiler changes for Oberon-2 were smaller than for Object Oberon, if I remember correctly. In later Oberon extensions such as BlueBottle and A2 the problem with forward references has been solved by substantially rewriting the parser but I don't know the details of the approach chosen. Having methods nested within a RECORD scope was thereby less of a burden in practice and very natural with respect to scoping. In general, the message records and explicit message dispatching as used in the Oberon system proved to be successful and have also been used in BlackBox for the visible objects (Views), although BlackBox does not use handler procedure variables per object but type bound handlers. Class based OOP with method tables instead of message records is more efficient because it replaces the message dispatching consisting of cascades of nested IFs by a tiny constant time operation. It gives up the full flexibility and extensibility, though. This OOP style has been used in the "Draw" editor for abstracting from the different classes of graphical objects (Rectangles, Curves, etc.). The Draw editor was used for drawing board layouts with hundreds or thousands of graphical elements and at least at that time the performance gain was important. - Josef ------ Andreas Pirklbauer andreas_pirklbauer at yahoo.com Tue Jan 3 12:44:01 CET 2017 This topic has been the subject of intense debate at the Institute of Computer Science at ETH Zurich around 1988-early 1990s. It's hard to convey the full spirit of these discussions so many years later, but I'll try to summarize some of the key aspects that were discussed back then, at least as far as object-oriented programming is concerned. One key topic was of course whether the language should be "instance-centered" vs. "class-centered". First, a language called Object Oberon was devised and implemented at ETH Zurich. It was essentially a class-centered derivative of the original Oberon language (adding a keyword CLASS and class methods, etc). I have used it extensively. Among other things, that project demonstrated that adding a class mechanism to an existing language can be achieved with relatively little extra effort. And indeed, the compiler's complexity increased only moderately (10-20%). Then Oberon-2 was devised, which essentially removed the CLASS keyword and added type-bound procedures instead, i.e. classes where now again also called what they really are - namely records. It too was not significantly more complex than the original Oberon language and compiler. Of course much simpler than the OOP languages that emerged during that period (we were still in a pre-Java world back then and had to put up with C++ or the like). But even though it was demonstrated that the additional complexity of the compilers for Object Oberon and Oberon-2 remained within tolerable bounds, the debate was not about that, but rather whether the notational conveniences justify the conceptual complications. The "defendants" of the original Oberon language (instance-centered with procedure variables) argued that while it is true that class-centered languages (with class methods, a.k.a. type-bound procedures) offer a somewhat more convenient notation, increased security, and also more efficient upcalls, this was considered a marginal advantage. It was believed the object-oriented programming style should be confined to a few select cases only, i.e. one should use it only where it is justified and deemed appropriate - whatever that means (seen from today's point of view, where Java has achieved such a dominant position, and where it seems that almost everything has to be a class, this may sound strange, but back then the OOP style has not yet gained widespread adoption and many ideas were still in flux). The "case study" cited as proof was of course the Oberon System itself: It showed that the entire Oberon system could be programmed in conventional programming style, except for one area: the viewer system, as everyone knows who contributed to or extended the viewer system. It was a lively debate, to say the least.. But in the end, the question remained open. This is, I believe, one of the reasons why we now have two main version of the Oberon language: Oberon and Oberon-2. Personally, I believe Oberon7 is enough for many purposes, and that certainly includes system design. And that is why I decided to stick to the original Oberon language in Experimental Oberon. But that is entirely my personal bias. From an educational point of view, I would consider using Oberon-2 instead, as it very nicely and cleanly demonstrated the various OOP concepts. But in any case, more important than the choice of the language is, I believe, to teach the debate. Srinivas Nayak sinu.nayak2001 at gmail.com Tue Jan 3 05:17:06 CET 2017 Dear All, In Oberon we have Procedure variables in Records. In Oberon2 we added/appreciated Class Methods. But Oberon7 we only retained Procedure variables in Records. In the evolution of Wirthian languages, when Oberon allows object oriented paradigm, why still we thought, Procedure variables in Records is the way to go with Oberon7? In other words, why we decided and retained Procedure variables in Records, but didn't go for Class Methods? Any disadvantage of Class methods? Why we think, Procedure variables in Records is more elegant than Class Methods? Where can we find discussions/decisions on these two constructs by masters? Kindly note that, in this query, my focus is on Language design, rather than Language use. With thanks and best regards, Yours sincerely, Srinivas Nayak

5 4

Oberon Wikibook
by peter＠easthope.ca 28 Feb '17

28 Feb '17

>From joerg.straube at iaeth.ch Wed Apr 20 18:50:55 2016 > In my point of view, WikiBook doesn't seem to be the best choice for > this task. >From joerg.straube at iaeth.ch Mon Sep 5 22:57:33 2016 > I meant with "repository" a kind of "moderated contribution", > "moderated" to limit bloatware a little, "moderated" by more than one > person alone (namely NW) and with a versioning system so you can > identify the "contribution" against a certain version of the code :-) Definitely. Consider this an experiment. If it works, good. If chaos overwhelms, we'll learn that at least. >From skulski at pas.rochester.edu Wed Oct 5 18:05:48 2016 > Could you please remind me what is the topic of the book ... See following. I want feedback. For the title especially. Easier to make the original title right than to change later. > ... you are going to write? Wikimedia projects are collaborative. Anyone can contribute. https://wikimediafoundation.org/wiki/Home I want to start a book. Anticipate many contributors. I view AOS, A3 as a variant of the Oberon system. Should the title indicate so? A possible title Oberon; a Computer System Another possible title Oberon (Convergence); a Computer System Another possible title Oberon; a System of Computing Other possibilities? Scope of Use This system has been ued as a stand-alone workstation, as an engine customized to specific calculations and as an (embedded) control system. Audience The Oberon workstation can be used by a novice interested in learning elementary computing. The complete sources allow a more experienced user to repair bugs and add functionality. The system engineer can adapt the system to a computationally intensive task or to use as a real-time control system. Usage progresses through these stages. Many users will stop at (3). (1) Installation (2) Configuration (3) Production (4) Bug repair (5) Customization and development -- 123456789 123456789 123456789 123456789 123456789 123456789 123456789 Tel: +1 360 639 0202 Pender Is.: +1 250 629 3757 http://easthope.ca/Peter.html Bcc: peter at easthope. ca

1 0

Re (2): Obtaining the title of a marked viewer.
by peter＠easthope.ca 27 Feb '17

27 Feb '17

From: =?utf-8?Q?J=C3=B6rg_Straube?= <joerg.straube(a)iaeth.ch> Date: Mon, 27 Feb 2017 08:24:40 +0100 > Please check whether the CONST „StandardMenu“ is exported; Thanks. Forgot about the export mark. From: Chris Burrows <chris(a)cfbsoftware.com> Date: Mon, 27 Feb 2017 17:49:31 +1030 > ... follow the details of Andreas's suggestion more closely. TextFrames, Edit, ET and Script each define menus for internal use only. Conclusion: any module needing a menu should define it; even when identical to a Menu in another module. Regards, ... Lyall E. -- 123456789 123456789 123456789 123456789 123456789 123456789 123456789 Tel: +1 360 639 0202 Pender Is.: +1 250 629 3757 http://easthope.ca/Peter.html Bcc: peter at easthope. ca

1 0

Re: [Oberon] Obtaining the title of a marked viewer.
by peter＠easthope.ca 27 Feb '17

27 Feb '17

From: Andreas Pirklbauer Date: Sat, 18 Feb 2017 20:10:06 +0100 > The command Edit.Store shows ... OK, thanks. Following examples in Edit. LinuxAos rev.6661 here. TextFrames has CONST StandardMenu = "System.Close System.Copy System.Grow Edit.Search Edit.Store"; Nevertheless attempted compilation of the following Test gives "undeclared identifier (selector)". Can anyone confirm or refute this? Thanks, ... Lyall E. MODULE Test IN Oberon; IMPORT Out, TextFrames; PROCEDURE RefStandardmenu*; BEGIN Out.String("TextFrames.Standardmenu = "); Out.Ln; Out.String(" "); Out.String( TextFrames.Standardmenu); Out.Ln END RefStandardmenu; BEGIN END Test. Test.RefStandardmenu -- 123456789 123456789 123456789 123456789 123456789 123456789 123456789 Tel: +1 360 639 0202 Pender Is.: +1 250 629 3757 http://easthope.ca/Peter.html Bcc: peter at easthope. ca

4 3

Obtaining the title of a marked viewer.
by peter＠easthope.ca 19 Feb '17

19 Feb '17

Suppose a Text viewer is * marked. Oberon.MarkedText() gives the Text, a pointer to a TextDesc. How can the title of the viewer be obtained? Hypothetically a message broadcast into the Display can induce the viewer to identify itself. Is there an example in documentation or source? Why ask the question? If "Sort.Sort *" is applied to a Text, the result is placed in a viewer named Sorted.Text. More helpful is to take the title of the original Text, append a suffix such as ".Srt", and give the name to the result viewer. Thanks, ... Lyall E. -- 123456789 123456789 123456789 123456789 123456789 123456789 123456789 Tel: +1 360 639 0202 Pender Is.: +1 250 629 3757 http://easthope.ca/Peter.html Bcc: peter at easthope. ca

4 3

Obtaining the title of a marked viewer.
by Andreas Pirklbauer 18 Feb '17

18 Feb '17

The command Edit.Store shows how this can be done: V := Oberon.MarkedViewer(); Texts.OpenScanner(S, V.dsc(TextFrames.Frame).text, 0); ... ————————— [Oberon] Obtaining the title of a marked viewer. peter at easthope.ca peter at easthope.ca <mailto:oberon%40lists.inf.ethz.ch?Subject=Re:%20Re%3A%20%5BOberon%5D%20%20Obtaining%20the%20title%20of%20a%20marked%20viewer.&In-Reply-To=%3CE1cf9Ah-0004Td-7f%40dalton.invalid%3E> Sat Feb 18 18:51:47 CET 2017 Suppose a Text viewer is * marked. Oberon.MarkedText() gives the Text, a pointer to a TextDesc. How can the title of the viewer be obtained? Hypothetically a message broadcast into the Display can induce the viewer to identify itself. Is there an example in documentation or source? Why ask the question? If "Sort.Sort *" is applied to a Text, the result is placed in a viewer named Sorted.Text. More helpful is to take the title of the original Text, append a suffix such as ".Srt", and give the name to the result viewer. Thanks, ... Lyall E. --

1 0