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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

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

p

parket in PureScript — русскоговорящее сообщество
Anton Kotenko
эм, как в эльме решили дропнуть?
Нет. Никто ничего не дропнул. Форматирование просто теперь более жесткое.

А eml долбаный пошел по пути отупления. Лично мне не туда. Когда зарелизили 0.19 я сидел переписывал elm-портянку в пурсу, и очень жалел, что вообще с этим elm связался
источник
18:25пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Мне и то и то в разных ситуациях нравится
источник
18:38пожаловаться
2019 May 15

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
А как сделать констрейнт на тип при объявлении data?
источник
18:11пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Или так нельзя?
источник
18:11пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
типа data Foo = Show x => Foo x String
источник
18:11пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
data Foo a = Blah a => Foo a?
источник
18:11пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
вот не компилирует
источник
18:12пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
missing forall?
источник
18:12пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Тоже нет
источник
18:13пожаловаться

AK

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

AK

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

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
с type работает, но тогда нет конструктора
источник
18:15пожаловаться

λ

λоλторт in PureScript — русскоговорящее сообщество
Anton Kotenko
А как сделать констрейнт на тип при объявлении data?
Констрейнт можно сделать у функции и тайпкласса, констрейнт на типе лишён смысла
источник
18:15пожаловаться

λ

λоλторт in PureScript — русскоговорящее сообщество
Anton Kotenko
попробуй 
data Foo = Foo (forall x. Show x => x) String
источник
18:16пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
хм, забавно

data Foo a = Foo (Eq a => Show a => a)
источник
18:16пожаловаться

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
ха, и правда
источник
18:17пожаловаться

AK

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

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
λоλторт
Констрейнт можно сделать у функции и тайпкласса, констрейнт на типе лишён смысла
то есть всё-таки не лишён? здесь же не функция вроде
источник
18:17пожаловаться

λ

λоλторт in PureScript — русскоговорящее сообщество
Anton Kotenko
то есть всё-таки не лишён? здесь же не функция вроде
здесь не констрейн на типе, а полиморфное значение внутри значения типа Foo
источник
18:18пожаловаться

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
типа existential
источник
18:20пожаловаться