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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

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

IL

Ilya Lakhin in rust_offtopic
Αλεχ Zhukovsky
нет, у меня подгорает с людей-калькуляторов которые видя функцию рекурсивно знают все ограничения на объекты которые там есть
Слушайте, так выходит у вас все-таки с самого себя в конечном итоге подгорает? :) Если вы видите людей, которые это делать могут, но сами не можете. Выходит так
источник
03:17пожаловаться#1

A

Aleksandr Khristenko in rust_offtopic
Αλεχ Zhukovsky
A restriction of System F known as "Hindley–Milner", or simply "HM", does have an easy type inference algorithm and is used for many statically typed functional programming languages such as Haskell 98 and the ML family.
Прекрасно. Тут говорится, что hindley milner это ограниченная версия system f.
Но в хаскеле уже неограниченная версия.
И в контексте разговор(выводимость типов) они могут иметь разные характеристики.
Поэтому я и сказал, что в хаскеле с 2008 уже не HM а System F.
источник
03:18пожаловаться#2

IL

Ilya Lakhin in rust_offtopic
Вообще, я этот аргумент "прибедняющихся стат. типщиков" постоянно слышу. Типа я глупый, и ничего запомнить не могу. Ну что за ерунда, правда
источник
03:18пожаловаться#3

ΑZ

Αλεχ Zhukovsky in rust_offtopic
Aleksandr Khristenko
Прекрасно. Тут говорится, что hindley milner это ограниченная версия system f.
Но в хаскеле уже неограниченная версия.
И в контексте разговор(выводимость типов) они могут иметь разные характеристики.
Поэтому я и сказал, что в хаскеле с 2008 уже не HM а System F.
Ок, просто прозвучало как 'пчелы против мёда'
источник
03:20пожаловаться#4

A

Aleksandr Khristenko in rust_offtopic
Ilya Lakhin
Вообще, я этот аргумент "прибедняющихся стат. типщиков" постоянно слышу. Типа я глупый, и ничего запомнить не могу. Ну что за ерунда, правда
Главный профит стат типизации - гарантия отсутствия некоторого рода ошибок. Смысл от этого отказываться?
источник
03:21пожаловаться#5

H

Hirrolot in rust_offtopic
The version of System F used in this article is as an explicitly typed, or Church-style, calculus. The typing information contained in λ-terms makes type-checking straightforward. Joe Wells (1994) settled an "embarrassing open problem" by proving that type checking is undecidable for a Curry-style variant of System F, that is, one that lacks explicit typing annotations.[4][5]

https://en.wikipedia.org/wiki/System_F
Wikipedia
System F
typed lambda calculus
источник
03:21пожаловаться#6

H

Hirrolot in rust_offtopic
в хаскелле насколько понимаю curry-style
источник
03:22пожаловаться#7

IL

Ilya Lakhin in rust_offtopic
Aleksandr Khristenko
Главный профит стат типизации - гарантия отсутствия некоторого рода ошибок. Смысл от этого отказываться?
Этих гарантий не всегда хватает, и они не всегда нужны, а обслуживания требуют.
источник
03:23пожаловаться#8

ΑZ

Αλεχ Zhukovsky in rust_offtopic
Ilya Lakhin
Вообще, я этот аргумент "прибедняющихся стат. типщиков" постоянно слышу. Типа я глупый, и ничего запомнить не могу. Ну что за ерунда, правда
не ерунда, а правда
источник
03:23пожаловаться#9

ΑZ

Αλεχ Zhukovsky in rust_offtopic
в прошлом году я 2 строчки кода местами поменял а потом мы командой в 6 человек 3 дня на проде баг искали
источник
03:24пожаловаться#10

ΑZ

Αλεχ Zhukovsky in rust_offtopic
Ilya Lakhin
Этих гарантий не всегда хватает, и они не всегда нужны, а обслуживания требуют.
а тесты тоже не пишете?
источник
03:24пожаловаться#11

A

Aleksandr Khristenko in rust_offtopic
Ilya Lakhin
Этих гарантий не всегда хватает, и они не всегда нужны, а обслуживания требуют.
А когда гарантии отсутствия ошибок не нужны?
источник
03:24пожаловаться#12

A

Aleksandr Khristenko in rust_offtopic
Ну а так да, уже писали Programming Defeatism: No technique will remove all bugs, so let's go with what worked in the 70s
источник
03:25пожаловаться#13

H

Hirrolot in rust_offtopic
Aleksandr Khristenko
А когда гарантии отсутствия ошибок не нужны?
например когда игра не стоит свеч. легче хуяк хуяк и тестиков чем сидеть-доказывать много часов
источник
03:25пожаловаться#14

ΑZ

Αλεχ Zhukovsky in rust_offtopic
Hirrolot
например когда игра не стоит свеч. легче хуяк хуяк и тестиков чем сидеть-доказывать много часов
как я уже где-то выше писал, порог до которого можно хуяк без типчиков и так сойдет - строк 500
источник
03:26пожаловаться#15

ΑZ

Αλεχ Zhukovsky in rust_offtopic
ну у меня так по крайней мере
источник
03:26пожаловаться#16

A

Aleksandr Khristenko in rust_offtopic
Hirrolot
например когда игра не стоит свеч. легче хуяк хуяк и тестиков чем сидеть-доказывать много часов
Когда тебе в контексте типов в распространенных языках приходится что-то сидеть доказывать много часов?
источник
03:26пожаловаться#17

H

Hirrolot in rust_offtopic
Αλεχ Zhukovsky
как я уже где-то выше писал, порог до которого можно хуяк без типчиков и так сойдет - строк 500
я скорее про разные уровни этих типчиков. можно как в расте, можно как в идрисе, можно как в C#
источник
03:26пожаловаться#18

ΑZ

Αλεχ Zhukovsky in rust_offtopic
Hirrolot
я скорее про разные уровни этих типчиков. можно как в расте, можно как в идрисе, можно как в C#
что тебе мешает в идрисе обмазаться Any -> Any и апкастить куда хочешь?
источник
03:26пожаловаться#19

H

Hirrolot in rust_offtopic
от степени важности кода соответственно и выбирать уровень типизации
источник
03:27пожаловаться#20