к
Size: a a a
2020 November 23
MK
Хитрый какой
KV
Make illegal states representable via coerce
KV
А ансейф
АК
type SM a = StateT [[Int]] IO a
push :: Int -> SM ()
push x = modify (\(cur:rest) -> ((x:cur):rest))
push :: Int -> SM ()
push x = modify (\(cur:rest) -> ((x:cur):rest))
да я так изначально и делал, но тогда f не видит изменений в [[Int]], которые происходят после ее объявления
KV
Ну хотя бы хорошо сломать, а не черт знает где
к
да я так изначально и делал, но тогда f не видит изменений в [[Int]], которые происходят после ее объявления
да, тогда придется оставить рефы
АК
то что там сделано я делал тысячу раз когда писал тайпчекеры и интерпретаторы
я вот и пытаюсь из sicp интерпретатор для лиспа написать - уперся в то, что когда лябмду создаю не получается окружающие объявления захватить (по сути то, что выше)\
АК
а в лисп этот мутабельный?
да
АК
а если мутабельный, то придется оставить рефы
жаль, ну ладно