import Random
main = flow down
[ asText (Random.range 0 100 (every second))
, asText (Random.range 0 100 (every second))
]
出现解析错误。我的方括号[
哪里错了?
Parse error at (line 5, column 1):
unexpected '['
expecting newline, spaces or end of input
缩进,也许?
一旦我进行了缩进,例子就编译了,但是我得到的只是<signal>
而不是实际数字。
main = flow down
[ asText (Random.range 0 100 (every second))
, asText (Random.range 0 100 (every second))
]
lift
用于信号处理?
最后,当我尝试使用 lift
时,它给了我其他的困惑。
main = flow down
[ lift asText (Random.range 0 100 (every second))
, lift asText (Random.range 0 100 (every second))
]
错误信息是我对lift
类型错误。
Type error on line 5, column 5 to 9:
lift
Expected Type: Signal Element
Actual Type: Element
没有“flow down”,只是一个列表
如果我忘记了“flow down”,它仍然不合作:
main = lift asText
[ (Random.range 0 100 (every second))
, (Random.range 0 100 (every second))
]
我收到了一个错误消息,提示需要 _List
:
Type error between lines 5 and 7:
[Random.range 0 100 (every second),
Random.range 0 100 (every second)]
Expected Type: _List
Actual Type: Signal
?
我是否正确使用了Random.range
?我没有改变它的原始示例:
如何让它与lift
和flow down
配合使用?
state0 = State seed0 0 0 |> step()
。 - mgold