В каких ситуациях списки в F # оптимизируются компилятором?

В каких ситуациях списки в F # оптимизируются компилятором F # до массивов, циклов for, циклов while и т. Д. Без создания фактического списка отдельных связанные данные?

Например:

[1..1000] |> List.map something

Можно оптимизировать для цикла без создания фактического списка. Но я не знаю, действительно ли это делает компилятор.

Сопоставление меньших по размеру списков можно оптимизировать с помощью разворачивания цикла и т. Д.