к
Size: a a a
2020 December 15
AA
вроде его выдумали лет тридцать назад еще
Oℕ
В аренде, конечно, фича настолько сильно урезанная, что называть её гадтом не стоит, наверное
2020 December 16
NI
Заведомо ненаселяемые типы это смешно
Смотря какой контекст.
От фантомных типов в хаскеле тоже смешно?
От фантомных типов в хаскеле тоже смешно?
KV
Смотря какой контекст.
От фантомных типов в хаскеле тоже смешно?
От фантомных типов в хаскеле тоже смешно?
От населённых нет, от ненаселённых да, по-моему это вообще ортогонально, потому что это роль, а не свойство самого типа
АХ
Data.Void врывается в тред
NI
Data.Void врывается в тред
Пока не вижу никаких ROFL.
AA
так, ладно, вместо линтипов откатили боксед реп
MK
так, ладно, вместо линтипов откатили боксед реп
который сегодня и залили?
KV
Data.Void врывается в тред
Один ненаселённый тип это ок, а дальше уже хз
AV
data FooAV
Второй
KV
Второй
Ну он изоморфный и живёт в том же кайнде, так что не считается
MK
Что там алексис говорила, как правильно бенчмаркать mtl?
G
Можно как-то работать с Data.Set в рекурсии при том, что используется один и тот же сет? Кейс — хожу рекурсивно по дереву решений, и если нода уже встречалась ранее в соседних ветках, то останавливаюсь
MK
Можно как-то работать с Data.Set в рекурсии при том, что используется один и тот же сет? Кейс — хожу рекурсивно по дереву решений, и если нода уже встречалась ранее в соседних ветках, то останавливаюсь
Самое простое - жить в State (Set Foo) Bar
MK
Или использовать STRef
G
Самое простое - жить в State (Set Foo) Bar
Это что?
A
Что там алексис говорила, как правильно бенчмаркать mtl?
MK
Это что?
Монада State