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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

334 membersпожаловаться на группу
2020 January 19

DS

Doge Shibu in rust_offtopic
а это кто
На IO-bound задачах всё прекрасно работает 🤔
Нет, нужна хорошая поддержка асинхронного IO и многопоточности и относительно небольшой оверхед на сами операции.

С этим у ФП скалы более чем хорошо.
источник
23:42пожаловаться#1

DS

Doge Shibu in rust_offtopic
Yarila
В продолжение про do-нотации. Какие ещё фундаментальные синтаксические конструкции требуются для фп кода?

И если в условном оо языке  (опять же в той же java)  появится синтаксис do-нотаций, с точки зрения формального доказательства можно ли будет написать   фп-код со всеми его преимуществами?

(Тут вроде часто обсуждают фп, но на всякий. Вопросы чисто про ФП не нарушают правила чата?)
Ключевое - это поддержка со стороны системы типов.
источник
23:42пожаловаться#2

DS

Doge Shibu in rust_offtopic
Даже do нотация не обязательна. А вот без мощной системы типов все будет очень грустно.
источник
23:43пожаловаться#3

Y

Yarila in rust_offtopic
Doge Shibu
Ключевое - это поддержка со стороны системы типов.
Спасибо.   Окей. Возьмём ту же  джаву)  Можно ли где-то почитать, что не так с её системой типов? (В Гугле не забанили, но хорошим ссылкам буду рад)  (Или всё так?)    Система типов в Haskell - это идиоматичный фп? (в контексте системы типов)
источник
23:49пожаловаться#4

DS

Doge Shibu in rust_offtopic
Yarila
Спасибо.   Окей. Возьмём ту же  джаву)  Можно ли где-то почитать, что не так с её системой типов? (В Гугле не забанили, но хорошим ссылкам буду рад)  (Или всё так?)    Система типов в Haskell - это идиоматичный фп? (в контексте системы типов)
У хаскеля - да, все в порядке.

Основное что нужно - это типы высших порядков и тайпклассы.

Ещё полноценные ML модули подойдут, но они в целом ещё реже, чем хаскель подобные системы типов.
источник
23:52пожаловаться#5

Y

Yarila in rust_offtopic
Doge Shibu
У хаскеля - да, все в порядке.

Основное что нужно - это типы высших порядков и тайпклассы.

Ещё полноценные ML модули подойдут, но они в целом ещё реже, чем хаскель подобные системы типов.
Спасибо
источник
23:52пожаловаться#6

AZ

Alex Zhukovsky in rust_offtopic
Yarila
В продолжение про do-нотации. Какие ещё фундаментальные синтаксические конструкции требуются для фп кода?

И если в условном оо языке  (опять же в той же java)  появится синтаксис do-нотаций, с точки зрения формального доказательства можно ли будет написать   фп-код со всеми его преимуществами?

(Тут вроде часто обсуждают фп, но на всякий. Вопросы чисто про ФП не нарушают правила чата?)
не нарушают.

Что до ду нтоаций, то как я уже говорил do-блок работает в рамках одной монады - списка, исключения, maybe или еще какой
источник
23:56пожаловаться#7

AZ

Alex Zhukovsky in rust_offtopic
как только нужно их совмещать: списки исключений обрабатывать или например комбинировать функции возвращающие maybe, сразу всё становится печально
источник
23:56пожаловаться#8

AZ

Alex Zhukovsky in rust_offtopic
чтобы не было печально нужны типы высших порядков, а их ни в джаве ни в сишарпе нет и не будет ближайшие года 3
источник
23:57пожаловаться#9

AZ

Alex Zhukovsky in rust_offtopic
сырые полу-пропозалы висят и ждут 10-11 версий сишарпа/джавы
источник
23:57пожаловаться#10
2020 January 20

Y

Yarila in rust_offtopic
@Psilon
Понял, спасибо за ответы)
источник
00:01пожаловаться#11

а

а это кто in rust_offtopic
Интересные ответы
источник
00:04пожаловаться#12

A

Aleksandr Khristenko in rust_offtopic
Doge Shibu
Это проблемы конкретно шарпа и дизайна Language.Ext, но не ООП.

Вон, у той же скалы все более чем нормально
В скале есть аналог ду нотации
источник
00:05пожаловаться#13

A

Aleksandr Khristenko in rust_offtopic
Yarila
Я только начинаю вливаться в фп, поэтому глупый наверное вопрос, но всё же, do нотации являются синтаксической абстракцией над комбинированием монад или это вообще про другое?
Синтаксический сахар над flatMap
источник
00:06пожаловаться#14

A

Aleksandr Khristenko in rust_offtopic
Doge Shibu
Даже do нотация не обязательна. А вот без мощной системы типов все будет очень грустно.
Без нее страшно же код будет выглядеть
источник
00:08пожаловаться#15

A

Aleksandr Khristenko in rust_offtopic
Yarila
В продолжение про do-нотации. Какие ещё фундаментальные синтаксические конструкции требуются для фп кода?

И если в условном оо языке  (опять же в той же java)  появится синтаксис do-нотаций, с точки зрения формального доказательства можно ли будет написать   фп-код со всеми его преимуществами?

(Тут вроде часто обсуждают фп, но на всякий. Вопросы чисто про ФП не нарушают правила чата?)
Ещё вроде желательно иметь тайпклассы или возможность их эмулировать
источник
00:09пожаловаться#16

DS

Doge Shibu in rust_offtopic
Aleksandr Khristenko
Без нее страшно же код будет выглядеть
Сойдёт и без неё. Она в любом случае не критична
источник
00:09пожаловаться#17

B

Bogdan in rust_offtopic
https://users.rust-lang.org/t/question-of-terminology-unsafe-vs-undefined-behaviour/37021
The Rust Programming Language Forum
Question of terminology: unsafe vs undefined behaviour
"unsafe" sounds worse than "undefined behaviour"  for example: if I had to buy a "unsafe" dog or a "undefined behaviour" dog, I'd probably go with the latter.  However, in Rust, "unsafe" is much "better" than "undefined behaviour" right?  In particular, all cases of "undefined behaviour" sounds like: "if you do this, we can't make any guarantee whatsoever on what your program does"  on the other hand, "unsafe" "merely" means "yeah, this looks dangerous, but trust me (the programmer), this is oka...
источник
00:20пожаловаться#18

B

Bogdan in rust_offtopic
а это кто
Что "всё" запихать? Интерпретатор байткода? JVM тоже можно в в браузер запихать
уже пытались запихивать, в итоге вышло ппц небеопасно и ни оракл ни сан не соибрался ничего делать с этой безпасностю, ибо решало задачу их ентерпрайз клиентов, а дальше хоть потоп.

Майкрсофт тоже пихал свой Сервилат в браузеры, даже под линуху был порт. Тоже не взлетело.
Давать им попытку номер два не захотели 😊
источник
00:22пожаловаться#19

а

а это кто in rust_offtopic
Bogdan
уже пытались запихивать, в итоге вышло ппц небеопасно и ни оракл ни сан не соибрался ничего делать с этой безпасностю, ибо решало задачу их ентерпрайз клиентов, а дальше хоть потоп.

Майкрсофт тоже пихал свой Сервилат в браузеры, даже под линуху был порт. Тоже не взлетело.
Давать им попытку номер два не захотели 😊
понятно
источник
00:24пожаловаться#20