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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

[

[BRM]White Rabbit in Haskell
Не ну я понимаю, что хаскель это не язык автоматического доказательства, в котором если программа запускается, то она - рабочая.
Однако программы на хаскеле очевидно гораздо устойчивее, чем на той же джаве
источник
13:36пожаловаться#1

KV

Kirill Valyavin in Haskell
[BRM]White Rabbit
Ну, он же максимально отказоустойчивый, как и любой чисто функциональный язык
Ахахаха... Ха... 😢
источник
13:37пожаловаться#2

AA

A64m AL256m qn<co... in Haskell
[BRM]White Rabbit
Не ну я понимаю, что хаскель это не язык автоматического доказательства, в котором если программа запускается, то она - рабочая.
Однако программы на хаскеле очевидно гораздо устойчивее, чем на той же джаве
про жаву совсем не очевидно
источник
13:37пожаловаться#3

DM

Dmitriy Mozhevitin in Haskell
отчасти правда что компилятор предостерегает тебя от большого количества багов
источник
13:38пожаловаться#4

KV

Kirill Valyavin in Haskell
Хаскель безопасный в том смысле, что если уже всё написано и работает, и надо что-то потеребить в бизнес логике, то типы сразу сломаются, и после починки ошибок типов скорее всего других ошибок не останется
источник
13:38пожаловаться#5

KV

Kirill Valyavin in Haskell
Всё, что касается взаимодействий с системами - удачи отлавливать неизвестно откуда прилетевшие исключения, которые убили тред и непонятно где отметились
источник
13:39пожаловаться#6

DM

Dmitriy Mozhevitin in Haskell
В следующих строчках в джаве
if (obj != null && someCondition()) {
   obj.someMethod()
}
идея подчеркнет тебе что строчка внутри if-блока can produce NPE, тобишь он не может проверить что someCondition не имеет никаких сайд-эффектов. Есть конечно аннотации от jetbrains типа @Contract(pure=true) но это звучит как жалкая попытка
источник
13:40пожаловаться#7

DM

Dmitriy Mozhevitin in Haskell
А когда у тебя в языке есть чистота и иммутабельность то о таких вещах париться не стоит
источник
13:42пожаловаться#8

KV

Kirill Valyavin in Haskell
Kirill Valyavin
Хаскель безопасный в том смысле, что если уже всё написано и работает, и надо что-то потеребить в бизнес логике, то типы сразу сломаются, и после починки ошибок типов скорее всего других ошибок не останется
И это при условии, что реальные типы вообще есть, а не stringly-typed
источник
13:42пожаловаться#9

AA

A64m AL256m qn<co... in Haskell
в этом смысле есть преимущество, но есть и недостатки, вроде того что больше придется страдать с обернутым сишным говном и хаскелисты не особо боятся писать опасный в смысле повреждения памяти код
источник
13:43пожаловаться#10

DM

Dmitriy Mozhevitin in Haskell
часто ли в проде всплывает сишное говно? пока опыта нет, не знаток
источник
13:44пожаловаться#11

к

кана in Haskell
[BRM]White Rabbit
Ну, он же максимально отказоустойчивый, как и любой чисто функциональный язык
оказоустойчивым можно эрланг назвать, потому что там продуман by design механизм перезапуска подсистем

а все эти типчики лишь иллюзия безопасности и инструмент код генерить
источник
13:44пожаловаться#12

⁠

⁠ in Haskell
кана
оказоустойчивым можно эрланг назвать, потому что там продуман by design механизм перезапуска подсистем

а все эти типчики лишь иллюзия безопасности и инструмент код генерить
> продуман by design механизм перезапуска подсистем

что конкретно именно в языке там задизайнили для отказоустойчивости?
источник
14:15пожаловаться#13

⁠

⁠ in Haskell
все эти супервизоры и прочее это OTP
источник
14:15пожаловаться#14

MK

Maxim Koltsov in Haskell
В рантайм системе, кажется
источник
14:15пожаловаться#15

MK

Maxim Koltsov in Haskell
А не в языке
источник
14:15пожаловаться#16

⁠

⁠ in Haskell
такое можно и на хачкеле зделать
источник
14:15пожаловаться#17

JC

John Cantrell in Haskell
Но никто не сделал
источник
14:15пожаловаться#18

⁠

⁠ in Haskell
да, и это подозрительно
источник
14:16пожаловаться#19

⁠

⁠ in Haskell
хотя это полностью согласуется с мифом о том, что на хачкеле никто ничего серьезного так и не написал
источник
14:17пожаловаться#20