2

我是 elm 新手，但对函数式编程并不陌生，所以这个错误既令人沮丧又令人尴尬。我写了一个 50 行的 elm 程序，但我得到了这些难以捉摸的类型错误。简而言之，有人能在这段代码中找到类型错误吗！！！
您可以将此代码直接粘贴到在线elm 编辑器中。

import Mouse
import Window

--Model
type Tracker = {x:Int, y:Int, th:Float}
tracker:Tracker
tracker = {x=100, y=100, th=0.0}
trkS:Signal Tracker
trkS = constant tracker

dir: Tracker -> (Int, Int) -> (Int,Int) -> Float
dir t (x',y') (w',h') =
  let (x,y) = toFloatT (x',y')
      (w,h) = toFloatT (w',h')
      (dx, dy) = (x - w/2, h/2 - y)
  in (atan2 (dy - (toFloat t.y)) (dx - (toFloat t.x)))

dirS:Signal Float 
dirS = lift3 dir trkS Mouse.position Window.dimensions

changeV: Float -> Tracker -> Tracker
changeV theta t = 
  {t | th <- theta }

moveTracker: Int -> Tracker -> Tracker
moveTracker time' t =
  let time = toFloat time'
      x' = (toFloat t.x) + 3 * time *(cos t.th)
      y' = (toFloat t.y) + 3 * time *(sin t.th)
  in {t | x <- round x'
        , y <- round y'}

step:(Int, Float) -> Tracker -> Tracker
step (dt, dir) = moveTracker dt . changeV dir

render (w',h') trk =
  let (w,h) = (toFloat w', toFloat h')
  in collage w' h'
    [ngon 3 20 |> filled green
                |> move (trk.x, trk.y)
    , asText (trk.th) |> toForm]

input:Signal (Int,Float)
input =
  let delta = lift (round . (\t -> t/20)) (fps 25)
  in sampleOn delta (lift2 (,) delta dirS)

main =
  lift2 render Window.dimensions (foldp step tracker input)

--Helper functions
toFloatT (x,y) = (toFloat x, toFloat y)
roundF = toFloat . round
4

1 回答 1

5

实际和预期的顺序

我将您的代码放在在线编辑器中，它给了我很多预期/实际是 Int/Float 错误。我认为这是可以改进的，但这是针对邮件列表的。
您应该知道的是，编译器告诉您的预期/实际类型有时可以颠倒过来，至少在某些人的直觉中是这样。

调试问题

为了调试这个问题，我首先阅读并尝试理解您的代码。代码很简单，但我并没有立即明确程序的目标。不管怎样，我没有发现任何不寻常的地方。我特别关注编译器说类型错误所在的 main 代码行，但这似乎不是问题的根源。

添加类型注释

所以我继续为还没有的函数添加类型注释。通常，当您添加更多类型注释时，编译器可以为您提供更好的精确定位。
我补充说：

render: (Int,Int) -> Tracker -> Element

main : Signal Element

toFloatT: (Int,Int) -> (Float,Float)

roundF: Float -> Float

问题

然后编译器能够告诉我错误出现在渲染函数中。在那里我注意到您制作了窗口尺寸的浮点值并且没有使用它们，然后使用整数x和in 的元组中y的. 并且存在错误，因为需要一个浮点元组。Trackermovemove

解决方案

因此，当您使用以下改编的渲染函数时，事情会编译：

render: (Int,Int) -> Tracker -> Element
render (w',h') trk =
  let trkPos = toFloatT (trk.x, trk.y)
  in collage w' h'
    [ngon 3 20 |> filled green
               |> move trkPos
    , asText (trk.th) |> toForm]

我希望通过向您展示我调试此类错误的方法，您下次可以更轻松地找到解决方案。

TL;博士

问题在于render函数：你给move函数一个 s 的元组，而不是它所期望Int的 s 的元组。Float固定和编译代码可以在这里找到。

于 2013-11-06T11:35:04.820 回答