TweetFollow Us on Twitter

March 93 - An Introduction to BETA: A New Object-oriented Language

An Introduction to BETA: A New Object-oriented Language

Steve Mann

New object-oriented products are announced every day. Most of them are based on a familiar language such as C++, SmallTalk, or LISP / CLOS. New object-oriented languages are another matter. When was the last time you saw an announcement for a commercial-grade object-oriented language product? BETA is such a product.

Development on BETA started in 1976 as a joint venture between several universities in Norway, Denmark, and Finland. This is the same computer science community (often called the Scandinavian School of object-orientation) that in the early 1960s developed Simula, the first object-oriented language. Throughout its formative years, the BETA research has been supported by grants from many companies, including Apollo, Apple, and Hewlett Packard. After more than 15 years of research and development, Mjolner Informatics has released the first commercial BETA product.

AN OVERVIEW OF BETA

BETA is a completely new language with a design heavily influenced by its object-oriented predecessors, especially Simula. It is strongly typed like C++, with most type checking being done at compile time. The language design is based on a powerful abstraction mechanism called a pattern. The syntax for a pattern is:
<Pattern Name> :
    (#  <Attribute 1> ;
        <Attribute 2> ;
            .
        <Attribute N> ;

    Enter <Input list>
    Do <Imperatives>
    Exit <Output list>
    #);

Attributes can be many things-the most common are object declarations and methods specific to the pattern being defined. The Enter statement lists the values passed to the Do section, Exit lists the values output from the Do section. The Do section contains imperative (executable) statements that perform actions. All the syntactic elements of a pattern are optional.

There are several types of patterns, including classes, procedures, functions, coroutines, processes, and exceptions. There are also three types of pattern derivatives:

  • subpatterns (like subclasses but more powerful),
  • virtual patterns (like C++ virtual procedures), and
  • pattern variables (variables that can be assigned any legal pattern value).

You can create any of these three derivatives from any of BETA's pattern types, making BETA a very orthogonal language. For instance, using subpatterns, you can create a hierarchy of procedures, functions, coroutines, processes, or exceptions, where all the subpatterns inherit attributes from their superpatterns. You can also define virtual classes, virtual procedures, virtual functions, and so on . Table 1 lists all the possible combinations of pattern derivatives and types.

Other important BETA features include:

  • class-less objects for one-of-a-kind object definitions;
  • direct and reference (pointer-based) attributes allowing the modeling of complex relationships;
  • block structures similar to Algol, allowing nested structures with local and global scopes for all patterns.

SAMPLE PROGRAMS

Here is a simple class pattern that defines a bank account object. It has three attributes-balance (a declaration using a predefined class pattern called integer), Deposit (a procedure pattern), and Withdraw (another procedure pattern).
Account :  (* a simple bank account class pattern *)   
    (#  balance : @ integer;        (* bank account balance *)

        Deposit :       (* add 'amount' to balance *) 
            (#  amount : @ integer          (* local declaration *)
            enter amount                    (* input list *)
            do balance + amount -> balance   (* action *)
            exit balance                        (* output list *)
            #); 
        Withdraw :      (* subtract 'amount' from balance *)
            (#  amount : @ integer  
            enter amount    
            do balance - amount -> balance
            exit amount     
            #); 
    #); 

Note that:

  • Asterick/parens ('(*' and '*)') are used to enclose comments.
  • A colon (':') indicates a declaration.
  • An @ sign indicates the name of an object type.
  • Integer is a predefined BETA basic pattern (the other basic patterns are real, boolean, and char, plus there is a predefined text pattern that works much like strings).
  • Imperative statements always read left to right.

According to BETA terminology, both Deposit and Withdraw are procedure (not function) patterns. BETA procedures and functions both can have input and output lists. A BETA function computes a return value using only the input values, causing no side effects (a procedure may cause side effects).

The preceding sample is simply a class definition pattern with attributes (balance) and methods (Deposit and Withdraw). In order to create a complete BETA program, we need more, such as some declarations to create real account objects, and some imperatives to perform actions on those accounts:

(# (* a pattern with no name *)
    Account : (*  a pattern declaration within the unnamed pattern *)
        (#  acct_balance : @ integer;
            Deposit :                
                (#  amount : @ integer  
                enter amount
                do acct_balance + amount -> acct_balance
                exit balance    
                #); 
            Withdraw :      
                (#  amount : @ integer  
                enter amount    
                do acct_balance - amount -> acct_balance
                exit amount     
                #); 
            Balance :
                (#
                exit acct_balance
                #)
        #); 
    A : @ Account;              
    cash_on_hand, balance : @ integer;  

do  100 -> &A.Deposit;               
    250 -> &A.Deposit;               
    75  -> &A.Withdraw -> cash_on_hand;   (* $75 on hand *)
    &A.Balance -> balance;                (* $275 balance *)
#)

In BETA the symbol '&' means new; the expression &account.Deposit means "create a new instance of the pattern account.Deposit and execute it". This is basically the same as invoking a procedure. Note that the finished program, the primary object definition (Account), and the methods that operate on that account (Deposit, Withdraw, and Balance) are all patterns. This use of a single syntactic element to define everything and execute operations gives BETA much of its power and flexibility.

REFERENCE ATTRIBUTES

BETA allows you to define both static and dynamic reference attributes. The previous sample programs all have examples of static object references such as
A : @ Account;             
cash_on_hand, balance : @ integer;

Static objects are also called part objects (or part references) in BETA because the declared objects are a permanent part of the objects containing their declarations.

BETA also lets you define object references that denote different objects at different points in time (much like pointers). An example of a dynamic reference is

A : ^Account ;

The initial value of a dynamic reference is NONE (trying to reference an object attribute using a NONE pointer causes a runtime error). If we define an account using

A1 : Account ;

we can assign A1 to A using the statement

A1[] -> A[] ;

It is also possible to create objects dynamically by invoking their pattern as an executable statement. For instance, the statement

&Account[]

creates a new instance of an Account and returns a reference to that account. If we declare a reference object using

A1 : ^Account;

the following statement is valid:

&Account[] -> A1[];

The difference between &Account and &Account[] is important. The first means "generate an instance of Account and execute it"; the second means "generate a new instance of Account without executing it and return a reference to it".

OTHER BETA SYNTACTIC ELEMENTS

When presenting a new language, there is always a certain amount of rote presentation to cover the basic syntax needed to create programs in that language. This section covers some of the more recognizable parts of BETA, including predefined basic patterns and attributes, arrays, assignment statements (evaluations), and control statements.

Basic Patterns

BETA has four predefined basic patterns : integer, real, boolean, and char. The default values and standard operators for BETA's basic patterns are shown in Table 2. In addition, BETA has a standard set of relational operators. Chars are ordered from 0 to 255, and false is less than true.

One unusual restriction that BETA has is that it is not possible to declare dynamic references to instances of these four basic patterns. Apparently this restriction is primarily for efficiency reasons.

Repetitions

BETA arrays (called repetitions) are defined using one of these two forms:
<Name>: [size] @<Type> ;       (* static repetition *)
<Name>: [size] ^<Type> ;        (* dynamic repetition *)

Array indices range from one to <Name>.range (range is an intrinsic attribute of all array objects). You can dynamically resize arrays using the extend attribute, which adds elements to an array. You can reallocate an array, initializing all the elements to the default value for the array object type. You can also assign array slices (or parts of an array).

Here are some array examples:

A1, A2 : [10] @integer;    (* integer arrays A1[1]-A1[10],
                              A2[1]-A2[10] *)
1050 -> A1.[1];         (* assignment *)
10 -> A1.extend;        (* resize A2 to 20 elements *)
25 -> A2.new;           (* resize and reinitialize A2 *)
A1 [1:5] -> A2 [10];    (* slice assignment *)

There is also a special repetition pattern called text which is derived from a string pattern. It is a character array, subject to all normal array operations, with additional predefined patterns for string manipulation.

For Statement

The BETA for statement is straightforward. It has the following form:
(for <Index>: <Range> repeat <Imperative-list> for)

<Index> is an integer object declared locally within the scope of the for statement. It cannot be changed within the loop. The index always starts at one and increments by one. A pattern with a for loop might look like

(#     sum: @ integer;
    V : [100] @ integer     (* integer array *)
do  (for i : V.range repeat i -> V [i] for)
    0 -> sum;
    (for i : V.range repeat sum + v [i] -> sum for)
#)

It is possible to overcome the limitations of the for index structure (integer indices which always start at one and increment by one) using other patterns. That capability is not explored in this introductory article.

If Statement

The BETA if statement is an unusual combination of a traditional if statement and a case statement. Its form is
(if E0
    // E1 then I1
    // E2 then I2
        . . .
    //En then In
    else I
if)

E1 . . . En are evaluations and I1 . . . In are imperatives. The else clause is optional. Here's an example of a simple if statement:

(if x
    // 17 then . . .
    // 33 then . . .
    // y+3 then . . .
    else
if)

A boolean evaluation (albeit an awkward one) might be written

(if (x > 0) and (y < 0)
    // True then . . .
    // False then . . .
if)

Evaluations

BETA evaluation (assignment) statements are very flexible. You can define multiple assignment statements such as
   3 -> I -> J

You can also combine multiple assignments with pattern executions and enter and exit redirection like in this program:

   (#  Power :     (* compute X^n where n > 0 *)
        (#  X, Y : @ real; n : @ integer;
        enter (X, n) 
        do  1 -> Y;
            (for i : n repeat Y * X -> Y for)
        exit Y
        #)

        Reciproc :  (* compute (Q, 1/Q) *)
        (# Q, R : @ real;
        enter Q
        do  (if (Q // 0) then 0 -> R
            else (1 div Q) -> R
            if )
        exit (Q, R)
        #);
    A, B : @ real;
    do  (3.14, 2) -> &Power -> &Reciproc -> (A, B);
        (* A = 3.14 ^ 2, B = 1/A *)
    #)

THE MJOLNER BETA SYSTEM

So far I have described the more basic elements of the BETA language. There are many advanced capabilities, such as subpatterns and virtual patterns, exception handling, and concurrency, that really show off BETA's power as an object-oriented language and the depth of its design. I''ll cover these topics in a future article.

The Mjolner BETA System, created by several of the language's original designers, is currently the only commercial implementation of a BETA development environment. The Mjolner BETA System includes:

  • native code generation,
  • automatic garbage collection and storage management,
  • separate compilation of program fragments with automatic dependency analysis,
  • interfaces to C and assembly language modules (and Pascal on the Mac),
  • persistent objects, although not a full-blown object-oriented database (a complete OODB is expected by late 1993),
  • basic patterns for simple data types,
  • a set of container patterns for more complex data structures (including sets, has tables, stacks, queues, and lists),
  • stream patterns for text and file handling,
  • process management and concurrency control patterns, and
  • application frameworks for X Windows, Motif, and the Macintosh Toolbox.

As if that weren't enough, Mjolner also sells a variety of additional tools including a modifiable Hyper Structure Editor, a metaprogramming system, a BETA CASE Tool (Unix only), and a source-level debugger (Unix only). In the coming months we hope to present an overview of BETA's advanced features, a comprehensive review of Mjolner's BETA System and tools, and advanced programming examples. Let us know if there are specific topics you would like addressed. -

MADA is pleased to announce that as we were going to press with this issue, Mjolner selected MADA as their exclusive US and Canada distributor for the Macintosh version of BETA. We are also carrying the reset of the Mjolner BETA product line. See page 67 for more details.

In addition, a demo version of the Mjolner BETA System is available on MADA's "Five Years of Objects" CD-ROM.

 

Community Search:
MacTech Search:

Software Updates via MacUpdate

BetterTouchTool 2.332 - Customize multi-...
BetterTouchTool adds many new, fully customizable gestures to the Magic Mouse, Multi-Touch MacBook trackpad, and Magic Trackpad. These gestures are customizable: Magic Mouse: Pinch in / out (zoom... Read more
Capture One 11.0.1.40 - RAW workflow sof...
Capture One is a professional RAW converter offering you ultimate image quality with accurate colors and incredible detail from more than 400 high-end cameras -- straight out of the box. It offers... Read more
Capture One 11.0.1.40 - RAW workflow sof...
Capture One is a professional RAW converter offering you ultimate image quality with accurate colors and incredible detail from more than 400 high-end cameras -- straight out of the box. It offers... Read more
GraphicConverter 10.5.4 - $39.95
GraphicConverter is an all-purpose image-editing program that can import 200 different graphic-based formats, edit the image, and export it to any of 80 available file formats. The high-end editing... Read more
Dash 4.1.3 - Instant search and offline...
Dash is an API documentation browser and code snippet manager. Dash helps you store snippets of code, as well as instantly search and browse documentation for almost any API you might use (for a full... Read more
Microsoft OneNote 16.9 - Free digital no...
OneNote is your very own digital notebook. With OneNote, you can capture that flash of genius, that moment of inspiration, or that list of errands that's too important to forget. Whether you're at... Read more
DEVONthink Pro 2.9.17 - Knowledge base,...
Save 10% with our exclusive coupon code: MACUPDATE10 DEVONthink Pro is your essential assistant for today's world, where almost everything is digital. From shopping receipts to important research... Read more
OmniGraffle 7.6 - Create diagrams, flow...
OmniGraffle helps you draw beautiful diagrams, family trees, flow charts, org charts, layouts, and (mathematically speaking) any other directed or non-directed graphs. We've had people use Graffle to... Read more
iFinance 4.3.7 - Comprehensively manage...
iFinance allows you to keep track of your income and spending -- from your lunchbreak coffee to your new car -- in the most convenient and fastest way. Clearly arranged transaction lists of all your... Read more
Opera 50.0.2762.58 - High-performance We...
Opera is a fast and secure browser trusted by millions of users. With the intuitive interface, Speed Dial and visual bookmarks for organizing favorite sites, news feature with fresh, relevant content... Read more

Latest Forum Discussions

See All

Around the Empire: What have you missed...
Around this time every week we're going to have a look at the comings and goings on the other sites in Steel Media's pocket-gaming empire. We'll round up the very best content you might have missed, so you're always going to be up to date with the... | Read more »
Everything about Hero Academy 2: Part 4...
In this part of our Hero Academy 2 guide, we're going to have a look at some of the tactics you're going to need to learn if you want to rise up the ranks. We're going to start off slow, then get more advanced in the next section. [Read more] | Read more »
All the best games on sale for iPhone an...
Another week has flown by. Sometimes it feels like the only truly unstoppable thing is time. Time will make dust of us all. But before it does, we should probably play as many awesome mobile videogames as we can. Am I right, or am I right? [Read... | Read more »
The 7 best games that came out for iPhon...
Well, it's that time of the week. You know what I mean. You know exactly what I mean. It's the time of the week when we take a look at the best games that have landed on the App Store over the past seven days. And there are some real doozies here... | Read more »
Popular MMO Strategy game Lords Mobile i...
Delve into the crowded halls of the Play Store and you’ll find mobile fantasy strategy MMOs-a-plenty. One that’s kicking off the new year in style however is IGG’s Lords Mobile, which has beaten out the fierce competition to receive Google Play’s... | Read more »
Blocky Racing is a funky and fresh new k...
Blocky Racing has zoomed onto the App Store and Google Play this week, bringing with it plenty of classic kart racing shenanigans that will take you straight back to your childhood. If you’ve found yourself hooked on games like Mario Kart or Crash... | Read more »
Cytus II (Games)
Cytus II 1.0.1 Device: iOS Universal Category: Games Price: $1.99, Version: 1.0.1 (iTunes) Description: "Cytus II" is a music rhythm game created by Rayark Games. It's our fourth rhythm game title, following the footsteps of three... | Read more »
JYDGE (Games)
JYDGE 1.0.0 Device: iOS Universal Category: Games Price: $4.99, Version: 1.0.0 (iTunes) Description: Build your JYDGE. Enter Edenbyrg. Get out alive. JYDGE is a lawful but awful roguehate top-down shooter where you get to build your... | Read more »
Tako Bubble guide - Tips and Tricks to S...
Tako Bubble is a pretty simple and fun puzzler, but the game can get downright devious with its puzzle design. If you insist on not paying for the game and want to manage your lives appropriately, check out these tips so you can avoid getting... | Read more »
Everything about Hero Academy 2 - The co...
It's fair to say we've spent a good deal of time on Hero Academy 2. So much so, that we think we're probably in a really good place to give you some advice about how to get the most out of the game. And in this guide, that's exactly what you're... | Read more »

Price Scanner via MacPrices.net

Deals on clearance 15″ Apple MacBook Pros wit...
B&H Photo has clearance 2016 15″ MacBook Pros available for up to $800 off original MSRP. Shipping is free, and B&H charges NY & NJ sales tax only: – 15″ 2.7GHz Touch Bar MacBook Pro... Read more
Apple restocked Certified Refurbished 13″ Mac...
Apple has restocked a full line of Certified Refurbished 2017 13″ MacBook Airs starting at $849. An Apple one-year warranty is included with each MacBook, and shipping is free: – 13″ 1.8GHz/8GB/128GB... Read more
How to find the lowest prices on 2017 Apple M...
Apple has Certified Refurbished 13″ and 15″ 2017 MacBook Pros available for $200 to $420 off the cost of new models. Apple’s refurbished prices are the lowest available for each model from any... Read more
The lowest prices anywhere on Apple 12″ MacBo...
Apple has Certified Refurbished 2017 12″ Retina MacBooks available for $200-$240 off the cost of new models. Apple will include a standard one-year warranty with each MacBook, and shipping is free.... Read more
Apple now offering a full line of Certified R...
Apple is now offering Certified Refurbished 2017 10″ and 12″ iPad Pros for $100-$190 off MSRP, depending on the model. An Apple one-year warranty is included with each model, and shipping is free: –... Read more
27″ iMacs on sale for $100-$130 off MSRP, pay...
B&H Photo has 27″ iMacs on sale for $100-$130 off MSRP. Shipping is free, and B&H charges sales tax for NY & NJ residents only: – 27″ 3.8GHz iMac (MNED2LL/A): $2199 $100 off MSRP – 27″ 3.... Read more
2.8GHz Mac mini on sale for $899, $100 off MS...
B&H Photo has the 2.8GHz Mac mini (model number MGEQ2LL/A) on sale for $899 including free shipping plus NY & NJ sales tax only. Their price is $100 off MSRP. Read more
Apple offers Certified Refurbished iPad minis...
Apple has Certified Refurbished 128GB iPad minis available today for $339 including free shipping. Apple’s standard one-year warranty is included. Their price is $60 off MSRP. Read more
Amazon offers 13″ 256GB MacBook Air for $1049...
Amazon has the 13″ 1.8GHz/256B #Apple #MacBook Air on sale today for $150 off MSRP including free shipping: – 13″ 1.8GHz/256GB MacBook Air (MQD42LL/A): $1049.99, $150 off MSRP Read more
9.7-inch 2017 WiFi iPads on sale starting at...
B&H Photo has 9.7″ 2017 WiFi #Apple #iPads on sale for $30 off MSRP for a limited time. Shipping is free, and pay sales tax in NY & NJ only: – 32GB iPad WiFi: $299, $30 off – 128GB iPad WiFi... Read more

Jobs Board

AppleCare Support Engineer for *Apple* Medi...
# AppleCare Support Engineer for Apple Media Products Job Number: 113222855 Santa Clara Valley, California, United States Posted: 14-Nov-2017 Weekly Hours: 40.00 Read more
QA Automation Engineer, *Apple* Pay - Apple...
# QA Automation Engineer, Apple Pay Job Number: 113202642 Santa Clara Valley, California, United States Posted: 11-Dec-2017 Weekly Hours: 40.00 **Job Summary** At Read more
*Apple* Video Partnerships - Apple (United S...
# Apple Video Partnerships Job Number: 113059126 Santa Clara Valley, California, United States Posted: 15-Nov-2017 Weekly Hours: 40.00 **Job Summary** Partnerships Read more
Sr. Engineering Manager- *Apple* Media Produ...
# Sr. Engineering Manager- Apple Media Products Job Number: 113335268 Santa Clara Valley, California, United States Posted: 17-Jan-2018 Weekly Hours: 40.00 **Job Read more
*Apple* Retail - Multiple Positions - Apple,...
Job Description:SalesSpecialist - Retail Customer Service and SalesTransform Apple Store visitors into loyal Apple customers. When customers enter the store, Read more
All contents are Copyright 1984-2011 by Xplain Corporation. All rights reserved. Theme designed by Icreon.