MK
Size: a a a
2020 December 16
G
Монада State
А мутировать сет как?
типа
типа
... do
cache <- x `insert` cache?MK
В монаде State есть операции get и put
MK
И modify
MK
1. это не будет мутация, создается новый сет все равно, просто далее в коде get будет возвращать новый сет, а не старый
2.
modify (insert x)
2.
modify (insert x)
Пункт 1 - честно мутабельный сет все равно сложно получить, поэтому я эту опцию и не рассматривал вообще
MK
Есть, кажется, но тогда надо жить в IO или ST
MK
Есть пакет impure-containers, но я не помню что именно там есть
G
Есть, кажется, но тогда надо жить в IO или ST
Разве без монады вообще так возможно?
G
это же сайд эффект — поместить ноду в кеш
к
Можно как-то работать с Data.Set в рекурсии при том, что используется один и тот же сет? Кейс — хожу рекурсивно по дереву решений, и если нода уже встречалась ранее в соседних ветках, то останавливаюсь
так, правильный ответ - нет
G
так, правильный ответ - нет
Есть правильный паттерн в хаскеле, чтобы это реализовать?
MK
Кана, не занудствуй
Самый правильный выход для начала - монада State
Самый правильный выход для начала - монада State
G
а зачем использовать тот же самый Set?
Это как пример структуры с быстрым lookup, чтобы определять, в кеше нода или нет
G
ну так и иммутабельный сет тоже будет иметь быстрый лукап
Иммутабельный у меня не сработает, кеш должен шериться на все ветки обхода