Джентельмены

У меня следующий вопрос

есть функция которая возвращает IO Bool

Как это использовать в if?

do b <- функция if b

Гениально

Спасибо еще раз

есть пакет с кучей примитивов, который это делает

не помню как называется

Я видел ifM

ещё можно bool one another =<< функция

но мне показался он слишком сложным для повседневного использования

я такими не пользуюсь

Всем привет. Мне тут Monte Carlo крутить надо, и основной прогон написан на C++ с C оберткой. Этот прогон написан умышленно без параллелизации, потому как я подумал, что я из Haskell из нескольких потоков эти функции повызываю, и будет мне счастье. А вот что-то мне неочевидно, как это лучше воплотить. Просто нужно генерирование рандомных чисел. Каждому ОС потоку бы свой генератор иметь, а как это в Haskell воспроизвести? Если я в С генераторы thread local сделаю, а потом в Haskell несколько потоков с forkOS запущу, оно будет работать? Или я упустил чего? Советы очень приветствуются.

forkOS лучше ненадо

forkOS лучше ненадо

А как лучше?

forkOS + несколько tls генераторов сработают конечно

но нужно помнить, что одновременно будут выполняться только N, где N это то что в +RTS -N передано

поэтому лучше запустить сишный вызов, он там сам форкнется и вернёт структуру для управления

тогда сишные методы могут работать с своих потоках независимо от RTS, с TLS и всеми делами

тогда только о том, как сказать RTS что все готово останется подумать

плюс forkOS накладные расходы увеличит, т.к. по сути это ещё ртс на каждый поток

Kirill не обманывай человека, пожалуйста

почему?

потому что forkOS это создание posix-треда на каждый вызов forkOS

это не forkProcess

тогда только о том, как сказать RTS что все готово останется подумать

А если я сишную функцию блокирующей сделаю?

можно и так

блин, точно forkProcess же

я не знаю как там у тебя внутри все сделано, и хочется ли в функции делать p_thread_create ... pthread_join

но в summary: forkOS + lts - будет работать, но будет зависеть от RTS и параллельность лимитирована настройками haskell RTS

forkOS + pthread_create внутри функции - будет работать, можно отцепить от RTS совсем, но нужно будет с нотификациями вопрос решить

я не знаю как там у тебя внутри все сделано, и хочется ли в функции делать p_thread_create ... pthread_join

Очень не хочется. Я бы thread pool использовал, openMP'шный например. А так подумал, что у RTS уже есть пул, зачем второй создавать.

Господа, нашел на хугле вот такую функцию — isExtensionOf, но когда я пытаюсь её заимпортить мне пишет что её не существует, в чем дело? import System.FilePath.Posix (isExtensionOf) Module `System.FilePath.Windows' does not export `isExtensionOf'

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

@twesterhout но логично начать с forkOS и потом решать проблемы по мере их поступления

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

Так, про GC это хорошее замечание, не подумал об этом.

@twesterhout но логично начать с forkOS и потом решать проблемы по мере их поступления

Ага, спасибо!

Господа, нашел на хугле вот такую функцию — isExtensionOf, но когда я пытаюсь её заимпортить мне пишет что её не существует, в чем дело? import System.FilePath.Posix (isExtensionOf) Module `System.FilePath.Windows' does not export `isExtensionOf'

у тебя старый filepath ?

оно в 1.4 появилось

Ага

То есть нужно просто указать версию в кабале?

думаю все хуже

попробуй, но есть шанс, что нужно обновить ghc

Я его только вчера установил:)

т.к. эта либа точно идёт с ghc, но скорее всего пока не будешь как либу его использовать тебе пофиг

что говорит ghc-pkg list filepath ?

на 8.2+ уже будет подходящая либа

версия ghc 1.7.1,

@al_bl ^

1.7.1 ?!

Я серьезно его вчера установил

версия ghc 1.x лет 15 назад была

(навскидку)

даже 20+

это стек наверное?

Да

Либо стек либо вообще что-то другое

stack exec sh, и там ghc-pkg list filepath

у стека команда для ghc-pkg должна быть, но я её не помню

filepath-1.4.1.2

Оно

Но почему-то она все равно не импортится

так, должно быть

build-depends: base >=4.7 && <5 , zip , filepath , directory

а в кабале библиотека прописана?

хорошо

а покажи импорт?

в файле и какая именно ошибка

import System.IO import System.FilePath import System.FilePath (isExtensionOf) import System.Directory import Codec.Archive.Zip import Data.Foldable import Data.String

Variable not in scope: isExtensionOf :: [Char] -> FilePath -> Bool | 29 | else if ".zip" isExtensionOf filepath

А когда я дописал явно что мне нужно

Выдавало что такой модуль не экспортит эту функцию

странно..

должно работать

а у тебя один target?

хотя не, тогда бы другая ошибка была

Странно это

Я её конечно сам написал

Но все равно я удивлен