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

Ну если ты не делаешь foreign call из сишного треда

12:21пожаловаться #1

аа

аа ааа in Haskell

а если делаю, то блокируется ос тред?

12:21пожаловаться #2

Плохо сказал, если твой тред bound, то заблокируется твой OS тред, но все капабилити продолжат работать на других

12:21пожаловаться #3

Т.е. у тебя останется N работающих капабилитей

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

аа

аа ааа in Haskell

а в ртс как представлены гринтреды?

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

аа

аа ааа in Haskell

Просто к таску привязывается группа капабилитей?

12:23пожаловаться #6

Если честно я не очень ориентаруюсь в том, за что отвечает Task

12:24пожаловаться #7

Чтобы ответить без ошибки мне нужно исходники смотреть

12:24пожаловаться #8

аа

аа ааа in Haskell

это вроде бы просто ос тред

12:25пожаловаться #9

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

12:25пожаловаться #10

аа

аа ааа in Haskell

друг в друга конвертируются легко

12:25пожаловаться #11

У каждой капабилити есть очередь тредов

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

foldMap f (a ++b) фьюзится?

12:27пожаловаться #13

АХ

А есть zip для линз: Lens' s a -> Lens' s b -> Lens' s (a,b) ?

Зигохистоморфный Пре... in Haskell

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

ЗП

Алексей Худяков

А есть zip для линз: Lens' s a -> Lens' s b -> Lens' s (a,b) ?

Grate

14:58пожаловаться #15

АХ

Что-то нету. Или это из профункторных?

Зигохистоморфный Пре... in Haskell

14:59пожаловаться #16

ЗП

а он только тут)
https://www.stackage.org/haddock/lts-15.11/lens-family-2.0.0/Lens-Family2.html#v:zipWithOf

15:00пожаловаться #17

АХ

Ладно, напишу руками

Зигохистоморфный Пре... in Haskell

15:01пожаловаться #18

ЗП

Алексей Худяков

А есть zip для линз: Lens' s a -> Lens' s b -> Lens' s (a,b) ?

ну может еще
https://www.stackage.org/haddock/lts-15.11/lens-4.18.1/Control-Lens-Unsound.html#v:lensProduct

15:02пожаловаться #19

АХ

О! Спасибо