LINUX.ORG.RU
ФорумTalks

Поясните за монады

 , , , ,


0

1

Вот есть, например, тип Score. И есть монада Thread_lifetime.

(Score -> Score) -> Thread_lifetime Score -> Thread_lifetime Score
Допустим, был у меня скор 90. Создаю я тред 𐑨𐑤𐑓𐑨𐑝𐑦𐑑𐑩𐑫 𐑚𐑧𐑮𐑵𐑨𐑮𐑛𐑨 𐑖𐑩𐑪. Тред сносят, ибо нефиг 𐑒𐑮𐑨𐑒𐑩𐑟'𐑨𐑚𐑮𐑨𐑫𐑦 𐑐𐑦𐑕𐑨𐑑'. После этого скор находится в недетерминированном состоянии где-то в {70..90} (монада Шрёдингера, пока не снесут — не узнаешь). А ещё в зависимости от того, как на сутки по МСК накладывается лайфтайм и когда создан аккаунт, скор может вырасти. А ещё он может изменяться в зависимости от лайфтайма других тредов и комментариев. Причём в текущий момент конец их лайфтайма обычно неизвестен, если только ты не спамер и не вальман. А ещё могут за аватарку скор снять. А ещё не следует исключать фактор полезшего напрямую в базу Макскома или потустороннего русского хакера... Вот как бы всё это учесть?!..

Перемещено tailgunner из development

упорин форте, фпвим

Лол :-) Учесть-то что именно хочешь? Все перечисленные факторы можно только прогнозировать, но учёт != вангование

Deleted ()
Ответ на: комментарий от Deleted

Все перечисленные факторы можно только прогнозировать

Так когда мы сохранили стейт и ждём следующего стейта — следующий стейт нельзя спрогнозировать. И тем не менее, следующий стейт является функцией текущего состояния от предыдущего стейта. То есть предрассчитать его нельзя, но задать зависимость от других данных заранее можно.

bodqhrohro_promo ()
Ответ на: комментарий от bodqhrohro_promo

следующий стейт является функцией текущего состояния от предыдущего стейта

Следующее состояние является результатом обработки некого события, произошедшего при нахождении сущности в предыдущем состоянии

задать зависимость от других данных заранее можно

Описание этих зависимостей, грубо говоря, и является той самой функцией. Я так понимаю, у тебы проблемы с конкретизацией понятия «другие данные» для твоего примера - смени пример, иначе придётся моделировать мозг конкретного человека(и не одного)

Deleted ()

Никогда не тянуло приобретать виртуальный авторитет. То ли дело настоящий, IRL. Вон, анонимус его имеет.

burato ★★★ ()
Ответ на: комментарий от Deleted

А чего сразу «смени пример»? Выходит, ФП применимо только в лабораторных условиях?

bodqhrohro_promo ()

с тобой все хорошо?

dave ★★★★★ ()

А, вообще, у тебя тут функтор, а не монада. Не различаешь их?

Для монады надо по другому:

(Score -> Thread_lifetime Score) -> Thread_lifetime Score -> Thread_lifetime Score
dave ★★★★★ ()

Вот как бы всё это учесть?!..

Привести твою учётку в детерминированное состояние совсем не трудно: просто выложи пароль.

Manhunt ★★★★★ ()
Ответ на: комментарий от Manhunt

Выкладывание пароля не является безусловным триггером к удалению всех сообщений.

bodqhrohro_promo ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.