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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

PureScript — русскоговорящее сообщество

134 membersпожаловаться на группу
2020 November 13

MK

Mikhail Kotov in PureScript — русскоговорящее сообщество
Зигохистоморфный Препроморфизм
https://github.com/robertdp/purescript-resourcet
GitHub
robertdp/purescript-resourcet
A monad transformer for automated cleanup of resources at the end of execution. Work in progress. - robertdp/purescript-resourcet
Зачем, если есть bracket :^}
источник
14:18пожаловаться#1

ЗП

Зигохистоморфный Пре... in PureScript — русскоговорящее сообщество
Mikhail Kotov
Зачем, если есть bracket :^}
из Aff?
источник
14:24пожаловаться#2

ЕО

Евгений Омельченко... in PureScript — русскоговорящее сообщество
Зигохистоморфный Препроморфизм
https://github.com/robertdp/purescript-resourcet
GitHub
robertdp/purescript-resourcet
A monad transformer for automated cleanup of resources at the end of execution. Work in progress. - robertdp/purescript-resourcet
Чо-то я не понял, это просто дикт с ссылками на другой объект? Зачем?
источник
18:59пожаловаться#3

ЕО

Евгений Омельченко... in PureScript — русскоговорящее сообщество
А сабж вообще умеет хиндли-милнера, что-то он у меня жалуется на типы в духе :: a -> a
источник
21:03пожаловаться#4

кY

кисонька Yorkin... in PureScript — русскоговорящее сообщество
да, там расширенный милнер
источник
21:46пожаловаться#5

кY

кисонька Yorkin... in PureScript — русскоговорящее сообщество
типа такого https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/tr-2007-118.pdf
(если не ошибаюсь!)

https://github.com/purescript/purescript/blob/3a1ac103be/src/Language/PureScript/TypeChecker/Types.hs#L337
источник
21:46пожаловаться#6

ЕО

Евгений Омельченко... in PureScript — русскоговорящее сообщество
Просто я не понимаю, почему он хочет квантификации всех переменных
источник
21:49пожаловаться#7

кY

кисонька Yorkin... in PureScript — русскоговорящее сообщество
а, она в нём просто явная
источник
21:49пожаловаться#8

ЕО

Евгений Омельченко... in PureScript — русскоговорящее сообщество
Ппц, зачем?
источник
21:49пожаловаться#9

кY

кисонька Yorkin... in PureScript — русскоговорящее сообщество
не знаю)
источник
21:50пожаловаться#10

кY

кисонька Yorkin... in PureScript — русскоговорящее сообщество
https://github.com/purescript/purescript/issues/766
GitHub
Implicit forall · Issue #766 · purescript/purescript
requesting that both syntaxes be supported (at least for top level declarations) foo :: forall a e. a -> e foo :: a -> e
источник
21:50пожаловаться#11

ЕО

Евгений Омельченко... in PureScript — русскоговорящее сообщество
Дебилизм какой-то, короче говоря. Поставить вначале forall по всем свободным переменным это нормальное замыкание формулы
источник
21:53пожаловаться#12

ЕО

Евгений Омельченко... in PureScript — русскоговорящее сообщество
Так даже в логике делают, опускают внешний \forall
источник
21:54пожаловаться#13

AG

Alex Gryzlov in PureScript — русскоговорящее сообщество
rank-n
источник
21:54пожаловаться#14

ЕО

Евгений Омельченко... in PureScript — русскоговорящее сообщество
Ну и что? Замыкание открытой формулы однозначно
источник
21:54пожаловаться#15
2020 November 14

MK

Mikhail Kotov in PureScript — русскоговорящее сообщество
кисонька Yorkin
https://github.com/purescript/purescript/issues/766
GitHub
Implicit forall · Issue #766 · purescript/purescript
requesting that both syntaxes be supported (at least for top level declarations) foo :: forall a e. a -> e foo :: a -> e
Дискасс кончился тем, что юникодовый алиас признали компромиссом. 😂
источник
08:03пожаловаться#16

p

parket in PureScript — русскоговорящее сообщество
Mikhail Kotov
Дискасс кончился тем, что юникодовый алиас признали компромиссом. 😂
Никогда не бесил явный forall

Его там пол секунды набирать, зато консистентно.
источник
12:27пожаловаться#17

ЗП

Зигохистоморфный Пре... in PureScript — русскоговорящее сообщество
parket
Никогда не бесил явный forall

Его там пол секунды набирать, зато консистентно.
Это ещё нужно для скоупедчто-то-там
источник
13:21пожаловаться#18

p

parket in PureScript — русскоговорящее сообщество
Зигохистоморфный Препроморфизм
Это ещё нужно для скоупедчто-то-там
...тайпвариблс, ага
источник
13:33пожаловаться#19

p

parket in PureScript — русскоговорящее сообщество
https://github.com/purescript/purescript/issues/766#issuecomment-167426170
GitHub
Implicit forall · Issue #766 · purescript/purescript
requesting that both syntaxes be supported (at least for top level declarations) foo :: forall a e. a -> e foo :: a -> e
источник
14:04пожаловаться#20