(Smyčka (+ i e)))))

Součet)

(Zobrazení (integrace 0 1 0,01 func))

(nový řádek)

Oficiální webové stránky Guile

Schemers.org

Videonahrávky přednášek kurzu The Structure and Interpretation of Computer Programs na Berkeley University

Obecně, protože Scheme je akademický jazyk, je o něm mnoho informací. Znalost tohoto jazyka vám zároveň umožní nejen nový pohled na různé konstrukce v jiných jazycích (jako je například Python).

Ken Dickey (překlad Alexey Desyatnik)

Alternativní pohled na svět

Každý programovací jazyk představuje určitý světonázor z hlediska toho, co umožňuje (nebo neumožňuje) používat. Tato série článků popisuje světonázor programovacího jazyka Schema („Schematic Worldview“). Tento světonázor obsahuje mnoho moderních programovacích prvků: podporu různých programovacích paradigmat, snadno kombinovatelné, opakovaně použitelné abstrakce, možnost vytvořit jazyk „šitý na míru“ konkrétní aplikaci, jasné rozlišení mezi přenosnými a nepřenosnými částmi programu, škálovatelnost, od jednotlivých utilit až po nejserióznější softwarové systémy.

Schéma začalo jako experiment ve vývoji programovacího jazyka k testování některých základních principů v teorii vývoje programu. Nyní se mu dostává přízně mnoha slavných univerzit (jako je MIT – Massachusetts Institute of Technology) jako první studovaný programovací jazyk. Kromě toho je obvod používán v průmyslu společnostmi jako DEC, Texas Instruments, Tektronix, Hewlett Packard a Sun.

Co je to schéma?

Schema je malý, extrémně čistý jazyk, který (to je nejdůležitější!) je radost používat. Schéma bylo navrženo tak, aby malý počet univerzálních konstrukcí mohl být snadno použit v různých programovacích stylech: funkcionální, objektově orientovaný a imperativní. Jazyková norma zabírá pouze asi 50 (!) stran včetně formální definice sémantiky. Schéma je založeno na formálním modelu výpočtu lambda, takže je plné funkcí, které jsou vhodné pro teoretiky; díky tomu je poměrně snadné vytvářet inteligentní nástroje pro vývoj softwaru.

Schéma má mechanismus lexikálního rozsahu, jednotná pravidla výpočtu a jednotné chápání datových typů. Schéma nemá žádnou koncepci ukazatele, neinicializovaných proměnných, speciálních smyčkových konstrukcí nebo jemně zrnitého řízení úložiště.

Jak vypadá schéma? No, vypadá to hodně jako Lisp. Nenechte se tím vyděsit: vzhled schématu lze změnit (a v budoucnu to uděláme). To, na čem opravdu záleží, jsou koncepty za Blueprintem a jak je můžete použít. Pojďme tedy porovnat schéma a nějaký „klasický“ programovací jazyk – řekněme C. Možná již víte, že schéma používá předponu, na rozdíl od infixové notace C:

Ve schématu jsou všechny datové typy ekvivalentní. Cokoli, co lze provést s jedním datovým typem, lze provést se všemi ostatními. To je v příkrém rozporu s většinou programovacích jazyků, které mají speciální operace pro některé datové typy a konkrétně omezují použití některých jiných datových typů. Ve většině jazyků mají například čísla zvláštní práva: lze je používat, aniž by jim bylo pojmenováno (představte si například, že v BASICu muselo být každé číslo před použitím pojmenováno!). Funkce jsou naopak omezené: musí mít jméno.

Ve schématu jsou nepojmenované funkce vytvořeny pomocí klíčového slova lambda:

(jehněčí a(x)(* x x)); výsledkem je funkce!

