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

Тут должен появиться Гранин и сказать, что понимать теорию не надо и нужно фокусироваться на бизнес задачах

01:30пожаловаться #1

Maxim Koltsov

а засунуть k в ассоциированный тип не вышло?

01:30пожаловаться #2

Maxim Koltsov in Haskell

так, спать и правда пора...

01:31пожаловаться #3

Yan Shkurinskiy in Haskell

Ладно, Александру спасибо за помощь, мне нужно поспать, чего и другим желаю!

01:31пожаловаться #4

Yan Shkurinskiy in Haskell

Maxim Koltsov

так, спать и правда пора...

Всё так

01:31пожаловаться #5

Yan Shkurinskiy in Haskell

Надо будет таки разобраться с тем приколом с where ...

01:32пожаловаться #6

Roman in Haskell

Maxim Koltsov

кстати, почему QuantifiedConstraints не работает с семействами? обидно :(

Можно сделать class alias (пустой класс с единственным инстантом) и сделать ему quantified constraint как суперкласс

01:43пожаловаться #7

Maxim Koltsov in Haskell

Roman

Можно сделать class alias (пустой класс с единственным инстантом) и сделать ему quantified constraint как суперкласс

Изврат

01:43пожаловаться #8

Maxim Koltsov in Haskell

Я уже правда свою задачу не помню

01:45пожаловаться #9

Когда я матчу One он не понимает что cols ~ () и rows ~ (). Это так и должно быть?

13:06пожаловаться #10

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

И можно ли с этим что-то сделать?

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

Не должно быть

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

Дать больше контекста в вопрос

13:07пожаловаться #14

кана in Haskell

это может редактор/hie/еще какая-то тула не понимать, а ghc понмать должен

13:07пожаловаться #15

13:07пожаловаться #16

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

Не, так то нельзя

13:08пожаловаться #18

oh no

13:08пожаловаться #19

ты написал:
index :: forall a b x . a -> b -> Matrix x a b -> x