ЗП
для этого опять же ничего не надо менять
depths :: forall f a. Functor f => Foldable f => Cofree f a -> Cofree (EnvT a f) Int
depths = synthCata depthAlg
Size: a a a
2019 September 25
ЗП
ЗП
у нас есть такое вот дерево
cotree :: Cofree Array Int
cotree =
1 :<
[ 2 :<
[ 4 :<
[ 5 :<
[ 6 :< [ 7 :< [] ] ]
]
]
, 3 :<
[ 40 :< []
, 50 :< []
]
]
ЗП
для него глубина будет
> depth cotree
6
ЗП
аннотированное дерево будет
ЗП
> log $ unlines $ draw $ depths cotree
6
|
+- 5
| |
| `- 4
| |
| `- 3
| |
| `- 2
| |
| `- 1
|
`- 2
|
+- 1
|
`- 1
ЗП
ну и наконец аннотированное дерево с данными
> log $ unlines $ draw $ depthsWithData cotree
(Tuple 1 6)
|
+- (Tuple 2 5)
| |
| `- (Tuple 4 4)
| |
| `- (Tuple 5 3)
| |
| `- (Tuple 6 2)
| |
| `- (Tuple 7 1)
|
`- (Tuple 3 2)
|
+- (Tuple 40 1)
|
`- (Tuple 50 1)
ЗП
как можно заметить все достаточно легко собирается из кусочков
ЗП
аннотированное дерево очень полезно, когда вы делаете тайпчекер и хотите указать в каком куске был мисматч типов
ЗП
аннотированное дерево это из части аттрибутивной грамматики
ЗП
если кому интересно про это в рекурсивных схемах, можно детальней рассмотреть
2019 September 28
GP
Ребят не нашел replicateM
Пришлось вот так сделать
gen n m= traverse (\_ -> randomInt 1 m) [1 .. n]
Пришлось вот так сделать
GP
Подскажите есть вообще replicateM?
VY
есть подходящее что-то в
-unfoldable и в -listsGP
мм ща поищу спасибо!
KV
Там, конечно, нужны ленивые списки, поэтому в
-listsGP
Я вот пока только въезжаю в purescript, по дефолту все стрикт в отличие от хаскеля,
import Data.List.Lazy(replicateM, List)заипортил лист лейзи, правильно понимаю что на выходе будет структура аля генераторы в js?
VY
ну да, можно провести аналогию с генераторами
GP
👍👍 Спасибо!