ну типо того да

линтипы

с линтипами мы можем например указать, что хендл можно использовать ровно один раз и только один раз

h1 <- openFile "a" -- получили хендл
close h1 -- хендл заиспользовали, больше его использовать нельзя
value <- hGetLine h1 -- невалидно

можно получить такой апи:

h1 <- openFile "a" -- получили h1, который нужно заиспользовать ровно один раз

(h2, value) <- hGetLine h1 -- h1 заиспользовали, получили h2, который тоже нужно заиспользовать раз

close h2 -- нельзя не закрыть, потому что h2 нужно заиспользовать ровно один раз

f :: FilePath -> IO String
f path = do
 h <- openFile path
 (h, value) <- hGetLine h
 hClose h -- забыл написать - не тайпчекнулось
 pure value

В книжке, которую я читаю, пошло про организацию модулей и я на неё немного подзабил😃

и писать грёбаные лесенки

Какие лесенки?

ну вот эти h1, h2, h3...

а тут на помощь приходит let-norec)

ну правда в ду-нотации он и не нужен, если это не mdo

Ду- нотация это круто, ощущаешь себя будто не в фп, а в процедурке

а, типа нужно сочинять новые имена постоянно, чтобы не было shadowing warning? (я мудро пропустил летрек-срач)

в целом не очень понимаю, зачем линтипы нужны хаскелю, но мне говорят все, что это позволит написать какие-то мощные оптимизации в либах

ну как минимум чтобы деаллоцировать значения не дожидаясь ГЦ

Это поможет избавиться от ГЦ в некоторых алгоритмах.

а в случае INLINE и строгих данных аллоцировать-деаллоцировать большими кусками

С другой стороны, ГЦ вызывается только на аллокациях

Я же так понимаю, что всё равно всё старое поколение очищается скопом? Я к тому, что мутабельных объектов не так и много, и всё равно когда настает время чистки - мы просто в основном копируем то, что на данный момент достижимо?

Есть lightweight hkt

qtt интересней