Возможно ли, что Microsoft сможет создавать программы на F # во время выполнения виртуальной машины или, более вероятно, во время компиляции, обнаруживать, что программа была построена с использованием функционального языка, и автоматически лучше распараллеливать ее?

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

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

Будут ли эти оптимизации видны в диспетчере задач в счетчике потоков процессов или это будет более низкий уровень, чем этот?