[
Типа
data List a = List (a, List a)?Ты этот тип никогда не создашь
Вот
List a = List List a
реально становится бесконечно вложенным листом
Size: a a a
2021 March 05
к
Ты этот тип никогда не создашь
да почему
[
А, ну, да, я как-то не подумал, что в хаскеле можно делать определения через самих себя
к
достаточно полезный и удобный тип, есть в либах ( https://hackage.haskell.org/package/Stream-0.4.7.2/docs/Data-Stream.html ) , я думал что он есть и в base
к
А, ну, да, я как-то не подумал, что в хаскеле можно делать определения через самих себя
можно и не через самого себя
nats = go 0 where go n = List n (go (n + 1))
nats = go 0 where go n = List n (go (n + 1))
к
когда-то давно я таким образом моделировал память для брейнфака, два бесконечных стрима в разные стороны, и удобное хождение право/влево, без матчинга пустых списков
https://github.com/kana-sama/bfhs/blob/master/src/Brainfuck/Tape.hs
https://github.com/kana-sama/bfhs/blob/master/src/Brainfuck/Tape.hs
O
Вот
List a = List List a
реально становится бесконечно вложенным листом
List a = List List a
реально становится бесконечно вложенным листом
главное
data List a = List a !(List a) не делать - такой уже создать не получится[
когда-то давно я таким образом моделировал память для брейнфака, два бесконечных стрима в разные стороны, и удобное хождение право/влево, без матчинга пустых списков
https://github.com/kana-sama/bfhs/blob/master/src/Brainfuck/Tape.hs
https://github.com/kana-sama/bfhs/blob/master/src/Brainfuck/Tape.hs
Хы
А у меня есть конвертер текста в бф-код, который печатает нужный текст
А у меня есть конвертер текста в бф-код, который печатает нужный текст
[
Хы
А у меня есть конвертер текста в бф-код, который печатает нужный текст
А у меня есть конвертер текста в бф-код, который печатает нужный текст
Правда, мне тогда было лень придумывать годный алгоритм и я использовал только перые две ячейки