F # Unidades de medida, problemas de genericidade
(Eu estouainda batendo com unidades de medida em F #)
Estou tendo um problema ao criar funções 'genéricas' que aceitam carros alegóricos 'digitados'.
A seguinte classe de maquete destina-se a manter o controle de um erro cumulativo na posição, com base no fator 'c'. O compilador não gosta que eu diga 0. <'A> no corpo do tipo ("Parâmetro de tipo inesperado no literal da unidade de medida").
///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
Outra questão relacionada, acredito, ainda tem a ver com funções 'genéricas'.
No código a seguir, o que estou tentando fazer é criar uma função que pegue um # seq de qualquer tipo de flutuador e aplique-o a uma função que aceite apenas flutuadores 'vanilla'. A terceira linha fornece um 'Restrição de Valor'erro, e não vejo saída. (A remoção do # resolve o problema, mas eu gostaria de evitar a necessidade de escrever a mesma coisa para listas, seqs, matrizes etc.)
[<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