Ковариативность массива в F#

Поскольку .NET-массивы являются ковариантными, то в C#:

var strArray = new string[0];
object[] objArray = strArray;

In F#, учитывая массив 'T[], что было бы лучшим способом преобразовать его в obj[], не создавая массив заново (например, Array.map box)? Я использую (box >> unbox), но чувствую себя неаккуратно.

5
задан Daniel 7 September 2011 в 18:52
поделиться