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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

IK

Ilya Kos in Haskell
И это грустно
источник
01:00пожаловаться#1

YS

Yan Shkurinskiy in Haskell
Alexander Vershilov
А если попробовать с -O0 собрать?
не помогло(
источник
01:00пожаловаться#2

AV

Alexander Vershilov in Haskell
Для матриц - не нужны
источник
01:00пожаловаться#3

AV

Alexander Vershilov in Haskell
Yan Shkurinskiy
не помогло(
Это хорошо
источник
01:00пожаловаться#4

AA

A64m AL256m qn<co... in Haskell
Ilya Kos
Оно все равно не поможет
чему не поможет?
источник
01:00пожаловаться#5

IK

Ilya Kos in Haskell
A64m AL256m qn I0
чему не поможет?
Тому что я пытаюсь сделать
источник
01:01пожаловаться#6

AA

A64m AL256m qn<co... in Haskell
Ilya Kos
Мне по сути нужны зависимые типы
не обязательно
источник
01:01пожаловаться#7

AA

A64m AL256m qn<co... in Haskell
Ilya Kos
Тому что я пытаюсь сделать
а что вы пытаетесь сделать?
источник
01:01пожаловаться#8

IK

Ilya Kos in Haskell
A64m AL256m qn I0
не обязательно
Ну если у меня размерности в типах
источник
01:01пожаловаться#9

AV

Alexander Vershilov in Haskell
И что?
источник
01:01пожаловаться#10

AA

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

IK

Ilya Kos in Haskell
И я хочу чтобы я мог размерности в рантайме получать
источник
01:01пожаловаться#12

AV

Alexander Vershilov in Haskell
И что?
источник
01:01пожаловаться#13

AA

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

AV

Alexander Vershilov in Haskell
someNat  . fromIntegral . V.length
источник
01:02пожаловаться#15

AV

Alexander Vershilov in Haskell
Получишь размерность в рантайме
источник
01:02пожаловаться#16

IK

Ilya Kos in Haskell
это по сути (l : [[Int]]) -> Matrix (length l) (length (l !! 0))
источник
01:02пожаловаться#17

AV

Alexander Vershilov in Haskell
и?
источник
01:02пожаловаться#18

IK

Ilya Kos in Haskell
и это не хаскель
источник
01:03пожаловаться#19

AV

Alexander Vershilov in Haskell
Тебе не нужны тут зависимые типы
источник
01:03пожаловаться#20