Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign upcleanup in Time.js #210
Conversation
jvoigtlaender
added some commits
Apr 10, 2015
pushed a commit
that referenced
this pull request
Apr 10, 2015
evancz
merged commit 47b2f6f
into
elm:master
Apr 10, 2015
1 check failed
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
evancz
Apr 10, 2015
Member
Great, thank you! I removed delay and since because I think it'll be better to recommend doing that kind of thing with Task.sleep. I'm not sure if that's true given that things go out ports. Are there things that definitely need those things right now?
|
Great, thank you! I removed |
jvoigtlaender
deleted the
jvoigtlaender:time-cleanup
branch
Apr 10, 2015
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
jvoigtlaender
Apr 10, 2015
Contributor
Rate-limiting a signal, as useful e.g. for certain UI behavior. Like explained here. There was a relevant thread on the mailing list where we ended up with an Elm implementation based on Time.since. The need for such rate-limiting has come up more than once on the mailing list, so I'm pretty sure people would not be pleased to lose it. I don't immediately see how to do it with Task.sleep.
|
Rate-limiting a signal, as useful e.g. for certain UI behavior. Like explained here. There was a relevant thread on the mailing list where we ended up with an Elm implementation based on |
jvoigtlaender commentedApr 10, 2015
Done in the aftermath of elm-lang@9d52af2.
Main difference:
fpsis already defined fromfpsWheninTime.elm, so there is no need anymore to have it inTime.js.Something I noticed while going through this: somewhere along the way,
Time.delayandTime.sinceseem to have vanished. Purposefully?