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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

VZ

Vladislav Zavialov in Haskell
Зачем Г |-ty k2 : *  в предпосылках?
источник
21:28пожаловаться#1

VZ

Vladislav Zavialov in Haskell
Это должно следовать из k1 : * и из k1 ~ k2
источник
21:28пожаловаться#2

VZ

Vladislav Zavialov in Haskell
http://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1014&context=compsci_pubs

Figure 2
источник
21:29пожаловаться#3

VZ

Vladislav Zavialov in Haskell
Насколько я понимаю, k1 : * следует из Г |-ty t : k1
источник
21:32пожаловаться#4

VZ

Vladislav Zavialov in Haskell
Авторам было просто лень лемму доказать про это?
источник
21:32пожаловаться#5

к

кана in Haskell
~ там точно не гетерогенный?
источник
21:36пожаловаться#6

к

кана in Haskell
ну в общем да, ~ гомогенный, поэтому k2 : * не нужно
источник
21:44пожаловаться#7

к

кана in Haskell
Vladislav Zavialov
Насколько я понимаю, k1 : * следует из Г |-ty t : k1
а нет, не следует
источник
21:45пожаловаться#8

к

кана in Haskell
t     : k1
Maybe : Type -> Type
источник
21:45пожаловаться#9

R

Roman in Haskell
кана
t     : k1
Maybe : Type -> Type
Maybe : ((Type -> Type) : *)
источник
21:51пожаловаться#10

к

кана in Haskell
ну и что
источник
21:52пожаловаться#11

к

кана in Haskell
Maybe от этого * не становится
источник
21:52пожаловаться#12

R

Roman in Haskell
кана
Maybe от этого * не становится
Не становится. А кайнд мейби -- становится
источник
21:53пожаловаться#13

R

Roman in Haskell
Пардон
источник
21:53пожаловаться#14

к

кана in Haskell
а блин да, потерялся уже в этой башне
источник
21:53пожаловаться#15

R

Roman in Haskell
Кайнд кайнда мейби
источник
21:53пожаловаться#16

к

кана in Haskell
да, k2 : * действительно бесполезно
источник
21:55пожаловаться#17

CC

Chezy Ches in Haskell
привет всем, интересует вопрос, реально ли найти работу на хаскеле, если я прошел курс на степике и есть опыт функциональных язков erlang/elixir?
источник
22:11пожаловаться#18

AV

Alexander Vershilov in Haskell
Не так просто, но реально периодически фирмы ищут junior-ов, ещё если есть возможность (хотя сейчас её ни у кого почти нет), то можно пытаться на internship в зарубежные фирмы
источник
22:13пожаловаться#19

AV

Alexander Vershilov in Haskell
tweag, tsuru capitals каждый код на стажировку берут
источник
22:13пожаловаться#20