OberonCore

Добрый день, уважаемое Оберон-сообщество!!!
Раз уже на форуме пошла речь о Рапиде http://forum.oberoncore.ru/viewtopic.php?f=28&t=1263, то хотелось бы затронуть еще один интересный проект команды Ершова - СЕТЛ.
Работы проводились совместно с американской группой, но связи с войне в Афганистане сотрудничество было приостановлено. Сетл оказал влияние и на Рапиду(К примеру понятие кортежа пришло из Сетл). Хотелось бы услышать ваше мнение на счет данного проекта.
http://ru.wikipedia.org/wiki/%D0%A1%D0%B5%D1%82%D0%BB
http://www.computer-museum.ru/books/n_mozaika/setl.htm
http://www.ershov.ras.ru/archive/eaindex.asp?lang=1&gid=1452
Спасибо за внимание.

На основе функций -- функциональное программирование.
Почесали репу: хотим красиво! математически чтобы всё!
А что лежит в основаниях математики? (терминология популярной мифологии, с коей лично я не дружу --ФТ)
Теория множеств! "Рай, который открыл для нас Кантор" (с) Д.Гильберт
.......

В общем, такого рода логика меня лично не впечатляет. Совсем. Зная, к каким провалам приводит жесткое приведение к теории множеств.
Если кто-то занятия найти себе не может -- пусть этим занимаются. Поковыряться интересно, может, можно что-нибудь сковырнуть забавного. Но чисто лабораторно, без претензий.

Говорю про претензии, т.к. подразумеваемый тут исходный тезис -- "теория множеств есть основание математики" -- такую претензию implies.