Телеграмм чат группы haskellru страница 15783

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1589 membersпожаловаться на группу

2021 March 23

IK

Ilya Kos in Haskell

Почему так нельзя?
class A (a :: Either m r)
instance A (Either Int String)

Потому что ты тут говоришь что a это значение типа Either m r

источник

11:18пожаловаться #1

IK

Ilya Kos in Haskell

А там должен быть тип, а не значение

источник

11:18пожаловаться #2

IK

Ilya Kos in Haskell

Это я про строку class

источник

11:18пожаловаться #3

S

Sooqa in Haskell

Ок как сделать чтобы это был тип

источник

11:18пожаловаться #4

S

Sooqa in Haskell

?

источник

11:18пожаловаться #5

IK

Ilya Kos in Haskell

class A a

источник

11:19пожаловаться #6

IK

Ilya Kos in Haskell

Вторая строка должна под такое подойти

источник

11:19пожаловаться #7

S

Sooqa in Haskell

class A a

Нет это любой тип
Мне нужно чтобы были только айзеры

источник

11:19пожаловаться #8

IK

Ilya Kos in Haskell

Нет это любой тип
Мне нужно чтобы были только айзеры

В что в теле у этого класса?

источник

11:20пожаловаться #9

S

Sooqa in Haskell

Методы

источник

11:20пожаловаться #10

IK

Ilya Kos in Haskell

Можно сделать так

class A x y where
foo :: Either x y -> ....

источник

11:20пожаловаться #11

IK

Ilya Kos in Haskell

То есть вынести не тип целиком, а аргументы для Either

источник

11:21пожаловаться #12

S

Sooqa in Haskell

type family RecurseAndCheck a b where
RecurseAndCheck a (HList '[]) = CSat
RecurseAndCheck a (HList ((l :: a) : b)) = RecurseAndCheck a (HList b)
RecurseAndCheck a (HList ((k :: r) : b)) = CNSat
class (forall t (a :: HList t) . RecurseAndCheck (Pair Symbol *) a)
=> Record a

можно это заставить работать?

источник

11:27пожаловаться #13

S

Sooqa in Haskell

type CSat = () :: Constraint
type CNSat = Int ~ Bool

источник

11:29пожаловаться #14

S

Sooqa in Haskell

забыл кусочек

источник

11:29пожаловаться #15

S

Sooqa in Haskell

type family RecurseAndCheck a b where
RecurseAndCheck a (HList '[]) = CSat
RecurseAndCheck a (HList ((l :: a) : b)) = RecurseAndCheck a (HList b)
RecurseAndCheck a (HList ((k :: r) : b)) = CNSat
class (forall t (a :: HList t) . RecurseAndCheck (Pair Symbol *) a)
=> Record a

можно это заставить работать?

Хочу сказать "любой хлист элементы которого принадлежат роду (Symbol, *) это рекорд". Как?

источник

11:37пожаловаться #16

АХ

Алексей Худяков... in Haskell

выкинуть из нее синусы и закинуть for, fromMaybe, ..., АЛЬТЕРНАТИВ

Надо не с грехами бороться, а перерабатывать иерархию типоклассов для чисел

источник

12:07пожаловаться #17

NI

Nick Ivanych in Haskell

Это чтобы ghci как калькулятор удобно было использовать

Херня. В калькулятор сразу закладывается импорт нужных модулей.
Вот когда я работал над своими вычислениями, у меня мои модули сразу импортировались.

источник

12:21пожаловаться #18

Y

Yuuri in Haskell

Херня. В калькулятор сразу закладывается импорт нужных модулей.
Вот когда я работал над своими вычислениями, у меня мои модули сразу импортировались.

Это ирония была же...

источник

12:21пожаловаться #19

Y

Yuuri in Haskell

A64m AL256m qn I0

так эти дадут примерно те же завсисимости что и ленз, ну и чтоб написать не факториал надо будет еще что-то

Зная вас, можно предположить, что это художественное преувеличение

источник

12:22пожаловаться #20