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

問題

コンパイラは、エラーが render 関数にあることを教えてくれました。そこで、ウィンドウの次元の浮動小数点値を作成し、それらを使用しなかったことに気付きました。その後、 のタプルで整数xと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;DR

問題は関数です: 関数が期待する sのタプルではなく、 s のタプルを関数renderに与えます。修正済みのコンパイル コードは、ここにあります。moveIntFloat

于 2013-11-06T11:35:04.820 に答える