Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет kouzdra ([info]kouzdra)
@ 2012-11-14 11:21:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Подумалось странное:
По поводу:

Что основная идея функциональных языков - искоренение из семантики времени и замена его на частичный порядок, определяемый явными зависимостями по данным

(Читать комментарии) - (Добавить комментарий)


[info]kouzdra
2012-11-14 14:00 (ссылка)
С какой стати? Последовательность конечно есть - но она
ф) явная
б) не глобальная

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]qwerty
2012-11-14 14:13 (ссылка)
ф)Так и последовательность операторов тоже явнаяю
б)Да, в пределах одного потока. Но ведь и физических шкал времени больше одной.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kouzdra
2012-11-14 14:20 (ссылка)
Зависимости-то неявные (и не всегда определенные в языке). То есть можно считать это таки вырожденным случаем, но это чрезмерно сильно предположение - потому и неудобное.

Ну и опять же - в clean единой нити исполнения нет - состояния там ветвятся и потом сходятся. В общем конечно последовательность операций с внешним миром можно установить - но порядку следования операторов они не соответствуют

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]qwerty
2012-11-14 14:38 (ссылка)
Я ничего не знаю про Clean, но ввод-вывод из небуферизуемых потоков очевидным образом требует последовательности (от изменения порядка изменится результат). Буферизация меняет масштаб и делает возможным локальное изменение порядка, но не более того. В тому же не всегда буферизация осмысленна.

(Ответить) (Уровень выше)

(Читать комментарии) -