При импорте чисел из файла csv мне нужно преобразовать их в float с единицей.
В настоящее время я делаю это со встроенной функцией:
data |> List.map float |> List.map (fun n -> n * 1.0<m>)
Но мне интересно, есть ли более элегантный способ сделать это - или мне нужно создать свой собственный модуль с функциями преобразования?
Что было бы действительно хорошо, было бы что-то вроде этого, но я сомневаюсь, что это возможно...
data |> List.map float |> List.map lift<m>
Это противоположность моему предыдущему вопросу (Как полностью удалить единицы измерения F #).
ОБНОВЛЕНИЕ: для домашних устройств я пробовал это, что работает нормально:
[<Measure>]
type km =
static member lift (v:float) = v * 1.0<km>
data |> List.map float |> List.map km.lift
или, после вопроса в этом ответе
data |> List.map (float >> km.lift)