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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1608 membersпожаловаться на группу
2021 February 28

[

[BRM]White Rabbit in Haskell
Понял. Просто этих ".+типы " завались как много
источник
19:43пожаловаться#1

к

кана in Haskell
а ну да, это расширение завтипов линейными
источник
19:43пожаловаться#2

к

кана in Haskell
https://www.type-driven.org.uk/edwinb/papers/idris2.pdf
источник
19:43пожаловаться#3

G

GNU/Vsevolod in Haskell
IC Rainbow
ещё и хакадж советует в ссылке на пакет "поставьте меня через cabal install" 😿
Так что отображает тогда cabal list?
источник
19:57пожаловаться#4

AA

A64m AL256m qn<co... in Haskell
ищет пакеты на хекедже
источник
20:09пожаловаться#5

AA

A64m AL256m qn<co... in Haskell
cabal list --installed показывает пакеты установленные допотопным способом
источник
20:09пожаловаться#6

ЗП

Зигохистоморфный Пре... in Haskell
Квантити тайп теори
источник
20:09пожаловаться#7

AA

A64m AL256m qn<co... in Haskell
чтоб установить так пакет надо писать v1-install но лучше этого не делать никогда
источник
20:10пожаловаться#8

ЗП

Зигохистоморфный Пре... in Haskell
Переслано от Denis Gabidullin
Выложили запись:
https://www.youtube.com/watch?v=_6HHhMftEAc
YouTube
Quantitative Type Theory: теория и применение [REUPLOAD]
📽 Слайды: https://github.com/buzden/slides-of-lectures/blob/master/2021.02.03-qtt.undef-space.pdf 📽⌨️ Код со слайдов: https://github.com/buzden/code-for-le...
источник
20:10пожаловаться#9

G

GNU/Vsevolod in Haskell
A64m AL256m qn I0
чтоб установить так пакет надо писать v1-install но лучше этого не делать никогда
Лучше через stack?
источник
20:12пожаловаться#10

AA

A64m AL256m qn<co... in Haskell
стак тож не устанавливает пакеты, как и новый кабал
источник
20:12пожаловаться#11

G

GNU/Vsevolod in Haskell
А чем ставить бинари тогда?
источник
20:15пожаловаться#12

MK

Maxim Koltsov in Haskell
вот путаете людей только
источник
20:15пожаловаться#13

AA

A64m AL256m qn<co... in Haskell
бинари это не пакеты
источник
20:16пожаловаться#14

AA

A64m AL256m qn<co... in Haskell
пакеты это либы
источник
20:16пожаловаться#15

MK

Maxim Koltsov in Haskell
мир это война
источник
20:16пожаловаться#16

IR

IC Rainbow in Haskell
GNU/Vsevolod
Лучше через stack?
лучше качать исходники и ставить из проекта, кабалом или стеком уже не так важно
источник
20:17пожаловаться#17

G

GNU/Vsevolod in Haskell
A64m AL256m qn I0
бинари это не пакеты
бинари ⊂ пакеты, либы ⊂ пакеты, разве нет?
источник
20:17пожаловаться#18

G

GNU/Vsevolod in Haskell
IC Rainbow
лучше качать исходники и ставить из проекта, кабалом или стеком уже не так важно
Ок, попробую
источник
20:17пожаловаться#19

MK

Maxim Koltsov in Haskell
IC Rainbow
лучше качать исходники и ставить из проекта, кабалом или стеком уже не так важно
да зачем
cabal install / stack install это норм, если понимать что он ставит только бинари
источник
20:17пожаловаться#20