(definujte sq(lambda(x)(*xx))

(sq 9);

27

((lambda (x) (* x x)) 9);

27

((if (foo? x) * +) 2 3 4) ; pokud (foo? x) je pravda,

; pak (* 2 3 4),

; jinak (+ 2 3 4)(definovat (vytvořit-přidat x) (lambda (y) (+ x y))

(definujte add3 (curried-add 3)) ; přidat3

- funkce

(přidat 3 7);

10

((curried-add 3) 7) ;

10

Nejdůležitější:

Proměnná může obsahovat hodnotu libovolného typu;

Jména označují významy; jména jsou nepovinná; ( Výraz – jeden nebo více tvarů v závorkách; ( Chcete-li vyhodnotit výraz, musíte nejprve vyhodnotit hodnoty všech formulářů v závorkách a poté použít hodnotu prvního formuláře na všechny ostatní; vnořené výrazy jsou také považovány za formy;) (+ Komentář začíná středníkem (;) a pokračuje do konce řádku;Chcete-li vyhodnotit výraz, musíte nejprve vyhodnotit hodnoty všech formulářů v závorkách a poté použít hodnotu prvního formuláře na všechny ostatní; vnořené výrazy jsou také považovány za formy;)) 7) ).

( Když je funkce vyhodnocena, "pamatuje si" stav "prostředí", ve kterém byla vytvořena (takže sečtení 3 si pamatuje, že X se rovnalo třem v době, kdy byla vytvořena, tj. v době, kdy byl výraz vyhodnocen ( lambdaKomentář začíná středníkem (;) a pokračuje do konce řádku;) (* Komentář začíná středníkem (;) a pokračuje do konce řádku;Komentář začíná středníkem (;) a pokračuje do konce řádku;)) y

x

definovat

sq je jen další forma psaní výrazu

(definujte sq(lambda(x)(*xx)) Existuje sedm možných typů výrazů:Konstanty:"foo#\Z3"řetězec"- Variabilní reference:- foo@#$!+-*/%<>

joe ( Výraz – jeden nebo více tvarů v závorkách; ( A) (* AAA))

dlouho ( jméno 37)

Vytvoření funkce: z< x 3) sqrt modulo)

Postup aplikace: ( krychle! Komentář začíná středníkem (;) a pokračuje do konce řádku; 5)

