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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Rust — русскоговорящее сообществo

2501 membersпожаловаться на группу
2020 September 05

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo
Alexander Tchitchigin
Формально — не может. Несколько лет назад собрали комитет с целью написать стандарт Haskell2020, в том числе внести некоторое количество консервативных, обратно совместимых расширений. Но не сложилось, увы.
Что такое «не может»? Других современных компиляторов хаскелля, вроде как, нет совсем, т. е. это не то чтобы изменение стандарта кому-то помешает.
источник
19:43пожаловаться#1

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Emmanuel Goldstein
Что такое «не может»? Других современных компиляторов хаскелля, вроде как, нет совсем, т. е. это не то чтобы изменение стандарта кому-то помешает.
Вы точно понимаете значение слова "стандарт"? 😉
источник
19:43пожаловаться#2

YB

Yevhenii Babichenko in Rust — русскоговорящее сообществo
Emmanuel Goldstein
Что такое «не может»? Других современных компиляторов хаскелля, вроде как, нет совсем, т. е. это не то чтобы изменение стандарта кому-то помешает.
Ну такое же «не может» как фичи Раста, которые довольно долго не могут стабилизировать из найтли
источник
19:43пожаловаться#3

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo
Alexander Tchitchigin
Вы точно понимаете значение слова "стандарт"? 😉
Да. Что мешает кортиме разработчиков GHC написать новый стандарт?
источник
19:44пожаловаться#4

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Строго говоря, никакого стандарта на Haskell вообще нет, как я помню. Есть спецификация.
источник
19:44пожаловаться#5

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo
Новую спецификацию.
источник
19:44пожаловаться#6

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Emmanuel Goldstein
Да. Что мешает кортиме разработчиков GHC написать новый стандарт?
"Стандарт" — это документ, одобренный некоторой (желательно, международной, но есть и национальные) организацией по стандартизации.
источник
19:45пожаловаться#7

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo
Yevhenii Babichenko
Ну такое же «не может» как фичи Раста, которые довольно долго не могут стабилизировать из найтли
Фичи раста не могут стабилизировать потому, что они что-то ломают. @GabrielFallen утверждает, что есть прагмы, которые не ломают ничего.
источник
19:45пожаловаться#8

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo
Alexander Tchitchigin
"Стандарт" — это документ, одобренный некоторой (желательно, международной, но есть и национальные) организацией по стандартизации.
Какой организацией по стандартизации одобрен Haskell 2010?
источник
19:45пожаловаться#9

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Emmanuel Goldstein
Какой организацией по стандартизации одобрен Haskell 2010?
Я и говорю, что никакой, так что стандарта вообще нет.
источник
19:45пожаловаться#10

MB

Mikail Bagishov in Rust — русскоговорящее сообществo
Alexander Tchitchigin
Нет, не стоит. Большинство прагм стары как говно мамонта, полностью стабильны, многие даже provably sound.
ну так-то многие растовые анстейбл фичи стары и стабильны.
Другой вопрос, что  как раз те, которые связаны с системой типов, забагованы :)
источник
19:45пожаловаться#11

YB

Yevhenii Babichenko in Rust — русскоговорящее сообществo
Alexander Tchitchigin
Я и говорю, что никакой, так что стандарта вообще нет.
А как легитимизируются эти организации? 🌚
источник
19:46пожаловаться#12

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo
Alexander Tchitchigin
Я и говорю, что никакой, так что стандарта вообще нет.
Отлично.
Что мешает написать документ в том же статусе, что и Haskell 2010, который будет корректно отражать современное состояние Haskell?
источник
19:46пожаловаться#13

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo
haskell.org, кстати, называет Haskell 2010 именно стандартом.
https://wiki.haskell.org/Haskell_2010
источник
19:46пожаловаться#14

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Emmanuel Goldstein
Новую спецификацию.
Как ни странно, "спецификация" — штука социальная, чтобы документ реально служил спецификацией достаточное количество людей должны признавать его таковым. Для этого и собирали комитет — чтобы обеспечить легитимность.
источник
19:47пожаловаться#15

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo
Alexander Tchitchigin
Как ни странно, "спецификация" — штука социальная, чтобы документ реально служил спецификацией достаточное количество людей должны признавать его таковым. Для этого и собирали комитет — чтобы обеспечить легитимность.
«Все ключевые личности команды разработки всех существующих на данный момент компиляторов» звучит неплохо.
источник
19:48пожаловаться#16

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
А "спецификация" (документация) на GHC со всеми расширениями и так есть — отсутствие новой спецификации никак не мешает её читать и пользоваться. Что все с успехом и практикуют. 🤷‍♀️
источник
19:48пожаловаться#17

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo
Alexander Tchitchigin
А "спецификация" (документация) на GHC со всеми расширениями и так есть — отсутствие новой спецификации никак не мешает её читать и пользоваться. Что все с успехом и практикуют. 🤷‍♀️
В итоге все пишут на разных хаскеллях, а каждый проект начинается с простыни прагм, лол
источник
19:48пожаловаться#18

YB

Yevhenii Babichenko in Rust — русскоговорящее сообществo
Alexander Tchitchigin
Как ни странно, "спецификация" — штука социальная, чтобы документ реально служил спецификацией достаточное количество людей должны признавать его таковым. Для этого и собирали комитет — чтобы обеспечить легитимность.
Я не очень понимаю, что мешает быть таким комитетом команде, которая разрабатывает единственный мейнстримный компилятор. Это не С/С++, который запихнули в ISO
источник
19:49пожаловаться#19

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Emmanuel Goldstein
«Все ключевые личности команды разработки всех существующих на данный момент компиляторов» звучит неплохо.
Но недостаточно хорошо. Есть ещё (индустриальные) пользователи, авторы библиотек и фремворков, преподаватели...
источник
19:49пожаловаться#20