Калейдоскоп (бағдарламалау тілі) - Kaleidoscope (programming language)
The Калейдоскоп бағдарламалау тілі Бұл бағдарламалауды шектеу тілдік енгізу шектеулер ішіне императивті объектіге бағытталған тіл. Ол кілт сөздерді қосады әрқашан, бір рет, және бекіту..кезінде (бұрын уақыт..бекіту) реляциялық инварианттар туралы мәлімдеме жасау. Нысандарда қолданушы анықтаған деректер типтерінің мағыналарын орындау үшін әдістер емес, шектеуші конструкторлар бар.
Калейдоскоптың үш нұсқасы бар, олар декларативтен барған сайын императивті стильге дейінгі эволюцияны көрсетеді. Олардың арасындағы айырмашылықтар келесідей.[1]
| 90. Калейдоскоп | Калейдоскоп'91 | Калейдоскоп'93 | |
|---|---|---|---|
| Шектеуді бағалау | Жалқау | Асығыс | Асығыс |
| Айнымалылар | Ағындарды ұстаңыз | Ағындарды ұстаңыз | Императивті |
| Бір мезгілде болатын шектеулер | Қатаң | Қатаң | Қатаң емес |
| Синтаксис | Smalltalk тәрізді | Алгол тәрізді | Алгол тәрізді |
| Шектеу моделі | Нақтылау | Нақтылау | Перуртация |
| Диспетчерлеу әдісі | Бойдақ | Бірнеше | Бірнеше |
| Тапсырма | Шектеу ретінде | Шектеу ретінде | Деструктивті |
Мысал
Екі код сегментін салыстырыңыз, екеуі де пайдаланушыға сынап деңгейін қарапайым графикалық термометрде тышқанмен сүйреуге мүмкіндік береді.
Шектеулерсіз:
while mouse.button = down do do old <- mercury.top; сынап.жоғары <- тышқан.орны.y; температура <- сынап. биіктік / шкала; егер ескі <сынап.топ, содан кейін дельта_грей (ескі, сынап.топ); display_number (температура); elseif ескі> сынап.топ содан кейін delta_white (сынап.жоғары, ескі); display_number (температура); соңы; егер аяқталса;
Шектеулермен:
әрқашан: температура = сынап. биіктік / шкала; әрқашан: ақ тіктөртбұрыш (термометр); әрдайым: сұр түсті тікбұрыш (сынап); әрқашан: дисплей нөмірі (температура); тінтуір.түймешік = төмен сынап.топ = тышқан.орналасу.y ; аяқталғанша;
Әдебиеттер тізімі
- Лопес, Гус; Бьорн Фриман-Бенсон; Алан Борнинг (1994). «Калейдоскоп: Императивті бағдарламалаудың шектеулі тілі». Шектеу бағдарламалау. Шпрингер-Верлаг. 313–329 бет.
- Марриотт, Ким; Питер Дж. Стуки (1998). Шектеулермен бағдарламалау: кіріспе. MIT түймесін басыңыз. ISBN 0-262-13341-5
 | Бұл бағдарламалау тілі - қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. |