BETA (programovací jazyk) - BETA (programming language)

BETA
ParadigmaObjektově orientovaný
NavrhlBent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard
webová stránkabeta.cs.au.dk
Ovlivněno
Simula

BETA je čistý objektově orientovaný jazyk pocházející z „Skandinávská škola“ v objektové orientaci, kde první objektově orientovaný jazyk Simula bylo vyvinuto.[1] Mezi jeho pozoruhodné vlastnosti, které zavedla vnořené třídy a sjednocené třídy s postupy do tzv. vzorů.

Projekt je neaktivní od října 2020.[2]

Funkce

Technický přehled

Z technického hlediska poskytuje BETA několik jedinečných funkcí. Třídy a postupy jsou sjednoceny do jednoho konceptu, a Vzor. Třídy jsou také definovány jako vlastnosti / atributy objektů. To znamená, že třídu nelze vytvořit bez instance kontextu explicitního objektu. Důsledkem toho je, že BETA podporuje vnořené třídy. Třídy lze virtuálně definovat, podobně jako virtuální metody mohou být ve většině objektově orientovaných programovacích jazyků. Virtuální entity (například metody a třídy) se nikdy nepřepisují; místo toho jsou předefinovány nebo specializovány.

BETA podporuje objektově orientovaný pohled na programování a má komplexní vybavení pro procedurální a funkční programování. Má silné abstrakční mechanismy na podporu identifikace objektů, klasifikace a složení. BETA je staticky napsaný jazyk jako Simula, Eiffelova a C ++, přičemž většina kontroly typu se provádí v době kompilace.[1] Cílem BETA je dosáhnout optimální rovnováhy mezi kontrolou typu kompilace a kontrolou typu run-time.

Vzory

Hlavním a zvláštním rysem jazyka je koncept vzorů. V jiném programovacím jazyce, například C ++, jeden by měl několik tříd a postupů. BETA vyjadřuje oba tyto pojmy pomocí vzorů.

Například jednoduchá třída v C ++ by měla formu

třída směřovat {    int X, y;};

V BETA může být stejná třída reprezentována vzorem

směřovat: (#    X, y: @celé číslo#)

To znamená, že se jmenuje třída směřovat bude mít dvě pole, X a ytypu celé číslo. Symboly (# a #) zavést vzory. Dvojtečka se používá k deklaraci vzorů a proměnných. The @ znaménko před celočíselným typem v definicích polí určuje, že se jedná o celočíselná pole, a nikoli naopak, odkazy, pole nebo jiné vzory.

Jako další srovnání může mít postup v C ++ formu

int max(int X, int y){    -li (X >= y)    {        vrátit se X;    }    jiný    {        vrátit se y;    }}

V BETA lze takovou funkci zapsat pomocí vzoru

max: (#    X, y, z: @celé číslovstoupit (X, y)dělat    (-li X >= y // Pravda tedy        X -> z    jiný        y -> z    -li)výstup z#)

The X, y a z jsou lokální proměnné. The vstoupit klíčové slovo určuje vstupní parametry vzoru, zatímco výstup klíčové slovo určuje výsledek funkce. Mezi těmito dvěma, dělat klíčové slovo předpony pořadí operací, které mají být provedeny. Podmíněný blok je ohraničen (li a li), toto je -li klíčové slovo se stává součástí úvodní a závěrečné závorky. Pravda je prověřena // Skutečný v rámci bloku if. Nakonec operátor přiřazení -> přiřadí hodnotu na její levé straně proměnné na její pravé straně.

Ahoj světe!

Tento úryvek vytiskne standardní čáru "Ahoj světe!":

(#do ‘Hello world!‘ -> PutLine #)

Další čtení

  • Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard: Objektově orientované programování v programovacím jazyce BETA, [2]
  • Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen: Kdy, proč a proč ne programovacího jazyka BETA, ACM History of Programming Languages ​​III, konference, San Diego 2007, [3]

Reference

  1. ^ A b Zdroj: [1] Ole Lehrmann Madsen: Přehled BETA
  2. ^ https://beta.cs.au.dk/

externí odkazy