Size: a a a

2021 March 28

[

[BRM]White Rabbit in Haskell
кана
ну, осуждаю, потому что все еще думаю что это в голове неправильная интуиция у тебя, но че поделать

в конце логичен pure как раз потому что ты поднимаешь значение до монады, а не возвращаешь его. В доке return тоже прописан как "Inject a value into the monadic type." и все, никакого возврата
(Я если что понимаю, что функция возвращает то, что идёт после знака равно)
источник

L

Lierdakil in Haskell
[BRM]White Rabbit
А ты думал, в сказку попал?
Меня уже поздно путать, мне уже  надо какие-нибудь завтипы на семействах типов с фз чтобы запутаться.
источник

к

кана in Haskell
вот уберут в один день return как депрекейтед, будешь знать
источник

[

[BRM]White Rabbit in Haskell
кана
вот уберут в один день return как депрекейтед, будешь знать
А ну вот это весомый довод
источник

[

[BRM]White Rabbit in Haskell
Ладно, убедили
источник

[

[BRM]White Rabbit in Haskell
Больше никаких ретурнов!
источник

к

кана in Haskell
но это вряд ли случится в обозримом будущем все равно
источник

[

[BRM]White Rabbit in Haskell
А в необозримом я окончательно привыкну к псевдо-ретурнам в хаскеле
источник

[

[BRM]White Rabbit in Haskell
Так что нафиг-нафиг
источник

к

кана in Haskell
import Data.Proxy -- data Proxy a = Proxy

x :: Proxy Int
x = do
 foo
 bar
 return 1

x == Proxy

еще одна вещь кстати, которая ничего не возвращает
источник

[

[BRM]White Rabbit in Haskell
А зачем тут do?
источник

к

кана in Haskell
ну добавь туда перед return еще что-нибудь
источник

к

кана in Haskell
Proxy я правда тоже за легаси считаю, но есть кейсы когда без него нелья из-за того что нельзя пока тайпаппликейшен в паттернах конструктора использовать
источник

[

[BRM]White Rabbit in Haskell
Тайпаппликейшен это ху?
источник

[

[BRM]White Rabbit in Haskell
Блен, время без двадцати чОтыре
источник

O

Ortofax in Haskell
у кого-то уже 4:40
источник

O

Ortofax in Haskell
источник

L

Lierdakil in Haskell
кана
Proxy я правда тоже за легаси считаю, но есть кейсы когда без него нелья из-за того что нельзя пока тайпаппликейшен в паттернах конструктора использовать
Если бы только это. Ещё с тайпклассами иногда без прокси не получается. Так что typeapplications не серебренная пуля пока
источник

к

кана in Haskell
Lierdakil
Если бы только это. Ещё с тайпклассами иногда без прокси не получается. Так что typeapplications не серебренная пуля пока
хм, это как?
источник

O

Ortofax in Haskell
компилятор сам подставляет типопеременные, но можно их подставлять явно
источник