С
а в fi очевидным образом происходит свертка, стоит переписать через foldr
Size: a a a
2021 August 26
͏
не знаю наскок смешно говорить memory leak, но да, я реально тут дофига памяти юзаю
͏
надо проверить функцию на тотальность 🤔
С
space leak говорят
͏
tldr; это когда аллокейтишь много вирт памяти?
С
я видел в контексте образования thunkов, например от сворачивания огромного списка левой сверткой, там несколько гигабайт памяти может занять, при том бесполезной информации, поэтому рекомендуют строгую левую свертку использовать
͏
я дебил окасса
͏
там у мя бесконечная рекурсия
͏
проверил на тотальность крч
͏
*list-replication> :total f
Main.f is possibly not total due to:
Main.fa, which is possibly not total due to recursive path:
Main.fa, Main.fa
IR
когда не освобождаешь вовремя
A
А есть какой нить пакет с монадой Result, типа как в фшарпе или типом Result в хаскеле? Я нашел data-result но он чот прям старый
[
Either
͏
data Point = Point { x :: Int, y :: Int } deriving (Eq, Ord, Show)
distance :: Point -> Point -> Int
distance (Point x1 y1) (Point x2 y2) = abs (x1 - x2) + abs (y1 - y2)
-- perimeter :: [Point] ->
perimeter :: [Point] -> Int
perimeter points = sum $ map (distance) (zip points (tail points))͏
почему он у меня орет на это
• Couldn't match expected type ‘Int’
with actual type ‘Point -> Int’
• In the expression:
sum $ map (distance) (zip points (tail points))
In an equation for ‘perimeter’:
perimeter points = sum $ map (distance) (zip points (tail points))
С
вам нужна некаррированная версия distance, чтобы сработало
͏
почему?
2021 August 27
JS
distance — функция от одного аргумента
Point с результатом Point -> IntJS
возьмите zipWith
IR
У zip на выходе пара. Пара это один аргумент. Distance хочет два аргумента и другого типа.