Question

我想更新类型为

的Elm中的记录

type CubeData = {currDirection : Vec3, translation : Vec3, transform : Mat4}

我可以使用以下代码来做。

updateCubeData : CubeData -> CubeData
updateCubeData cubeData = {cubeData | translation <- cubeData.currDirection,
                                      transform <- translate cubeData.translation cubeData.transform}

但是，我现在想要根据字段的当前值不同地更新记录的字段，所以我尝试这样做

 updateCubeData : CubeData -> CubeData
 updateCubeData cubeData = if abs cubeData.translation.x > 2.0 || abs cubeData.translation.y > 2.0
                           then  {cubeData | translation <- cubeData.currDirection,
                                             transform <- translate cubeData.translation cubeData.transform}
                           else  {cubeData | currDirection <- negate cubeData.currDirection,
                                             translation <- cubeData.currDirection,
                                             transform <- translate cubeData.translation cubeData.transform}

这是一种类型错误，我已在下面转载。请注意updateCubeData的类型签名是文件的第12行。

Type error on line 15, column 68 to 76:
        cubeData

   Expected Type: {a | y : Float, x : Float}
     Actual Type: Vec3

Type error on line 18, column 68 to 76:
        cubeData

   Expected Type: {a | y : Float, x : Float}
     Actual Type: Vec3

Type error between lines 13 and 18:
        if | ((abs cubeData.translation.x) > 2.0) ||
             ((abs cubeData.translation.y) > 2.0) ->
               {cubeData |
                    translation <- cubeData.currDirection,
                    transform <- translate cubeData.translation cubeData.transform}
           | True ->
               {cubeData |
                    currDirection <- negate cubeData.currDirection,
                    translation <- cubeData.currDirection,
                    transform <- translate cubeData.translation cubeData.transform}

   Expected Type: Vec3
     Actual Type: {a | y : Float, x : Float}

如果我删除了if语句，并且只是将函数设置为等于then和else的内容，则代码将按预期编译并运行（如果该块是整个方法）。为什么在此处添加if语句会引入此类型错误，如何解决？

Answer 1

类型错误来自代码的这一部分：

abs cubeData.translation.x > 2.0 || abs cubeData.translation.y > 2.0

编译器抱怨cubeData.translation类型为Vec3，但您将其视为{a | y : Float, x : Float}类型。也就是说Vec3不是包含字段x和y的记录类型。

我相信您确实希望使用getX中的getY和Math.vector3函数：

abs (cubeData.translation |> getX) > 2.0 || abs (cubeData.translation |> getY) > 2.0

if语句导致类型错误elm

1 个答案: