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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

fprog_spb

286 membersпожаловаться на группу
2018 February 26

AK

Artyom Kazak in fprog_spb
Александр Гранин
Для начала можно считать, что там, где при замене динамических базовых типов на базовые статические возникает ошибка компиляции, - это не логические ошибки.
угу

шаг первый: все ошибки, которые хаскель ловит, а питон нет — ошибки типов
шаг второй: не рассматриваем все остальные ошибки вообще
шаг третий: профит, хаскель бесконечно лучше питона
источник
12:38пожаловаться#1

λO

λeonid Onokhov in fprog_spb
Александр Гранин
В списке пейперов 40 позиций!
Я же указал какие
источник
12:39пожаловаться#2

АГ

Александр Гранин in fprog_spb
Yuuri
Тут можно так переформулировать: "для любого сколь угодно малого е существует такая система типов, что доля ошибок логики, не покрывается типами, меньше е". В пределе с идеальным тайпчекером получаем отсутствие логических ошибок как класса, но даже и в неидеальном - произвольность выделения такого класса.
Вы всегда с математикой приходите в программирование рассуждать? Математика и инженерия - разные вещи. Физики за это математиков тоже не вполне долюбливают.
источник
12:39пожаловаться#3

Aq

A64m AL256m qn[cores] in fprog_spb
Pavel Khritonenko
У F# все хорошо
чего хорошего в F#-ном репле? Он, скажем так, только для галочки
источник
12:40пожаловаться#4

AK

Artyom Kazak in fprog_spb
> Но это правильно, потому что это и значит - реализовать фичу.

"фиксить ошибки, которые может найти компилятор хаскеля — реализовывать фичу"

мда
источник
12:40пожаловаться#5

АГ

Александр Гранин in fprog_spb
У нас нет таких абстрактных и всемогущих языков / тайпчекеров. Поэтому давайте ограничиваться только теми языками, что даны.
источник
12:40пожаловаться#6

λO

λeonid Onokhov in fprog_spb
Хаскелисты токсичные какие-то
источник
12:40пожаловаться#7

PK

Pavel Khritonenko in fprog_spb
A64m AL256m qn[cores]
чего хорошего в F#-ном репле? Он, скажем так, только для галочки
Ну я его рассматриваю как возможность из студии запускать код. Тот, который fsharpi - оно отстой.
источник
12:41пожаловаться#8

АГ

Александр Гранин in fprog_spb
Artyom Kazak
> Но это правильно, потому что это и значит - реализовать фичу.

"фиксить ошибки, которые может найти компилятор хаскеля — реализовывать фичу"

мда
Неправильно. В обратном случае утверждение не работает.
источник
12:41пожаловаться#9

AK

Artyom Kazak in fprog_spb
Александр Гранин
У нас нет таких абстрактных и всемогущих языков / тайпчекеров. Поэтому давайте ограничиваться только теми языками, что даны.
давайте ограничиваться

утверждение: что на питоне, что на хаскеле, "компилируется" нифига не значит, что что-то работает

в одном случае надо будет пофиксить ещё 100500 ошибок, а в другом — 100900

не вижу фундаментальной разницы
источник
12:41пожаловаться#10

Aq

A64m AL256m qn[cores] in fprog_spb
Удивительно что вы тут серьезно обсуждаете мнения программистов на дин. языках.
источник
12:41пожаловаться#11

PK

Pavel Khritonenko in fprog_spb
То есть пишешь код с проверками на лету, подсветкой, intellisense, и парой кнопок запускаешь все
источник
12:42пожаловаться#12

AK

Artyom Kazak in fprog_spb
A64m AL256m qn[cores]
Удивительно что вы тут серьезно обсуждаете мнения программистов на дин. языках.
я хаскелист
источник
12:42пожаловаться#13

IZ

Ilia Zviagin in fprog_spb
Artyom Kazak
я хаскелист
ЭТО ЗВУЧИТ ГОРДО!
источник
12:42пожаловаться#14

Aq

A64m AL256m qn[cores] in fprog_spb
вообще, если кто-то считает, что скрипты языками-то можно назвать - то такого не нужно слушать вовсе, это дисквалифицирующее мнение, сразу понятно, что не разбирается человек
источник
12:43пожаловаться#15

АГ

Александр Гранин in fprog_spb
Artyom Kazak
давайте ограничиваться

утверждение: что на питоне, что на хаскеле, "компилируется" нифига не значит, что что-то работает

в одном случае надо будет пофиксить ещё 100500 ошибок, а в другом — 100900

не вижу фундаментальной разницы
Вы серьезно сейчас утверждаете, что статическая типизация вообще не избавляет программиста ни от каких ошибок в сравнении с динамической? Или я ваш тезис ну вовсем не понял, все вот эти цифры: 100500, 100900. Неясно, к каким именно системам они относятся
источник
12:43пожаловаться#16

Y

Yuuri in fprog_spb
Ilia Zviagin
ЭТО ЗВУЧИТ ГОРДО!
Functional Pride
источник
12:43пожаловаться#17

IZ

Ilia Zviagin in fprog_spb
A64m AL256m qn[cores]
вообще, если кто-то считает, что скрипты языками-то можно назвать - то такого не нужно слушать вовсе, это дисквалифицирующее мнение, сразу понятно, что не разбирается человек
А что ты понимаешь под "скрипты"?
источник
12:43пожаловаться#18

Aq

A64m AL256m qn[cores] in fprog_spb
Ilia Zviagin
А что ты понимаешь под "скрипты"?
языки без типов/с одним типом
источник
12:43пожаловаться#19

IZ

Ilia Zviagin in fprog_spb
Yuuri
Functional Pride
Я вот тоже за Pride & glory, только вот кушать иногда хочется... И желательно — с маслом...
источник
12:44пожаловаться#20