MK
Shieldy лучше в текстовом режиме оставить, а не в капчевом. Против ботов этого хватит.
Size: a a a
2020 December 15
MK
Не нужен, просто, никакой форматтер
ИМХО, форматтер и линтер имеет смысл только пока нет развитой культуры кода, в частности, корпоративной. Даже в питоне есть куча моментов, когда нужно отступить от PEP8, каким бы логичным он ни был.
W
MK
Вот и попалась сучечка
p
Работает вроде 😏
2020 December 22
p
/deleteEntryOnKick
S
/deleteEntryOnKick
Great! Shieldy will remove entry messages of the users who failed captcha.
2020 December 23
R
У этой функции нет параметра, по которому бы можно было узнать f. Как это работает?
Например просто pure Nothing - не работает, но где-то видел, что в
То есть есть возможность полиморфизма по возвращаемому типу?
Например просто pure Nothing - не работает, но где-то видел, что в
do-конструкции он возвращает массив.То есть есть возможность полиморфизма по возвращаемому типу?
AG
это же адхок-полиморфизм
AG
оно должно уметь на этапе компиляции вывести инстанц
R
Понял, спасибо. Пойду почитаю
ЕО
У этой функции нет параметра, по которому бы можно было узнать f. Как это работает?
Например просто pure Nothing - не работает, но где-то видел, что в
То есть есть возможность полиморфизма по возвращаемому типу?
Например просто pure Nothing - не работает, но где-то видел, что в
do-конструкции он возвращает массив.То есть есть возможность полиморфизма по возвращаемому типу?
Если очень умозрительно, то составляют систему уравнений типовых выражений и решают её. Если вызываешь pure для монады Effect a, то можно понять, что в этом месте f равно Effect.
Если для системы существует единственное решение, то типы считаются выведенными
Если для системы существует единственное решение, то типы считаются выведенными
R
Если очень умозрительно, то составляют систему уравнений типовых выражений и решают её. Если вызываешь pure для монады Effect a, то можно понять, что в этом месте f равно Effect.
Если для системы существует единственное решение, то типы считаются выведенными
Если для системы существует единственное решение, то типы считаются выведенными
Спасибо. Думал, что полиморфизм работает только по входным параметрам функции
R
Спасибо. Думал, что полиморфизм работает только по входным параметрам функции
Ага, если явно указать тип, то pure работает
ЕО
Если очень умозрительно, то составляют систему уравнений типовых выражений и решают её. Если вызываешь pure для монады Effect a, то можно понять, что в этом месте f равно Effect.
Если для системы существует единственное решение, то типы считаются выведенными
Если для системы существует единственное решение, то типы считаются выведенными
На самом деле я тут немного наврал. На типах существует частичный порядок, и типы считаются выведенными, если множество решений типовой системы уравнения не пусто, и у него существует минимальный элемент.
P.S. Извиняюсь за занудство, но у меня свербит от того, что я неточность допустил :(
P.S. Извиняюсь за занудство, но у меня свербит от того, что я неточность допустил :(
2020 December 25
S
Accepted!
p
Бот что-то не отработал 🤷♂
p
@xgrommx ты спам удалил?