Масштабирование последовательности в F #

Question

Я пытаюсь масштабировать последовательность по первому элементу последовательности, поэтому первый элемент всегда будет одним, а последующие элементы будут отношением первого элемента к n-му элементу оригинала последовательность.

Вот мой код,

 open System 
     open System.Collections 

      let squish1 (x:Double seq) = 
       let r = (Seq.head x:Double) 
       Seq.fold (fun (xi:Double) (r:Double) -> xi/r);; 

И я испытываю на этом маленьком векторе: -

   squish1 [|5.0; 1.0; 1.0; 1.0; 1.0; 1.0|];; 

Я напечатал все, потому что я получаю сообщение об ошибке

normaliseSequence. fsx (9,1): ошибка FS0030: ограничение значения. Значение 'it' было> выведено для того, чтобы иметь общий тип val it: (Double -> '_a -> Double), когда' _a:> seq
Либо сделайте аргументы «явным», либо, если вы этого не сделаете намеревайтесь, чтобы он был общим,> добавьте аннотацию типа.

Но ясно, что я недопонимаю, потому что получаю сообщение об ошибке даже при всем набранном. Что мне не хватает?

Любые советы, полученные с благодарностью. Спасибо

Answer 1

fold ожидает еще два параметра, начальное значение и последовательность. Это работ:

let squish1 (x:Double seq) = 
    let r = (Seq.head x:Double) 
    Seq.fold (fun (xi:Double) (r:Double) -> xi/r) 0.0 x 

Однако, я предполагаю, что вы, вероятно, хотите map вместо fold:

let squish1 (x:Double seq) = 
    let r = (Seq.head x:Double) 
    Seq.map (fun (xi:Double) -> xi/r) x 

Кстати, я бы, наверное, писать об этом так:

let inline squish1 (x:seq<_>) = 
    let r = Seq.head x 
    Seq.map (fun n -> n/r) x 

Теперь работает для всех типов, поддерживающих разделение.