Я не совсем понимаю, что, например, HaLVM или подобные технологии делают с точки зрения потоков (ОС). Я понимаю, что при компиляции кода с опцией -threaded многопоточная RTS Haskell будет использовать потоки ОС для перераспределения существующих...