最初のいくつかのコード:
import Random
import Window
writeRandom x = lift asText (Random.range 0 x <| every second)
upperLimit = 300
-- upperLimit = Window.width -- How can i use this instead?
main = writeRandom upperLimit
最終的に、画面上のランダムなポイントを取得しようとしていますが、Window.height と Window.width を Random.range に渡す方法がわかりません。Random.range は既にシグナルを返しているため、「持ち上げる」ことはできないと思います。試してみると、型エラーが発生します。
Type Error: 'main' must have type Element or (Signal Element).
Instead 'main' has type:
Signal (Signal Element)
そして、リフトの反対(より低い?)が存在するかどうか、または意味があるかどうかさえわかりません。
ありがとう