Obliq - Obliq

Obliq
ParadigmataMulti-paradigma: rozkazovací způsob, strukturovaný, modulární, objektově orientovaný, na základě prototypu, paralelní
RodinaWirth Oberon
NavrhlKrišna Bharat
Marc H. Brown
Luca Cardelli
Poprvé se objevil1993; Před 27 lety (1993)
Psací disciplínaSilný, dynamický
RozsahLexikální čistý
Jazyk implementaceModula-3
PlošinaIA-32
webová stránkawww.cc.tech.edu/ gvu/lidé/ Phd/Krišna/ VO/ VOHome.html
Hlavní, důležitý implementace
Obliq, Visual Obliq
Ovlivněno
Modula-3, Já, Oberon

Obliq je interpretován, objektově orientovaný programovací jazyk navržen k výrobě distribuováno a místně vícevláknové, výpočet je jednodušší a snáze programovatelný a přitom poskytuje bezpečnost programu a implicitní typ Systém. Tlumočník je napsán v Modula-3, a poskytuje Obliq plný přístup k Modula-3 síť předměty schopnosti. A odvození typu pro Obliq byl vyvinut algoritmus pro zřetězení záznamů, podtypování a rekurzivní typy. Dále se ukázalo, že je NP-kompletní[1]a jeho nejnižší složitost Ο(n3) nebo pokud v rámci jiného modelování až do určitých podmínek až do Ο(n2)[2] a jeho nejznámější implementace běží v Ο(n5).[3][rozporuplný ]Syntaxe Obliq je velmi podobná Modula-3, největší rozdíl je v tom, že Obliq nepotřebuje explicitní typování proměnné (tj. proměnná může obsahovat jakoukoli datový typ povoleno kontrolou typu a pokud nepřijme jednu, tj. zobrazí se chyba při provádění daného výrazu), ačkoli explicitní deklarace typu jsou povoleny a ignorovány interpretem. Mezi základní datové typy v jazyce patří booleovi, celá čísla, realita, postavy, struny, a pole. Obliq podporuje obvyklou sadu sekvenčních kontrolní struktury (podmíněné, iterační a formuláře pro zpracování výjimek) a speciální ovládací formuláře pro souběžnost (mutexy a hlídané příkazy). Dále lze Obliqovy objekty klonovat a bezpečně vzdáleně kopírovat jakýmkoli strojem v distribuovaném síťovém objektu a lze je provádět bezpečně a transparentně.[4]

Obliq je velký standardní knihovna poskytuje silnou podporu pro matematické operace, vstup výstup (I / O), vytrvalost, ovládání podprocesů, grafika a animace. Distribuované výpočty jsou založeny na objektech: objekty obsahují stav, který je lokální proces. Rozsah objektů a dalších proměnných je čistě lexikální. Objekty mohou volat metody jiných objektů, i když jsou tyto objekty na jiném počítači v síti. Objekty Obliq jsou jednoduše kolekce pojmenovaných polí (podobně jako sloty v Já a Pokec ) a podpora dědictví delegací (jako já).

Běžné použití Obliq zahrnuje programování v sítích, 3D animace a distribuované výpočty, jak se vyskytuje v a místní síť (LAN), jako je Ethernet. Obliq je zdarma součástí Digital Equipment Corporation (DEC) Distribuce Modula-3, ale jiné bezplatné verze existují i ​​jinde předkompilován binární soubory pro několik operační systémy.

Projekty využívající Obliq

  • The Společné aktivní učebnice (KOČKA)[5] vyvinut pomocí Obliq appletů[6] a Zeus[7] systém animace algoritmu (napsaný v Modula-3 ).
  • Applety Obliq (Oblets)[6] speciální webový prohlížeč (napsaný v Modula-3 ) Integrované aplikace webové stránky Obliq.[8]

Reference

  1. ^ http://www.cs.ucla.edu/~palsberg/paper/ic04.pdf
  2. ^ Henglein, Fritz (1999). „Prorážení skrz n3 bariéra: Rychlejší odvození typu objektu ". Teorie a praxe objektových systémů. 5 (1): 57–72. doi:10.1002 / (SICI) 1096-9942 (199901/03) 5: 1 <57 :: AID-TAPO5> 3.0.CO; 2-U.
  3. ^ Palsberg, Jens; Zhao, Tian (2002). "Efektivní odvození typu pro zřetězení a subtypování záznamů". Logika v informatice, Symposium on. Los Alamitos, Kalifornie, USA: IEEE Computer Society. str. 125. doi:10.1109 / LICS.2002.1029822.
  4. ^ Briais, Sebastien; Nestmann, Uwe (2002). „Mobilní objekty“ se musí „bezpečně pohybovat“. FMOODS '02. str. 129–146. CiteSeerX  10.1.1.23.4787.
  5. ^ Brown, Marc H .; Najork, Marc A. (květen 1996). „Kolaborativní aktivní učebnice: Webový algoritmický animační systém pro elektronickou učebnu; Výzkumná zpráva 142“. DEC Systems Research Center (SRC). Digital Equipment Corporation (DEC).
  6. ^ A b Brown, Marc H .; Najork, Marc A. (1997). „Distribuované applety“. CHI '97 rozšířené abstrakty o lidských faktorech ve výpočetních systémech: pohled do budoucnosti. Atlanta, Gruzie: ACM. 204–205. doi:10.1145/1120212.1120344. ISBN  0-89791-926-2. Citováno 2010-05-15.
  7. ^ Zeus: Systém pro animaci algoritmů a úpravy více pohledů Marc H. Brown. Digital Equipment Corporation (DEC) Centrum pro výzkum systémů (SRC) Research Report 075 (February 1992)
  8. ^ http://www.ibiblio.org/openvideo/video/chi/chi97_02_m1.mpg

externí odkazy