Проблема с использованием Seq.cast

Question

Seq.cast Использование кажется, постоянно терпят неудачу, даже как-то просто, как следующее:

let xor c = Seq.cast c |> Seq.reduce (^^^) 
xor [1;3]  // Works, assuming because no cast is necessary 
xor ['a';'b'] // Fails 
xor [2u]  // Fails 

Последние два неудачу с затребованной Cast не действует. Что мне не хватает?

Я пытаюсь использовать Seq.cast, чтобы преобразовать кучу вещей в uint16, но по какой-то причине он всегда терпит неудачу (даже если я аннотирую его с помощью Seq.cast<uint32>). Что с этим?

Answer 1

Я считаю, что это происходит потому, что Seq.cast только у типа бросает, а этот тип принуждения вы хотите Seq.map uint32 c |> Seq.reduce (^^^).

Разница между литьем и принуждением является то, что в то время как литье изменяет статический тип значение интерпретируется как без изменения его динамический типа (например: Я знаю, что это Animal действительно Dog), принуждающие создает совершенно новое значение .. по крайней мере, с языковой точки зрения. Разделение в CLR, по-видимому, в значительной степени связано с типами значений (принуждение) и ссылочными типами (литье), что делает его немного легче поддерживать прямо.

Answer 2

Смотрите также

What does this C# code look like in F#? (part one: expressions and statements)

который обсуждает, как слепки могут означать (по крайней мере) 4 различные операции в C#, и как каждый из этих различных операций карты для конкретной функциональности F #.