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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

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

AV

Alexander Vershilov in Compiler Development
Alexander Tchitchigin
Система ownership-borrowing в Rust - частный случай линейных (аффинных) типов. В Clean линейные типы всегда были, в Haskell хотят добавить. Есть пейпер, но фактически встроить в GHC - сложно. Поэтому пока ждём-с.
Там не будет того же что в раст, в расте на уровне конвертации в mir очень много всего добавляется., так что фактически из аффинной модели делается линейная. В хаскеле этого не будет
источник
09:59пожаловаться#1

AT

Alexander Tchitchigin in Compiler Development
Alexander Vershilov
Там не будет того же что в раст, в расте на уровне конвертации в mir очень много всего добавляется., так что фактически из аффинной модели делается линейная. В хаскеле этого не будет
Было бы странно пытаться свести Rust и Haskell к одному знаменателю, имхо. В смысле не нужно. 🤷‍♀
источник
10:02пожаловаться#2

AV

Alexander Vershilov in Compiler Development
С векторами получше может быть, но там все не так просто, то что у Арно было в последний раз мне не очень понравилось, крайне надеюсь, что в новых версиях станет получше
источник
10:02пожаловаться#3

λ

λ <Bogdanella/> λ in Compiler Development
Alexander Tchitchigin
Не только. В Хаскеле есть и императивные структуры - массивы, вектора и прочие матрицы. Они могут заоптимизироваться "из коробки", когда линейщину втащат.
и в лиспе тоже
источник
10:03пожаловаться#4

AV

Alexander Vershilov in Compiler Development
Ну в Rust хороший UX, в Haskell такого не будет, кажется, что сообщество ожидает большего, чем будет
источник
10:04пожаловаться#5

AV

Alexander Vershilov in Compiler Development
Ещё есть проблемы с моделью выполнения (и упрощенно tail call optimization), которые необходимы в Haskell, но текущий подход к линейности их ломает (если делать линейность удобной)
источник
10:05пожаловаться#6

AT

Alexander Tchitchigin in Compiler Development
λ λ
и в лиспе тоже
Но там типов нет, так что вопрос их линейности не стоит.
источник
10:06пожаловаться#7

AV

Alexander Vershilov in Compiler Development
Там, ещё было про физику и Haskell - у меня диффуры очень хорошо на Haskell ложились. И простые energy preserving методы решения.
источник
10:07пожаловаться#8

λ

λ <Bogdanella/> λ in Compiler Development
Alexander Tchitchigin
Но там типов нет, так что вопрос их линейности не стоит.
если заюзать клос, то будут ))
источник
10:07пожаловаться#9

AT

Alexander Tchitchigin in Compiler Development
λ λ
если заюзать клос, то будут ))
Статические типы будут только если заюзать Typed Racket или Shen.
источник
10:09пожаловаться#10

λ

λ <Bogdanella/> λ in Compiler Development
Alexander Tchitchigin
Статические типы будут только если заюзать Typed Racket или Shen.
это не шарю
источник
10:10пожаловаться#11

AV

Alexander Vershilov in Compiler Development
Мне казалось что клос может сузить тип до конкретного в том случае, если может доказать, что тип точно конкретный. Грубо говоря делая специализацию функций. При том что это специализация ограничена чуть ли не примитивными типами. Но я могу быть не прав
источник
10:11пожаловаться#12

AT

Alexander Tchitchigin in Compiler Development
λ λ
это не шарю
Тогда имеет смысл не встревать. 😉
источник
10:13пожаловаться#13

λ

λ <Bogdanella/> λ in Compiler Development
Alexander Tchitchigin
Тогда имеет смысл не встревать. 😉
ок
источник
10:14пожаловаться#14

AV

Alexander Vershilov in Compiler Development
Alexander Tchitchigin
Тогда имеет смысл не встревать. 😉
Не надо так :’(
источник
10:15пожаловаться#15

AT

Alexander Tchitchigin in Compiler Development
Alexander Vershilov
Не надо так :’(
А! Есть всё-таки ещё борцы за инклюзивность кроме меня! 😄

Но я всё равно глубоко убеждён, что читать молча - предпочтительный режим, особенно, когда речь идёт о чём-то вне твоей сферы знаний. Даже не пытайтесь меня переубедить! 😄
источник
10:20пожаловаться#16

YS

Yuriy Syrovetskiy in Compiler Development
Alexander Tchitchigin
Не только. В Хаскеле есть и императивные структуры - массивы, вектора и прочие матрицы. Они могут заоптимизироваться "из коробки", когда линейщину втащат.
freeze/thaw в язык встраивать?
источник
10:25пожаловаться#17

BD

Berkus Decker in Compiler Development
Alexander Tchitchigin
А! Есть всё-таки ещё борцы за инклюзивность кроме меня! 😄

Но я всё равно глубоко убеждён, что читать молча - предпочтительный режим, особенно, когда речь идёт о чём-то вне твоей сферы знаний. Даже не пытайтесь меня переубедить! 😄
++ и +
много развелось любителей учить весь чат, но сами "не шарю" по факту
источник
10:29пожаловаться#18

BD

Berkus Decker in Compiler Development
ну или начинайте с дисклеймера "сам я не шарю, но вот мое экспертное мнение по этому вопросу", будет понятнее
источник
10:30пожаловаться#19

YS

Yuriy Syrovetskiy in Compiler Development
Berkus Decker
ну или начинайте с дисклеймера "сам я не шарю, но вот мое экспертное мнение по этому вопросу", будет понятнее
если ты не шаришь, то не всегда заранее знаешь об этом
источник
10:36пожаловаться#20