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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

812 membersпожаловаться на группу
2020 February 18

А

Алексей in Compiler Development
в ХМ есть сабтайпинг?
источник
17:40пожаловаться#1

А

Алексей in Compiler Development
а перегрузка функций?
источник
17:40пожаловаться#2

RB

Rustem B. in Compiler Development
тогда РакетСтатик бери
источник
17:40пожаловаться#3

А

Алексей in Compiler Development
Алексей
а перегрузка функций?
хотя в идрисе вроде есть как раз
источник
17:41пожаловаться#4

K

Kir in Compiler Development
Алексей
в ХМ есть сабтайпинг?
Нет, я как раз против сабтайпинга.

Перегрузка функций - да, если расширить тайпклассами, например
источник
17:42пожаловаться#5

K

Kir in Compiler Development
Ну или как в Agda/Idris
источник
17:42пожаловаться#6

А

Алексей in Compiler Development
Kir
Нет, я как раз против сабтайпинга.

Перегрузка функций - да, если расширить тайпклассами, например
ну а есть много людей, которые не против сабтайпинга
источник
17:44пожаловаться#7

А

Алексей in Compiler Development
и которым достаточно вывода типов только для локальных переменных
источник
17:45пожаловаться#8

K

Kir in Compiler Development
Это прекрасно, но мне хотелось бы полного вывода и хотя бы фичей из F-omega
источник
17:46пожаловаться#9

А

Алексей in Compiler Development
чтобы написать ещё один хаскель?
источник
17:46пожаловаться#10

K

Kir in Compiler Development
А почему бы и нет?
источник
17:47пожаловаться#11

А

Алексей in Compiler Development
ну ладн
источник
17:47пожаловаться#12

K

Kir in Compiler Development
Разве что как-то прикрутить ограниченный саптайпинг для record-ов, чтобы структурно их сопоставлять. Но это та ещё головная боль с выводом вариантности для всех типов-параметров.
источник
17:48пожаловаться#13

M

MaxGraey in Compiler Development
Kir
Я на него смотрел. Ребята постарались - оно даже ужаснее жаваскрипта.
Зря ты так. TS умеет даже делать полиморфную рекурсию: https://en.wikipedia.org/wiki/Polymorphic_recursion
По моему только Хаскеть и возможно Ocaml такое умеют делать и все
Wikipedia
Polymorphic recursion
recursive parametrically polymorphic function
источник
17:50пожаловаться#14

K

Kir in Compiler Development
MaxGraey
Зря ты так. TS умеет даже делать полиморфную рекурсию: https://en.wikipedia.org/wiki/Polymorphic_recursion
По моему только Хаскеть и возможно Ocaml такое умеют делать и все
Wikipedia
Polymorphic recursion
recursive parametrically polymorphic function
А он HKT умеет?
источник
17:55пожаловаться#15

А

Алексей in Compiler Development
а ещё алгебраические типы - это скучно и банально
а вот увидеть бы язык, опирающийся на open tagged union
источник
17:56пожаловаться#16

А

Алексей in Compiler Development
типа как в TS, только лучше
источник
17:56пожаловаться#17

А

Алексей in Compiler Development
вот это было бы свежо
источник
17:56пожаловаться#18

K

Kir in Compiler Development
Алексей
а ещё алгебраические типы - это скучно и банально
а вот увидеть бы язык, опирающийся на open tagged union
В хаскелле можно через final encoding замутить
источник
17:57пожаловаться#19

AR

Andrew Rudenko in Compiler Development
Алексей
а ещё алгебраические типы - это скучно и банально
а вот увидеть бы язык, опирающийся на open tagged union
а нельзя сказать что CUE это примерно про это?
источник
17:57пожаловаться#20