В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1591 membersпожаловаться на группу
2021 March 26

[

[BRM]White Rabbit in Haskell
Yuuri
Твоё сообщение оскорбляет чувства лисперов
(((лисперов)))
источник
01:29пожаловаться#1

к

кана in Haskell
[BRM]White Rabbit
я хотел дойти до типа ((,) а), если честно. Ну и да, я зря с моноидами мучался, потому что не так сигнатуру понял
ты не смог бы дойти до такого типа, потому что это и не тип, а конструктор типа
источник
01:30пожаловаться#2

к

кана in Haskell
это как Maybe вместо Maybe Int, не существует термов типа Maybe, потому что Maybe это и не тип вовсе
источник
01:30пожаловаться#3

Y

Yuuri in Haskell
[BRM]White Rabbit
(((лисперов)))
(оскорбляет (сообщение :твоё) (чувства ‘лисперов))
источник
01:32пожаловаться#4

Y

Yuuri in Haskell
кана
это как Maybe вместо Maybe Int, не существует термов типа Maybe, потому что Maybe это и не тип вовсе
Почему ты исправил «значений» на «термов»?
источник
01:33пожаловаться#5

[

[BRM]White Rabbit in Haskell
потому что "термы" более общее?
источник
01:34пожаловаться#6

к

кана in Haskell
Yuuri
Почему ты исправил «значений» на «термов»?
чувствую неоднозначность термина "значение", мол а есть ли значение у боттома, то есть является ли значенем терм, который генерируют боттом? А тип у него есть
источник
01:34пожаловаться#7

к

кана in Haskell
очень часто значения определяют как подмножество термов, форма когда это или переменная, или лямбда, но не аппликация. Так что проще не полагаться на то что выбранное мною определение такое же как у всех, а взять более общее и правильное
источник
01:38пожаловаться#8

Y

Yuuri in Haskell
Поняла
источник
01:38пожаловаться#9

[

[BRM]White Rabbit in Haskell
А это законно?
источник
01:46пожаловаться#10

к

кана in Haskell
да
источник
01:46пожаловаться#11

к

кана in Haskell
хотя нет
источник
01:47пожаловаться#12

к

кана in Haskell
тут же рекурсия в pure
источник
01:47пожаловаться#13

к

кана in Haskell
return = pure
pure = return
источник
01:47пожаловаться#14

[

[BRM]White Rabbit in Haskell
Я вот этот самый ретурн и не могу вызвать
источник
01:48пожаловаться#15

к

кана in Haskell
newtype I a = I a deriving (Functor)

instance Applicative I where
 pure = I
 (<*>) = ap

instance Monad I where
 I x >>= f = f x
источник
01:49пожаловаться#16

к

кана in Haskell
там где надо ты скобки не ставишь, а там где не надо ставишь
источник
01:49пожаловаться#17

[

[BRM]White Rabbit in Haskell
мне тут лисперы расправу пообещали
источник
01:49пожаловаться#18

[

[BRM]White Rabbit in Haskell
задобрить пытаюсь
источник
01:49пожаловаться#19

[

[BRM]White Rabbit in Haskell
а вообще, проблемы со скобками из-за того, что я привык к тому, что программа должна идти сверху вниз, а не справа на лево. но иногда наоборот
источник
01:53пожаловаться#20