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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1655 membersпожаловаться на группу
2020 December 18

MK

Maxim Koltsov in Haskell
A64m AL256m qn I0
вот импортировали откуда то Foo { x :: ...} и Bar { x :: ...}
должно ли работать
baz Foo{ x = x0} = ... что-то делаем с x0 ...
?
кажется что конечно должно, но нет, нужен этот экстеншон
ужас
источник
18:07пожаловаться#1

ЗП

Зигохистоморфный Пре... in Haskell
Сергей
можно первую часть?
там же обе
источник
18:08пожаловаться#2

VK

Vladimir Klntsky in Haskell
Хочу сделать функцию, проверяющую, совпадает ли значение с соответствующим promoted-типом:

check :: forall a b. ??? => Proxy a -> b -> Bool


Должно выполняться:

data X = A | B

check (Proxy :: Proxy 'A) A == True
check (Proxy :: Proxy 'B) A == False


Можно ad hoc.
источник
18:20пожаловаться#3

MK

Maxim Koltsov in Haskell
Синглтоны или сделать функцию методом тайпкласса
источник
18:22пожаловаться#4

к

кана in Haskell
data AB = A | B

class Check (a :: AB) where
  check :: AB -> Bool

instance Check A where
  check A = True
  check _ = False

instance Check B where
  check B = True
  check _ = False

x = check @A A -- True
y = check @B A -- False
источник
18:24пожаловаться#5

MK

Maxim Koltsov in Haskell
мне кажется хотелось делать check @'A A
источник
18:27пожаловаться#6

MK

Maxim Koltsov in Haskell
правда не знаю как это в сигнатуре отразить, возможно никак
источник
18:27пожаловаться#7

MK

Maxim Koltsov in Haskell
промоученный тип и сам тип вроде не очень знают друг о друге
источник
18:27пожаловаться#8

IK

Ilya Kos in Haskell
Maxim Koltsov
промоученный тип и сам тип вроде не очень знают друг о друге
+
источник
18:29пожаловаться#9

IK

Ilya Kos in Haskell
Maxim Koltsov
мне кажется хотелось делать check @'A A
А в чем проблема?
источник
18:30пожаловаться#10

к

кана in Haskell
Maxim Koltsov
мне кажется хотелось делать check @'A A
а у меня не так?
источник
18:34пожаловаться#11

MK

Maxim Koltsov in Haskell
а гм, да
источник
18:34пожаловаться#12

MK

Maxim Koltsov in Haskell
интересно, а можно сделать  check (a :: k) where check :: k -> Bool ?
источник
18:35пожаловаться#13

к

кана in Haskell
не
источник
18:36пожаловаться#14

к

кана in Haskell
придется Eq еще добавлять
источник
18:37пожаловаться#15

к

кана in Haskell
вот такое работает
источник
18:37пожаловаться#16

к

кана in Haskell
от улитки не могу избавиться
источник
18:37пожаловаться#17

MK

Maxim Koltsov in Haskell
ну это не интересно, без синглетонов хотелось бы
источник
18:37пожаловаться#18

VK

Vladimir Klntsky in Haskell
кана
data AB = A | B

class Check (a :: AB) where
  check :: AB -> Bool

instance Check A where
  check A = True
  check _ = False

instance Check B where
  check B = True
  check _ = False

x = check @A A -- True
y = check @B A -- False
Спасибо
источник
18:38пожаловаться#19

MK

Maxim Koltsov in Haskell
ну хотя то, что можно singleton :: k написать это интересно
источник
18:38пожаловаться#20