如何在Elm中将字符串类型Record转换为浮点类型Record并处理无效输入？

嘿，这个场景在Elm里太常见了！要实现你想要的需求，最优雅的方式就是借助Elm标准库中Maybe模块的map4函数——它专门用来处理四个Maybe值的组合，完美匹配你四个字段的情况。

首先，先确认你的类型定义没问题，就是你给出的这两个：

type alias Model = 
    { age : String
    , weight : String
    , height : String
    , appetite : String
    }

type alias FloatModel = 
    { age : Float
    , weight : Float
    , height : Float
    , appetite : Float
    }

接下来写转换函数，一行就能搞定核心逻辑：

convertToFloatModel : Model -> Maybe FloatModel
convertToFloatModel model =
    Maybe.map4 FloatModel
        (String.toFloat model.age)
        (String.toFloat model.weight)
        (String.toFloat model.height)
        (String.toFloat model.appetite)

我来拆解一下这个函数的工作原理：

• Maybe.map4的第一个参数是记录构造器——Elm在你定义FloatModel这个类型别名时，会自动生成一个同名的函数，它接受四个Float类型的参数，返回一个FloatModel记录。
• 后面四个参数分别是对Model每个字段调用String.toFloat的结果，每个都是Maybe Float类型。
• 只有当这四个Maybe Float全都是Just值时，map4才会把它们传给构造器，返回Just FloatModel；只要有一个字段转换失败返回Nothing，整个函数就直接返回Nothing，完全符合你的需求。

如果你想手动实现这个逻辑（虽然不推荐，但能帮你理解底层原理），可以用嵌套的case表达式，但代码会冗长很多：

convertToFloatModel : Model -> Maybe FloatModel
convertToFloatModel model =
    case String.toFloat model.age of
        Nothing -> Nothing
        Just age ->
            case String.toFloat model.weight of
                Nothing -> Nothing
                Just weight ->
                    case String.toFloat model.height of
                        Nothing -> Nothing
                        Just height ->
                            case String.toFloat model.appetite of
                                Nothing -> Nothing
                                Just appetite -> Just (FloatModel age weight height appetite)

显然用map4的版本更简洁易读，也更符合Elm的函数式编程风格。

内容的提问来源于stack exchange，提问作者NotMyJob