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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

79 membersпожаловаться на группу
2019 May 21

p

parket in PureScript — русскоговорящее сообщество
В целом кайнд отдельный не обязателен. Но с ним красивее, конечно.

Смысл один : кастуй с тайплевела в value level с помощью тайпклассов. А потом можно проматчить по тегу и через unsafeCoerce безопасно кастануть назад, если нужно.
источник
19:30пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
да, там кайнд ограничивает набор возможных типов
источник
19:32пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Common тут энкодинг existencial через forall
источник
20:16пожаловаться
2019 May 22

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
почему это так

∃x. P(x) <-> ¬∀x. ¬P(x) ~
∀x. (P(x) -> ⊥) -> ⊥

⊥ = Void
Void ~ forall r. r
∀x. (P(x) -> ⊥) -> ⊥ ~ forall r. (forall x. P x -> r) -> r

в нашем случае

newtype Common = Common ( forall r . ( forall a . FsTag a => a -> r ) -> r )

добавился еще констрейнт
источник
00:22пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
грубо говоря
Common = exists a. FsTag a => a
источник
00:23пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
если кому интересно как сигма и пи связаны
источник
00:24пожаловаться

p

parket in PureScript — русскоговорящее сообщество
О, до сигмы и пи еще не добрался. Спасибо.
источник
02:47пожаловаться

p

parket in PureScript — русскоговорящее сообщество
А, стоп. Это понятно :)
источник
02:47пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
ну или просто про теорему Сколема прочитать)
источник
02:47пожаловаться

p

parket in PureScript — русскоговорящее сообщество
Да, я понимаю как это работает ;)
источник
02:48пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
ну я не только для тебя написал)
источник
02:48пожаловаться

p

parket in PureScript — русскоговорящее сообщество
Что про сигму и пи почитать? :)
источник
02:49пожаловаться
2019 May 28

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Что лучше, spago, psc-package или bower?)
источник
11:36пожаловаться

p

parket in PureScript — русскоговорящее сообщество
Anton Kotenko
Что лучше, spago, psc-package или bower?)
Я psc-package использую.
источник
11:42пожаловаться

p

parket in PureScript — русскоговорящее сообщество
Что лучше не знаю: spago не пробовал.
источник
11:43пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
использую spago для приложений, bower для пакетов
источник
11:43пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
понял, спасибо!
источник
11:47пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
попробую spago, раз негативных отзывов нет)
источник
11:50пожаловаться

VK

Vladimir Klntsky in PureScript — русскоговорящее сообщество
Anton Kotenko
Что лучше, spago, psc-package или bower?)
spago и psc-package лучше, так как есть множества пакетов (package sets).
Субъективно, spago удобнее.

https://github.com/purescript/package-sets
источник
16:38пожаловаться

VK

Vladimir Klntsky in PureScript — русскоговорящее сообщество
Но если пишете библиотеку, всё равно есть необходимость использовать bower, потому что в package sets добавляются только пакеты, которые опубликованы через bower.
источник
16:40пожаловаться