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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

fprog_spb

415 membersпожаловаться на группу
2020 October 25

AT

Alexander Tchitchigi... in fprog_spb
Александр Гранин
От гомеостатического мироздания, которое видит, что хаскеллисты приблизились к опасной границе по знаниям, и не дает Хаскелю дальше развиваться
Так Вы же как раз в том же направлении действуете: не даёте хаскелистам упарываться абстрактным теоркатом! 😄
источник
15:04пожаловаться#1

АГ

Александр Гранин... in fprog_spb
Alexander Tchitchigin
Так Вы же как раз в том же направлении действуете: не даёте хаскелистам упарываться абстрактным теоркатом! 😄
Это не я, это Гомеостатическое Мироздание. Я просто мимо проходил
источник
15:04пожаловаться#2

KG

Kirill Gusakov in fprog_spb
Yuuri
> Жаль, интересно было бы глянуть.
Но помню, что он от кого-то из ключевых фигур был, чуть ли не самого Одерского.
Не про этот доклад речь часом https://www.infoq.com/presentations/data-types-issues/ ?
InfoQ
The Trouble With Types
Martin Odersky outlines the main categories of static type systems as well as some new developments, and discuss the tradeoffs  
they make.
источник
15:05пожаловаться#3

KG

Kirill Gusakov in fprog_spb
Там где то ближе с середины про ортогональность системы типов и фиксы в скале будущего как раз будет
источник
15:08пожаловаться#4

Y

Yuuri in fprog_spb
Александр Гранин
От гомеостатического мироздания, которое видит, что хаскеллисты приблизились к опасной границе по знаниям, и не дает Хаскелю дальше развиваться
Телеграм-канал мироздания не здесь, увы.
источник
15:52пожаловаться#5

Y

Yuuri in fprog_spb
Kirill Gusakov
Не про этот доклад речь часом https://www.infoq.com/presentations/data-types-issues/ ?
InfoQ
The Trouble With Types
Martin Odersky outlines the main categories of static type systems as well as some new developments, and discuss the tradeoffs  
they make.
Оно, спасибо большое!
источник
15:53пожаловаться#6

A

Aleksey @cheatex in fprog_spb
Aleksandr Khristenko
Ну так сейчас это вроде и считается актуальным стилем программирование на скале. Всякие там cats/zio
В том и проблема.
источник
16:54пожаловаться#7

A

Aleksandr Khristenko in fprog_spb
Aleksey @cheatex
В том и проблема.
Почему это проблема?
источник
17:18пожаловаться#8

A

Aleksey @cheatex in fprog_spb
Aleksandr Khristenko
Почему это проблема?
Стиль очень плохо поддержанный языком и рантаймом. Любую библиотеку хоть как-то связанную с IO надо оборачивать.
источник
18:33пожаловаться#9

AT

Alexander Tchitchigi... in fprog_spb
Aleksey @cheatex
Стиль очень плохо поддержанный языком и рантаймом. Любую библиотеку хоть как-то связанную с IO надо оборачивать.
Да, чистых функций нет, гарантий никаких, null и исключения откуда попало вылетают... 😒
источник
21:03пожаловаться#10

A

Aleksandr Khristenko in fprog_spb
Alexander Tchitchigin
Да, чистых функций нет, гарантий никаких, null и исключения откуда попало вылетают... 😒
А как это может не быть чистых функций?
источник
21:06пожаловаться#11

A

Aleksandr Khristenko in fprog_spb
Функции то есть. Просто компилятор не знает, какие из них чистые а какие нет.
источник
21:07пожаловаться#12

AT

Alexander Tchitchigi... in fprog_spb
Aleksandr Khristenko
А как это может не быть чистых функций?
Это когда из "чистой" функции внезапно исключение вылетает. Потому что.
источник
21:09пожаловаться#13

A

Aleksandr Khristenko in fprog_spb
Alexander Tchitchigin
Это когда из "чистой" функции внезапно исключение вылетает. Потому что.
Прямо хаскель вспомнился.
источник
21:09пожаловаться#14

АГ

Александр Гранин... in fprog_spb
Я сейчас страшную вещь скажу. Хаскель не чистый. И не безопасный.
источник
21:10пожаловаться#15

AT

Alexander Tchitchigi... in fprog_spb
Aleksandr Khristenko
Прямо хаскель вспомнился.
Level up to Idris. 🤷‍♀
источник
21:10пожаловаться#16

A

Aleksandr Khristenko in fprog_spb
Александр Гранин
Я сейчас страшную вещь скажу. Хаскель не чистый. И не безопасный.
Это не страшная вещь. Страшно что вокруг хаскеля есть такой ореол идеального языка. Мол скомпилировалось - значит работает.
источник
21:11пожаловаться#17

АГ

Александр Гранин... in fprog_spb
Aleksandr Khristenko
Это не страшная вещь. Страшно что вокруг хаскеля есть такой ореол идеального языка. Мол скомпилировалось - значит работает.
Согласен. Признаюсь, у меня тоже рыльце в пуху, но сейчас я принял новую стратегию для себя о том, как рассказывать про Хаскель. А может, просто розовые очки слетели
источник
21:13пожаловаться#18

JS

Jerzy Syrowiecki in fprog_spb
Aleksandr Khristenko
Функции то есть. Просто компилятор не знает, какие из них чистые а какие нет.
именно это и проблема, что компилятор не знает
источник
22:01пожаловаться#19

JS

Jerzy Syrowiecki in fprog_spb
Aleksandr Khristenko
Это не страшная вещь. Страшно что вокруг хаскеля есть такой ореол идеального языка. Мол скомпилировалось - значит работает.
увы, на реальность этот миф не влияет. те, кому нужна корректность, знают, какие гарантии на самом деле Хаскель даёт. а те, кому не нужна, пишут опердени на Яве и Гошечке, на Хаскель не засматриваются, им и так хорошо
источник
22:04пожаловаться#20