Stav: ( (pokud ( ( Přiřazení hodnoty:Komentář začíná středníkem (;) a pokračuje do konce řádku;) ( Přiřazení hodnoty:Chcete-li vyhodnotit výraz, musíte nejprve vyhodnotit hodnoty všech formulářů v závorkách a poté použít hodnotu prvního formuláře na všechny ostatní; vnořené výrazy jsou také považovány za formy;) ( soubor))

Následná sekvence: začít napsat

nový řádek

(Tento seznam samozřejmě nezahrnuje všechny možnosti

výrazy) Schéma má obvyklou sadu datových typů:

Písmena (znak): #\a #\A \#mezera #\nový řádekKomentář začíná středníkem (;) a pokračuje do konce řádku; 5)

Řetězce: "řádek textu"

Pole (vektory): #(1 2 “řádek” #\

seznamy:

(trochu (seznam) (seznamů)) # čísla: # 47 1/3 2,3 4,3e14 1+3i

Porty (jako jsou otevřené soubory nebo síťová připojení)

Symboly (symbol, obvykle používaný k označení proměnných): tento- je- "foo#\Z3"řetězec"- symbolExistuje sedm možných typů výrazů:"foo#\Z3"řetězec"32 > adfasf23@#$%!<

(přidat 3 7);

Vektor se může skládat z libovolných datových objektů;

Symbol může obsahovat písmena anglické abecedy, čísla a písmena + - . * / < = > ! ? : $ % _& ~ ^

Symboly nerozlišují velká a malá písmena (tj. SYMBOL a SyMboL jsou totožné)

Symboly se používají k reprezentaci proměnných (ale nejen to!)

Podle konvence (jen pro pohodlí) končí predikáty (výrazy pro kontrolu hodnoty) otazníkem a „nebezpečné“ funkce (změna hodnoty proměnné) končí vykřičníkem.

Čísla jsou ve schématu obzvláště zajímavá: každé celé číslo je zlomek (racionální), zlomek je reálné číslo (reálné) a reálné číslo je komplexní (komplexní). Čísla jsou klasifikována na základě přesnosti (přesná nebo přibližná - přesná / nepřesná):

(přesně? 3); #t

(přesně? 1/3); #t

(přesně? 2,3##); #F

(+ 2/3 1/2 5/6); 2

(celé číslo? 2); #t

(celé číslo? 3/7); #F

(skutečný? 2); #t

Filosofie schématu

Jednou z příjemných vlastností schématu, která zpočátku mnoho lidí mate, je absence omezení. Schéma je velmi expresivní: programátor může v tomto jazyce „vyslovit“ jednu myšlenku (akci) zcela odlišnými způsoby. Ve schématu má programátor svobodu – a odpovědnost – „říkat“ přesně tak, jak chce. V mnoha jiných programovacích jazycích musíte někdy hledat nějaké „prostupné řešení“, abyste z nich získali to, co potřebujete, ale ve schématu to prostě není nutné.

Abychom se zahřáli, sestavme párovou datovou strukturu. Pár se skládá ze dvou prvků získaných pomocí přístupových funkcí FIRST a SECOND (FIRST a SECOND). Funkce párování se bude nazývat PAIR. Musí být splněny následující vztahy: ( první ( pár 1 2)) rovná se 1, ( druhý ( pár 1 2)) rovná se 2. Pro ty, kteří Lisp znají, to není nic neobvyklého. Kolika různými způsoby však můžeme toto trio implementovat: PÁR, PRVNÍ, DRUHÝ?

; 1. Vektor

; je to možné a jednoduché (definujte vektor PAIR) , ale stylově je to lepší

(definujte (PÁR a b) (vektor a b))

(definovat (FIRSTaPair) (vector-ref aPair 0))

(definujte (SECOND aPair) (vector-ref aPair 1))

; 2. Funkce výběru

; Nezapomeňte na lexikální rozsah:

; každá funkce vytvořená funkcí PAIR si zapamatuje

; hodnoty a a b v době stvoření

(definujte (PÁR a b) (lambda (bool) (pokud bool a b)))

(definovat (FIRSTaPair) (aPair #t))

(definujte (SECOND aPair) (aPair #f))

; 3. Zprávy

(definovat(PÁROVÁ(a b)

(lambda (zpráva)

(případová zpráva; případová konstrukce pro každou hodnotu msg

; vystupuje přivlastnit si akce

((první) a ); pokud je zpráva symbolem první,

; vrátit a

((druhý) b))))

; Apostrof (‘) před symbolem brání výpočtu jeho hodnoty

; (bez něj by došlo k chybě „chybějící proměnná“)

(definovat (FIRSTaPair) (aPair ‘první))

(definovat (SECOND aPair) (aPair ‘druhý))

; 4. Aliasy: Ve schématu již existuje datový typ „pár“!

(definujte PAIRcons)

(definujte FIRSTcar)

(definujte DRUHÉ cdr)

; 5. Lambda funkce (předávání funkcí jako parametrů ostatním

; funkce)

(definujte (PÁR a b) (lambda (proc) (proc a b)))

(definovat (FIRSTaPair) (aPair (lambda (x y) x)))

(definujte (SECOND aPair) (aPair (lambda (x y) y)))

Pointa všeho výše uvedeného: i ty nejjednodušší věci se dají dělat úplně jinak.

Když už jsme rozehřátí, pojďme se podívat na starý dobrý faktoriál (připomenutí: faktoriál je součin všech celých čísel od 1 do daného čísla).

Nejprve rekurzivní definice:

(definovat (fakt n)

z< n 2)

(*n(fakt(-n1)))

Když jsem se (Ken Dickey) poprvé naučil takové rekurzivní definice, nejtěžší bylo pochopit, jak je skrytý stav funkce uložen v zásobníku. Malá transformace kódu zviditelní zásobník.

; funkce identity jen vrací svůj argument

(definujte (hodnotu identity) hodnotu)

; uložit formu funkce skutečnost

; (nyní pouze volá funkci cfact)

(definovat (fakt n) (cfact n identitu))

; A funkce cfact – vypočítá faktoriál

(definovat (cfact n k)

(pokud (< n 2)

(k 1)

(cfact(-n 1)

(lambda (výsledek) (k (* n výsledek))))))

Funkce cfact je verzí funkce fact, která používá pokračování. Místo vracení výsledku pokaždé funkce obdrží další argument, „pokračování“, který je volán s výsledkem výpočtů funkce.

Uvidíme, jak se hovor promění ( skutečnost 3) :

(fakt 3) se stává (identita cfact 3)

(identita cfact 3) se stává

(cfact 2

(lambda (výsledek)

(identita (* 3 výsledek)))) ; k'

To se zase přemění na

(fakt 1

(lambda (výsledek’) ;; k’’

((lambda (výsledek)

(identita (* 3 výsledek))) ; funkce k"

(* 2 výsledek ')); argument prošel k"

((lambda (výsledek’) ;; k’’

((lambda (výsledek)

(identita (* 3 výsledky))) (* 2 výsledky’))

) 1)

((lambda (výsledek) (identita (* 3 výsledky))) (* 2 1))

(identita (* 3 (* 2 1)))

(* 3 (* 2 1))

-> 6

To není příklad toho, jak strašně složité věci lze snadno vyrobit z jednoduchých věcí. Proč jsme to udělali? Jde o to, že můžeme ovládat to, co se na zásobníku obvykle skrývá. To vám umožní dělat zajímavé věci. Jedno „pokračování“ můžeme ignorovat a místo něj použít jiné. Můžeme ovládat například dlouhodobé výpočty. Pokud budou trvat déle, než se očekávalo, můžeme uložit naše pokračování („kde jsme teď“) a zkusit jiný přístup k řešení problému. Pokud je nová možnost ještě horší, můžeme se vrátit k uloženému „pokračování“ a pokračovat ve výpočtech. Své pokusy o lepší výkon si samozřejmě můžeme uložit pro případ, že by to skutečně dopadlo lépe...

Použití „pokračování“ vám tedy umožňuje budovat velmi zajímavé, flexibilní řídicí struktury. Podívejme se nyní na faktoriál z druhé strany. Každé rekurzivní volání jednoduše posune další faktor do zásobníku. Ale nesmíme použít zásobník, pokud zavedeme další proměnnou „akumulátor“. Samozřejmě před zahájením výpočtů musí být akumulátor roven 1 (protože x *1 = x ).

(definovat (fakt n)

; definujte funkci pro výpočet faktoriálu s akumulátorem

(definovat (cfact _n acc)

(pokud (< _n 2)

(cfact (- _n 1) (* _n acc))

; zavolejte tuto funkci s akumulátorem rovným 1

(cfact n 1)

Na povrchu se tato funkce jeví jako rekurzivní. To však není pravda. Schéma má koncept „ocasní rekurze“, díky čemuž jsou běžné smyčky zbytečné. Každá funkce, která se volá v pozici „ocasu“ (tedy jako poslední akce), je jen smyčka.

Takže jsme převedli rekurzivní funkci na iterativní, cyklickou funkci. Existuje formální (teoreticky „správný“) způsob, jak toho dosáhnout; ale jedna pěkná vlastnost schématu je, že tyto transformace jsou jednoduché a intuitivní. Správně fungující programy lze psát rychle, i když mohou být zpočátku pomalé a náročné na paměť. Po odladění algoritmu je snadné je transformovat na mnohem efektivnější - a také správně fungovat! Konverze programů se pro zkušeného programátora Scheme stává druhou přirozeností.

Toto schéma má oproti jiným jazykům několik důležitých výhod. Jeho elegantně jednoduchá, jednotná struktura a triviální syntaxe se vyhýbají různým „zvláštním případům“. Jeho expresivita vám umožňuje vyhnout se plýtvání časem hledáním řešení: programátor se může soustředit na co Co musí to udělat, ale ne na to Jak udělej to. Schéma podporuje několik programovacích stylů, včetně aktuálně módního objektově orientovaného stylu, takže se programátor nemusí schématu přizpůsobovat; umí používat styl nebo způsob řešení problémů, na který je zvyklý. Formálnost schématu značně usnadňuje prokazování správnosti programů. Výkonné nástroje pro abstrakci umožňují oddělit části programu, které lze znovu použít, od částí, které jsou přizpůsobeny konkrétnímu problému/jazykové implementaci/operačnímu systému. Snadné kombinování různých funkcí a vytváření nových návrhů na jejich základě umožňuje vytvářet celé knihovny dobře vyladěných, univerzálních komponent.

Jinými slovy, pokud chcete psát složité, správné programy, ale nechcete nad tím strávit roky, Scheme je to, co potřebujete k úspěchu!

Krátký seznam nejznámějších implementací schématu.

Chez Scheme a MacScheme jsou jedny z nejlepších komerčních implementací; existuje však mnoho bezplatných interpretů a kompilátorů schémat pro vzdělávací účely i seriózní práci.

Jedním z nejlepších systémů pro Windows a Linux je MzScheme a na jeho základě postavený MrEd (systém pro tvorbu přenosného grafického uživatelského rozhraní) a DrScheme (možná nejpohodlnější existující vývojové prostředí programů).

Každý programovací jazyk má svůj vlastní účel. Některé jsou skvělé pro web, jiné pro desktopové aplikace, další potřebují Data Science a existují jazyky, které jsou ideální pro začátek s programováním. O Logo a Scratch jsme již mluvili, je čas přejít na vyšší úroveň vzdělávání a představit vám Scheme.

Stručné informace

Na konci 60. let 20. století začali vědci z MIT Guy Steele a Gerald Sussman vyvíjet další dialekt jazyka Lisp. Chtěli pouze jeho omezení, včetně složitosti syntaxe a neúplně vyvinutých funkčních programovacích algoritmů.

Výsledkem bylo, že vědci publikovali celou sérii poznámek publikovaných do roku 1980, které popisovaly myšlenky výpočtů lambda, rekurze ocasu a iterativního přístupu. Později byly nazývány Lambda Papers a staly se jedním z katalyzátorů pro spuštění funkčního programování pro masy.

Na základě popsaných konceptů se objevil jazyk Scheme, který s drobnými úpravami přežil dodnes.

Syntax

Než se podíváme na syntaxi, doporučuji přečíst si Scheme Wikibook. Jednoduše a na konkrétních příkladech ukazuje, jak vypadají funkce, struktury a samotný kód. S Wikiknihou se nestanete mistrem schémat, ale to pravděpodobně nebude nutné.

Závorky. Musí v nich být obsažen jakýkoli úplný výraz. To odstrašuje ty, kteří kód vidí poprvé, ale následně to v praxi nezpůsobuje potíže.

Žádné další servisní znaky. Dost se závorkami. Středník mimochodem odděluje komentáře od kódu.

Výstavba konstrukcí typu „akce-objekt“. V programovacím jazyce to vypadá neobvykle, ale když je přeloženo do přirozeného jazyka, je to docela pochopitelné.

Jinak se z hlediska syntaxe jedná o klasický zjednodušený programovací jazyk. Podívejte se na jednoduchý příklad faktoriálového výpočtu:

(definovat (faktor n)
(pokud (= n 0)
1
(*n(faktoriální(-n1)))))

Jak je vidět, kromě pořadí nahrávání a velkého množství závorek nejde o nic neobvyklého.

Kde se používá?

Schéma se studuje na amerických školách a univerzitách. S jeho pomocí si studenti osvojí základy procedurálního i funkcionálního programování. S žádným jiným základním jazykem tento trik nezvládnete.

Ale v životě po studiu nemá schéma konkrétní oblast použití. Zpravidla se jedná o pokračování studentských projektů, malé kousky kódu a zkušební verze. Důvodů jeho neoblíbenosti je několik:

• velké množství kódu;
• potíže s laděním a hledáním chyb;
• nedostatek funkčních výhod ve srovnání s Common Lisp, Haskell, Clojure atd.

Obecně je vydělávání peněz pomocí jazyka Scheme velmi problematické.

Pro ty, kteří chtějí znalosti aplikovat v praxi, jsou však vyvinuti tlumočníci: Racket a Bigloo. Rozšiřují standardní možnosti Scheme, včetně syntaxe, a také otevírají nové funkce: vizualizace, práce s maticemi a poli, přímá interakce s jinými jazyky.

Vyhlídky

Navzdory tomu, že se Scheme ocitlo pouze ve školství, je zařazeno do první padesátky hodnocení TIOBE. Existuje však negativní trend – jazyk ztrácí každý rok 0,05 % popularity. Je to dáno vznikem konkurentů, kteří jsou vhodní pro funkcionální programování, mají více možností uplatnění v životě a přitom jsou jednoduché.

Je tedy velká pravděpodobnost, že za 5-10 let jazyk zmizí z radaru a na jeho místo nastoupí nějaký Scratch. Ale než se tak stane, věnme pár minut svého života seznámení se Scheme. Se svou 47letou historií si to zaslouží.

Zavedení

Při vývoji Scheme byl kladen důraz na eleganci a jednoduchost jazyka. Filozofie jazyka je důrazně minimalistická. Jeho cílem není házet do jednoho pytle různé užitečné konstrukty a nástroje, ale naopak odstraňovat slabiny a omezení, která vyžadují přidávání nových funkcí do jazyka. Výsledkem je, že Scheme obsahuje minimum primitivních konstrukcí a umožňuje vám vyjádřit cokoli chcete tím, že na nich budete stavět. Jako příklad můžeme poukázat na to, že jazyk používá 2 mechanismy pro organizaci smyček:

1. "zbytková" nebo "ocasní" rekurze rekurze ocasu)
2. iterativní přístup (který používá dočasné proměnné k uložení mezivýsledku).

Scheme byl prvním dialektem Lisp, který používal výhradně statické (spíše než dynamické) variabilní škálování, zajišťoval optimalizaci rekurze ocasu a podporoval booleovské datové typy (#t a #f místo tradičně trapných T a NIL). Byl to také jeden z prvních jazyků, který byl přímo podporován pokračování(Angličtina) pokračování). Od specifikace R^5RS získal jazyk výjimečně výkonný a pohodlný způsob psaní maker založených na syntaktických transformačních vzorcích „hygienickým“ způsobem. hygienické_makro). Schéma také implementuje „sběr odpadu“. sběr odpadků), tedy automatické uvolnění paměti z objektů, které se již nepoužívají.

Jazyk používá seznamy a jednorozměrná pole („vektory“) jako základní datové struktury. V souladu s deklarovaným minimalismem (zatím) neexistuje standardní syntaxe pro podporu struktur s pojmenovanými poli, stejně jako OOP nástroje - to vše si může programátor implementovat podle své preference, i když většina jazykových implementací nabízí již hotové mechanismy .

Pro zajímavost lze uvést, že původní název jazyka Schemer byl změněn na současný z důvodu tehdejšího omezení délky názvů souborů v ITS.

Příklady

Jednoduché matematické operace

(+ 2 (* 2 2 ) ) (+ 1 2 3 4 )

Každé volání operace (nebo funkce) je reprezentováno jako seznam, ve kterém symbol operace (což je v podstatě název funkce) vždy zaujímá počáteční pozici.

Typové predikáty

(číslo? 5 ) (číslo? "foo" ) (řetězec ? "foo" )

Podle konvence končí jména všech predikátů symbolem? .

Kontroly rovnosti

(rov.? "foo" "bar" ) (rov.? 5 (+ 2 3) ) (rov.? (rov.? 2 3) (rov.? 3 4) )

Definování maker pro tradiční operace push/pop

(define-syntax push! (syntax-rules () ((push! x l ) (set! l (cons x l) ) ) ) (define-syntax pop! (syntax-rules () ((pop! l ) (let ( (x (auto l ) ) ) (set! l (cdr l ) ) x) ) ) )

Definování funkcí

;; faktoriál v (neefektivním) rekurzivním stylu(definujte (skutečnost x) (pokud (< x 3 ) x (* (fact (- x 1 ) ) x) ) ) ;; Fibonacciho funkce – vyžaduje dvojitou rekurzi(definujte (fib n) (podmínka ((= n 0 ) 0 ) ((= n 1 ) 1 ) (jinak (+ (fib (- n 1 ) ) (fib (- n 2) ) ) ) ) ;; součet prvků seznamu v typickém stylu Scheme ;; (pomocná funkce smyčky vyjadřuje smyčku pomocí ;; ocasní rekurze a proměnná akumulátoru)(definujte (součet-seznam x) (nechte smyčku ((x x) (n 0) ) (if (null? x) n (smyčku (cdr x) (+ (auto x) n) ) ) ) ) (fakt 14) (fib 10 ) (součet "(6 6 6 100) ) (součet (mapa fib "(1 2 3 4)))

Definice funkce musí odpovídat následujícímu prototypu:

(definujte název_funkce (lambda (seznam_argumentů) (implementace_funkce) ) ,

i když v praxi se častěji používá zkrácená forma:

(definovat (argumenty název_funkce) (implementace_funkce) ) .

I/O

(zapsat (+ (číst) (číst)))

Odkazy

Odkazy v ruském jazyce

Anglické odkazy

Učebnice v angličtině

• Video přednášky „Struktura a interpretace počítačových programů“, Harold Abelson a Gerald Jay Sussman
• The Scheme Programming Language, R. Kent Dybvig

Nadace Wikimedia.

2010.

Podívejte se, co je "Schéma (programovací jazyk)" v jiných slovnících: