Телеграмм чат группы rust_offtopic страница 8981

и неявного скоупа

22:03пожаловаться #1

p

polunin.ai in rust_offtopic

Я уже сколько раз тут писал, что у тебя гарантий больше в такой программе. Это свойство даёт то, что с кодом с эффектами можно работать и рефакторить особо не думаю о происходящем, чисто механическими приемами.

Как ты бы рефакторил код вообще без каких-либо эффектов.

ну я так не думаю. может если скинешь аналогичные программы с ссылочной прозрачностью и без, так чтобы были заметны преимущества, поверю.

22:03пожаловаться #2

DS

Pavel

ты в футуры оборачиваешь, а я просто пишу :: вместо .

Ну у них преимущества кроме этого есть, которые я уже упоминал.

Более удобные комбинаторы, ФП примитивы синхронизации (которые сильно удобнее не ФП примитивов по эргономике), простая отмена задач, STM и т.д. и т.п.

22:03пожаловаться #3

P

Ну у них преимущества кроме этого есть, которые я уже упоминал.

Более удобные комбинаторы, ФП примитивы синхронизации (которые сильно удобнее не ФП примитивов по эргономике), простая отмена задач, STM и т.д. и т.п.

что такое "простая отмена задач"?

22:04пожаловаться #4

DS

Pavel

что такое "простая отмена задач"?

В смысле реализацию ленивых отменямых задач сделать сильно проще, чем в энергичном случае.

22:04пожаловаться #5

DS

Без необходимости убивать треды.

22:05пожаловаться #6

DS

(*)

22:05пожаловаться #7

P

Без необходимости убивать треды.

так треды не надо убивать, их можно просто интерраптить

22:05пожаловаться #8

DS

(* - отдельный вопрос с чисто CPU-bound задачами, но в хаскеле и они отменяются запросто)

22:05пожаловаться #9

DF

Dollar Føølish in rust_offtopic

В хаскеле есть гринтреды потому что

22:06пожаловаться #10

λ

λоλторт in rust_offtopic

в хаскеле в целом есть нормальный рантайм

22:06пожаловаться #11

DS

Dollar Føølish

В хаскеле есть гринтреды потому что

Не из-за этого, а потому что там есть проверка на отмену задачи при аллокациях.

Поэтому отменить можно даже CPU-bound таск как нечего делать.

22:06пожаловаться #12

DS

(Не убивая машинный тред)

22:06пожаловаться #13

λ

λоλторт in rust_offtopic

там можно и форкос сделать, а после убить его асинхронным эксепшном

22:06пожаловаться #14

P

тоесть тебе прилетает интеррапт в тред, если ты был запаркован на io -- получил эксепшен, бизи бивер получил флаг Thread.interrupted()

22:07пожаловаться #15

DF

Dollar Føølish in rust_offtopic

Это разные подходы но суть одна

22:07пожаловаться #16

DS

polunin.ai

ну я так не думаю. может если скинешь аналогичные программы с ссылочной прозрачностью и без, так чтобы были заметны преимущества, поверю.

Хороший пример, что доступно с ссылочной-прозрачностью и IO - это как раз STM (Software transaction memory).

Классическая статья на эту тему:
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/beautiful.pdf

22:08пожаловаться #17

P

Не из-за этого, а потому что там есть проверка на отмену задачи при аллокациях.

Поэтому отменить можно даже CPU-bound таск как нечего делать.

while(!done || Thread.interrupted()) {...}