Size: a a a

2021 March 02

AA

A64m AL256m qn<co... in Haskell
кана
ну а теперь уже и это пофкисили рекорд-дотом
пофиксят в неопределенном будущем для узкого подмножества вложений
источник

к

кана in Haskell
что не мешает юзать это сейчас
источник

AA

A64m AL256m qn<co... in Haskell
ну, препроцессоры многие не любят
источник

VD

Velvet Darkness in Haskell
A64m AL256m qn I0
кстати, в 9.2 новая фича, линтипы теперь совместимы со спорной хаскельной конструкцией case of
https://gitlab.haskell.org/ghc/ghc/-/commit/3b79e8b833646e995f035e4402f2284cc15cbd72
А в чем спорность case of? 🤔
источник

AA

A64m AL256m qn<co... in Haskell
Velvet Darkness
А в чем спорность case of? 🤔
экспрешн стиль
источник

MK

Maxim Koltsov in Haskell
мне кажется "спорность" это троллинг клапауция
источник

VD

Velvet Darkness in Haskell
Ну если спорность вида declaration vs expression, то это спорность уровня табов vs пробелов, кмк
источник

[

[BRM]White Rabbit in Haskell
Киньте статейку чтоль, где можно понять, чё такое линтипы😅
источник

A

Arjaz in Haskell
Google: rust borrow checker
источник

[

[BRM]White Rabbit in Haskell
Что такое завтипы я худо-бедно понял, - это типы, которые содержат в себе описательную инфу о том, чем они являются.
источник

к

кана in Haskell
[BRM]White Rabbit
Что такое завтипы я худо-бедно понял, - это типы, которые содержат в себе описательную инфу о том, чем они являются.
не

завтип это буквально тип, который зависит от значения

есть переменная x : Bool
есть переменная y : if x then Int else String
источник

A

Arjaz in Haskell
[BRM]White Rabbit
Киньте статейку чтоль, где можно понять, чё такое линтипы😅
Это типы, для значений которых можно указать, сколько раз они должны быть использованы.
источник

[

[BRM]White Rabbit in Haskell
кана
не

завтип это буквально тип, который зависит от значения

есть переменная x : Bool
есть переменная y : if x then Int else String
Ну это я немного упростил, конечно
источник

[

[BRM]White Rabbit in Haskell
Arjaz
Это типы, для значений которых можно указать, сколько раз они должны быть использованы.
Не совсем понимаю кейс, в котором это должно быть использовано
источник

к

кана in Haskell
популярный пример - хендлы
источник

к

кана in Haskell
h <- openFile "a"
close h
value <- hGetLine h
источник

к

кана in Haskell
хендл закрыт, а мы все равно его читаем
источник

к

кана in Haskell
ты же сам про раст много пишешь
источник

[

[BRM]White Rabbit in Haskell
Ага, т.е. после закрытия переменная h насильно пропадает из скопа, да?
источник

С

Сергей in Haskell
просто хендл закрыт
источник