Haskell

Дописать гарантии точно это то что нужно

А в смысле зашедулить тред на тред? Треды шедулятся на капабилити. Там же ясно написано что шедулинг гринтредов никак не отличается от шедулинга ОС тредов

У меня между комбинаторами в теоретическом изложении ( классике S,K.I) и тем что делает здесь Мегапарсек - лежит пропасть непонимания. НА каком принципе или на каком основании фреймворк Мегапарсек затащил к себе этот термин? Зачем в этой задаче мне знать кто там комбинатор? И как я это использую? Или комбинатоор - это общий подход языка Хаскель. Но я его не видел в туториалах. По классике туториалы описывали модули и функции и все.

Как по мне все довольно понятно: Using forkOS instead of forkIO makes no difference at all to the scheduling behaviour of the Haskell runtime system. It is a common misconception that you need to use forkOS instead of forkIO to avoid blocking all the Haskell threads when making a foreign call; this isn't the case. To allow foreign calls to be made without blocking all the Haskell threads (with GHC), it is only necessary to use the -threaded option when linking your program, and to make sure the foreign import is not marked unsafe.

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

Причес в ноаом хаскеллетреде. Это тоже проблема с прерыванием кода. Куда бросать исключение?

Вот это совершенно точно так

Ну так такие вопросы задают, когда становятся важны детали реализации. Вот мне надо получить ОС тред в эксклюзивное пользование