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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1428 membersпожаловаться на группу
2020 May 10

AA

A64m AL256m qn<co... in Haskell
единственное что тут будут матчи конструктора экзистенциального типа и все это в континьюэйшон лапше будет
источник
01:03пожаловаться#1

IK

Ilya Kos in Haskell
Окей а какой тип тогда у меня будет Matrix n m потому что оно будет не forall m n. Matrix m n
источник
01:03пожаловаться#2

AV

Alexander Vershilov in Haskell
forall m n . KnownNat m, KnownNat m => SomeMatrix (Matrix m n)
источник
01:04пожаловаться#3

IK

Ilya Kos in Haskell
только если обарачивать в какой-то SomeMatrix
источник
01:04пожаловаться#4

AA

A64m AL256m qn<co... in Haskell
ну
источник
01:04пожаловаться#5

AV

Alexander Vershilov in Haskell
Сравнивать ты сможешь m и n
источник
01:04пожаловаться#6

AV

Alexander Vershilov in Haskell
Складывать сможешь, сможешь умножать
источник
01:04пожаловаться#7

AV

Alexander Vershilov in Haskell
Больше ничего и не надо
источник
01:04пожаловаться#8

AA

A64m AL256m qn<co... in Haskell
не обязательно матрицу оборачивать, тут то только наты необходимо
источник
01:05пожаловаться#9

AV

Alexander Vershilov in Haskell
Yan Shkurinskiy
не помогло(
Но я не знаю что и подсказать удалённо
источник
01:05пожаловаться#10

YS

Yan Shkurinskiy in Haskell
Alexander Vershilov
Но я не знаю что и подсказать удалённо
Будем разбираться!
источник
01:05пожаловаться#11

YS

Yan Shkurinskiy in Haskell
Пока сами(
источник
01:05пожаловаться#12

AV

Alexander Vershilov in Haskell
Ну кстати да, если матрица поликаиндовая то можно делать Matrix SomeNat SomeNat ?
источник
01:06пожаловаться#13

AV

Alexander Vershilov in Haskell
@Ordinary_man //github.com/qnikst/hasql-extra кстати
GitHub
qnikst/hasql-extra
Contribute to qnikst/hasql-extra development by creating an account on GitHub.
источник
01:06пожаловаться#14

AV

Alexander Vershilov in Haskell
Но я никак не оформлял код и не писал комментарии
источник
01:06пожаловаться#15

YS

Yan Shkurinskiy in Haskell
Супер! Спасибо)
источник
01:07пожаловаться#16

AV

Alexander Vershilov in Haskell
Надо ещё поаккуратнее сделать, чтобы unTagged писать не надо было
источник
01:09пожаловаться#17

YS

Yan Shkurinskiy in Haskell
Так, я локализовал ошибку, это hasql
источник
01:12пожаловаться#18

YS

Yan Shkurinskiy in Haskell
декодинг
источник
01:12пожаловаться#19

YS

Yan Shkurinskiy in Haskell
Буду разбираться откуда она
источник
01:12пожаловаться#20