Lisaac
| Класс языка: | |
|---|---|
| Появился в: | |
| Автор(ы): |
Benoît Sonntag |
| Релиз: |
0.13.1 (Спецификация) (February 17, 2008) |
| Типизация данных: | |
| Основные реализации: |
Lisaac |
| Испытал влияние: | |
| Сайт: |
Lisaac — это первый компилируемый объектно-ориентированный язык программирования основанный на концепции прототипов, поддерживающий системное программирование и контрактное программирование.
Lisaac был разработан для написания операционной системы Isaac.
Компилятор Lisaac создаёт оптимизированный ANSI C код, который можно скомпилировать на любой платформе для которой имеется компилятор языка C, что делает программы на языке Lisaac переносимыми. Возможно получить программы столь же быстрые, как и программы написанные на языке C[1][2].
Несмотря на то, что язык строго типизирован, нет различия между кодом и данными. Даже скомпилированный код сохраняет динамические свойства.
Содержание |
Простейший пример кода [править]
Section Header
+ name := HELLO_WORLD;
Section Public
- main <-
(
"Hello world\n".print;
);
Динамическое наследование [править]
Родительский объект — это просто слот, значение которого можно переопределить:
Section Header
- NAME := DECOD_MPEG2_TO_SCREEN;
Section Inherit
- videoparent : OBJECT <-
(
+ result : OBJECT;
typ
.when 1 then { result := WINDOW;}
.when 2 then { result := VIDEO_VGA;}
.when 3 then { result := VIDEO_TVOUT;};
result
)
Section Public
- typ : INTEGER;
- decode_stream <-
(
putimage decode_to_bitmap;
)
Переопределение операторов [править]
В Lisaac оператор — это слот, значение которого можно переопределить. Для примера переопределим оператор "+" для объекта NUMERIC:
- '+' Left 80 other:SELF :SELF <- Self - -other;
Или для матрицы:
- '+' Left 80 other:SELF :SELF <-
(
+ result : SELF;
result := SELF.create count;
1.to tab.count do {
i : INTEGER;
result.put (item i+other.item i) to i;
};
result
)
Обобщённое программирование [править]
Предусмотрены обобщённые объекты:
ARRAY[E], DICTIONARY[KEY,VALUE]
Контрактное программирование [править]
Контрактное программирование с использованием Z нотации.
Внешние ссылки [править]
Сноски [править]
- ↑ Isaac project benchmarks(недоступная ссылка — история). Проверено 24 июля 2007.
- ↑ Computer Language Benchmarks Game. Архивировано из первоисточника 19 марта 2012. Проверено 8 июля 2008.
 |
Это заготовка статьи о компьютерных языках. Вы можете помочь проекту, исправив и дополнив её. |
