Отцы, возвращаясь к этим синглтонам из https://blog.jle.im/entry/introduction-to-singletons-1.html
Понять я все понял, но не представляю как бы я сам это в жизни применил. Могу только по полной аналогии статье:
- Есть ли phantom types?
- Есть ли функции вида
PhantomType a -> PhantomType b? - Юзаем синглтоны!
А помимо этого?
Всем привет не могу понять почему стандартный list fold пытается взять тип [[char]] и не использует тип [text]
abbreviate :: Text -> Text
abbreviate xs = T.toUpper text
where text = foldl (\acc x -> T.snoc acc (head x)) T.empty res
text :: Text
res = T.split (\x -> x == ' ' || x == '-') xs
res :: [Text]выдает ошибку
• Couldn't match type ‘Text’ with ‘[Char]’
Expected type: [[Char]]
Actual type: [Text]
• In the third argument of ‘foldl’, namely ‘res’
In the expression:
foldl (\ acc x -> T.snoc acc (head x)) T.empty res
In an equation for ‘text’:
text = foldl (\ acc x -> T.snoc acc (head x)) T.empty res
|
8 | where text = foldl (\acc x -> T.snoc acc (head x)) T.empty resText.uncons
.x и .y модуля, перечисленных в кабалфайле
Сначала я его распарсил в DotGraph a из http://hackage.haskell.org/package/graphviz-2999.20.0.3/docs/Data-GraphViz-Types-Graph.html
Распарсить таким образом, чтобы в a был лейбл я не смог, поэтому пришлось написать функцию, которая проходит по всему графу и матчит ноду с нужными атрибутами. У найденной ноды дернул successors, а это оказались только непосредственные последователи. Т.е. тут тоже чет рекурсивное надо было изобретать, поэтому я забил.
Потом через fgl пробовал, но там оказалось что при восстановлении назад из fgl в дот он какую-то информацию теряет. Не помню уже что именно. Я расстроился и пошел пить.
s только строятся задумки (s + 1), но никогда не вычисляются
g ks (x0,xs,s)
|x0 == x0' = (x0,s)
|True = g ks (x0',x0:take 30 xs,(s+1))
where
x0' = f xs ks /sum ks
f (x:xs) (k:ks') = x*k + f xs ks'
f _ _ = 0
main = g [2,3,9] (1,[],0)s
sum тоже линейно память потребляет на некоторых уровнях оптимизации