É possível que a Microsoft seja capaz de criar programas F #, seja no tempo de execução da VM, ou mais provavelmente em tempo de compilação, detectar que um programa foi construído com uma linguagem funcional e automaticamente paralelizá-lo melhor?

No momento, acredito que não existe esse esforço para tentar executar um programa que foi criado como um programa encadeado único como um programa multiencadeado automaticamente.

Ou seja, o desenvolvedor codificaria um único programa encadeado. E o compilador cuspia um programa compilado que é multi-threaded completo com mutexes e sincronização onde necessário.

Essas otimizações seriam visíveis no gerenciador de tarefas na contagem de encadeamentos do processo ou seriam inferiores a isso?