Albatross 0.1 — это язык программирования со статической верификацией

allthough version 0.1 is not yet able to compile real programs

Эт-то понятно. Но что может/будет обозначать многоточие после конца?

А когда компилятор перепишут на нем самом?

Посмотрел на синтаксис. Окамл лезет изо всех щелей. Не могли бы пояснить, зачем нужно было писать ещё один язык на Окамле, если можно было просто расширить Окамл?

зачем

Кот яйца лижет. потому что может.

Затем, что Окамл не расширяем вменяемыми путями

I'm an Albatraoz

да, я слишком много слушаю европу+)

А ведь когда-то ML придумывали ровно с этими же целями — теоремы доказывать :) сначала реинкарнировали ML в OCaml, теперь вот это.

Вывод — вместо того, что бы доказывать теоремы придумываем языки для их доказательства.... Измельчал народ.

Что-то откровенно напоминает синтаксис бизона.

Земля - это планета в Солнечной системе.

Правильно понимаю, что написанный на этом код будет работать при любых условиях, при любых значениях? т.е. это нечто что позволяет создавать ПО на 100% соответствующее задуманному?

А многотичие что будет обозначать?

Библиотеку.

На лоре програмистов хоть пруд пруди... ... .... ...

«По требованию правообладателей музыку на сервисе можно слушать только пользователям из России, Украины, Беларуси и Казахстана.»

http://www.youtube.com/watch?v=Bznxx12Ptl0

как хорошо, что я не слушаю европу+

Снижает число ошибок при проектировании. Грубо говоря, процесс написания кода напоминает описание математической модели, а не составление алгоритма.

Вот если бы там писалось русскими буквами и с дельфийским синтаксисом, тогда бы рулёз

используй Blackbox Component Pascal — сборку Oberon-2 для школоты. пример скачать бесплатно без СМС c русским синтаксисом (там включено «из коробки»).

под линакс либо wine либо надо допилить загрузчик elf-loader, вот это

Lazarus сильно более толстый, чем всё вот это. да и язык более правильный. хотя батареек сильно меньше.

а нет такого же, только с троичной логикой?

знаю точно, что «да»/знаю точно, что «нет»/«не знаю»

Как правило, это несложно реалиовать самому.

ну и прикрути парсер русской морфологии на этом вот. и трансляцию в русскоязычный оберон-2. будешь на естественном языке компьютором командовать. например, можно какой-то Interactive Fiction движок с поддержкой русской морфологии использовать, типа ЯРИЛа.

ещё можно написать для Emacs org-mode babel режим для Blackbox Component Pascal: в BBCP модуль с управлением по телнету, который умеет компилировать модуль/выгружать модуль/загружать новый модуль/перегенерировать новую систему (DevElfLinker)/перезапускать новую систему.

типа как SLIME для Lisp-а реализован в Емаксе, только тут для Oberon-2 и API попроще. потом пишешь в емаксе в org-mode babel грамотный код, делаешь ему tangle + компиляцию + перезагрузку новых модулей, запускаешь, кнопки жамкаешь с коммандерами, радуешься.

А ведь когда-то ML придумывали ровно с этими же целями — теоремы доказывать :) сначала реинкарнировали ML в OCaml, теперь вот это.

а потом на ML написали Корчевателя...

Вот если бы там писалось русскими буквами

их вообще дофига

на паскале написать систему верстки уровня TeХ.

проект Этих — Тех, переведённый промптом.

Так у вас же там без гото. Это неправильные пчёлы и они делают неправильный мёд.

Емакс это что-то страшное и кошмарное, его любят либители ассемблера на стероидах. Ассемблер не выучил - сначала не было литературы, потом времени и стимула.