In Ruby: `rand` In Elm: http://package.elm-lang.org/packages/elm-lang/core/5.1.1/Random …
-
-
Replying to @mrb_bk
I/O is in this class too of course but there's something about the tangibility of randomness in dynamic langs that highlights it for me
1 reply 0 retweets 3 likes -
Replying to @mrb_bk
Take it down another level to getting a random value from an Array, and you're unwrapping a lot! Pretty verbose.
1 reply 0 retweets 1 like -
Replying to @mrb_bk
When functions must return the same output given the same input, some things become harder but other things become much easier.
1 reply 0 retweets 2 likes -
Overall, it's a tradeoff I've been very happy to make.
1 reply 0 retweets 0 likes -
It has always struck me as both ugly and unnecessary. I certainly want types to track effects, but I still want to write direct style.
1 reply 0 retweets 4 likes -
Replying to @pigworker @mrb_bk
I agree. What do you think of Idris's bang notation?
2 replies 0 retweets 0 likes -
I mean, Frank was around as an idea before that, but I mean that it's an important enough issue not to treat as a hacky afterthought.
3 replies 0 retweets 4 likes -
I want direct style too, but as you say it needs to be built in. I reckon it could work in Idris but saying that seems to scare people...
1 reply 0 retweets 1 like -
If it doesn't scare them, it isn't doing them any good.
1 reply 0 retweets 4 likes
Heh. Maybe I will implement it after all then. We have types so it's not hard...
-
-
What's the "it" here
3 replies 0 retweets 0 likes -
Effectful things in direct style. (I probably won't in Idris, but maybe in a hypothetical future thing...)
0 replies 0 retweets 2 likes
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.