( ещетреск  с единицами измерения в F #)У меня проблема с созданием «универсальных» функций, которые принимают «типизированные» числа с плавающей точкой.

Следующий класс макета предназначен для отслеживания накопленной ошибки в позиции, основанной на факторе «c». Компилятору не нравится, когда я говорю 0. <'A> в теле типа («Неожиданный параметр типа в литерале единиц измерения»).

Я полагаю, что еще один связанный с этим вопрос все еще связан с «общими» функциями.

///Corrects cumulative error in position based on s and c
type Corrector(s_init:float<'a>) =
    let deltaS ds c = sin (ds / c) //incremental error function

    //mutable values
    let mutable nominal_s = s_init
    let mutable error_s = 0.<'a>  //<-- COMPILER NO LIKE

    ///Set new start pos and reset error to zero
    member sc.Reset(s) = 
        nominal_s <- s
        error_s <- 0.<'a>  //<-- COMPILER NO LIKE

    ///Pass in new pos and c to corrector, returns corrected s and current error    
    member sc.Next(s:float<'a>, c:float<'a>) = 
        let ds = s - nominal_s //distance since last request
        nominal_s <- s   //update nominal s
        error_s <- error_s + (deltaS ds c) //calculate cumulative error
        (nominal_s + error_s, error_s) //pass back tuple

В следующем коде я пытаюсь создать функцию, которая будет принимать #seq любого типа с плавающей точкой и применять его к функции, которая принимает только плавающие ванили. Третья строка дает

Ограничение значения'ошибка, и я не вижу выхода. (Удаление # решает проблему, но я бы не хотел писать одно и то же для списков, последовательностей, массивов и т. Д.)Вы можете изменить первый «компилятор не нравится» на

[<Measure>] type km //define a unit of measure
let someFloatFn x = x + 1.2 //this is a function which takes 'vanilla' floats
let MapSeqToNonUnitFunction (x:#seq<float<'a>>) = Seq.map (float >> someFloatFn) x
let testList = [ 1 .. 4 ] |> List.map float |> List.map ((*) 1.0<km>)
MapSeqToNonUnitFunction testList