Oberon space

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

oberon@conference.jabber.ru

Кстати, если мне память не изменяет, то языки с зависимыми типами, вроде Agda и т.п., где как раз на этапе компиляции проверяется всё от и до, не являются тьюринг полными (точнее то их подмножество где всё это как раз проверяется и доказывается). Правда они таки функциональные, я мне хочется тут императивный. Ну и хочется без столь страшной доказательной математике (я не верю что масс-программист её осилит, собственно даже хаскеля народ боится).

Я вообще говоря долго думал о эффективном и при этом безопасном языке. Безопасный -- я имею ввиду проверка на ошибки на этапе компиляции. Эффективный -- проверка ИСКЛЮЧИТЕЛЬНО на этапе компиляции.

В частности проверка численных переполнений и выход за границы массива.

Таки вот, я пришел к выводу, что сделать подобное для тьюринг-полного языка невозможно (я это даже помнится доказал). Следовательно нужно попробовать построить тьюринг-не полный подъязык. Кроме того, мне интуитивно кажется, что процентов 90 всего кода в современных приложениях может быть писано на таком вот подъязыке. Я пробовал на наколеночном прототипе написать quicksort -- получилось. И оно даже внятней смотрелось, чем вариант даденый Виртом в своей книжке.

Т.е. тут примерно такой же подход как в Haskell'e -- там код делится на код с побочными эффектами (такого кода мало) и код без побочных эффектов (такого большенство). Тут будет деление на код тьюринг-полный, и на не тьюринг-полный код. Причем из первого можно вызывать последний, но из последнего нельзя вызывать первый.

Вот как-то так.

Предлагаю таки обсудить что тут ещё нужно допилить. Нужно ли форум доразбивать на разделы (сразу много разделов плодить не интересно, поэтому предлагаю минимально очертить первичную разбивку, чтобы было штуки 3-4 подфорума, не больше).

Если кого интересует политика модерирования на этом форуме... Я ленивый :-) Поэтому удаляться будет только спам. Правиться в сообщениях будет только мат. Что с темами обсуждений может быть... Ну, в случае если вдруг совсем офтопик пошел, то нитка обсуждения может быть заморожена, чтобы народ создал с более вменяемым названием тему. Ну и при глобальной реструктуризации форума, темы форума могут разъехаться по новым разделам. Всё. Больше ничего произойти с темами не может.

На форуме можно на Вы и можно на Ты. Приветствуется второе, это ж talk4fun! Мы тут друг другу не враги, а скорее таки друзья, объединенные общими интересами.

Если форум будет разрастаться, или будет разрастаться моя лень, то я склонен дегировать полномочия модерирования подфорумов тем, их основателям/желающим/тех кого там выберут.

Что ещё.. Система наград за мат и прочее фидошная. Легкое предупреждение это (*). серьезное предупреждение это (+). Формула такая:
(*) + (*) + (*) = (+)
(+) + (+) + (+) = (!)
Где (!) это перево в read only на некоторое время (в зависимости от тяжести проступка).

Самый тяжкий проступок это прямое оскорбление. Особенно с матом. За это можно сразу схлопотать (!).

Но вообще, повторюсь, модерирование будет о-очень ленивое. Ну очень. :-) У модератора должен быть здоровый пофигизм.

Да, все обсуждаемые темы, все подфорумы всегда будут открыты для чтения всем в т.ч. не зарегистрированым пользователям. Это принципиальная позиция. Нам скрывать нечего.

Чуть более полные правила будут позже.