Peaker

76 ms·

721.
by Peaker 13y ago
The RealWorld hack in GHC is not "passing the world state". It's just a hack/implementation detail to get evaluation order correctly. The RealWorld -> (RealWorld, x) view of IO is not a valid one.
722.
by Peaker 13y ago
> There's nothing you can't do. There are plenty of effects IO (the ambient monad of most languages) doesn't support: You can't do ListT fork effects. You can't do ContT effects (coroutines are not as powerful as ContT). You can't have
723.
by Peaker 13y ago
You can do something like: gameLoop curState = do inputs <- getInputs let newState = gameIteration curState inputs drawState newState gameLoop newState
724.
by Peaker 13y ago
Their incentive is getting even more money, so they can buy more than food and shelter. Also, self fulfillment. Throwing around words like "Communism" is not productive. It would be better if you only mentioned specific negative aspects.
725.
by Peaker 14y ago
Twitter's data is all in memory. That memory may not be random-access memory, though. A pet peeve of mine is how people can do all the CS necessary to get nice data structures for their in-RAM data, but seem to forget everything they know
726.
by Peaker 14y ago
It is not inevitable that if your significant other deals drugs you will do drugs. Some would say that unless coercion of any kind was used, the user is fully responsible for their own actions.
727.
by Peaker 14y ago
What revenue models? Advertising could skew/bias Wikipedia
728.
by Peaker 14y ago
I'll take a sloppily named Haskell codebase over a well-named Python codebase, especially when reliability is compared. Type-safety of the Java kind might be overrated. Type-safety of the Haskell kind, though is hard to over-rate. It catche
729.
by Peaker 14y ago
Imperative code looks like imperative code. Most Haskell code isn't though. Also, a 5 layer transformer stack is typically wrapped in a newtype, so it looks like an ordinary monad with the operations you need.
730.
by Peaker 14y ago
Most of the errors you remember encountering, I bet.
731.
by Peaker 14y ago
Static languages like Haskell are the best of both worlds. You develop with roughly the same speed as dynamic languages, but then you get the performance and maintainability of static languages.
732.
by Peaker 14y ago
Alternatively, you could implement Maybe in Java safely using the visitor pattern. Cumbersome, but it can work.
733.
by Peaker 14y ago
The problem was that the government prosecuted him for his illegal actions and for lots of frivolous made-up charges too.
734.
by Peaker 14y ago
It has some 'worth' as it is useful for making nice jewelry and is a good conductor too.
735.
by Peaker 14y ago
Haskell has nicer pattern matching capabilities.
736.
by Peaker 14y ago
What was your SAN?
737.
by Peaker 14y ago
This kind of proof is often named "proof by lack of imagination". You're reiterating the design ideas of the condom with a bit of expansion, asserting that it must be this way. But you really don't know if you've explored the entire design-
738.
by Peaker 14y ago
Of course it does reduce emissions. Increasing demand for flights means the airlines fly more planes.
739.
by Peaker 14y ago
Citation? AFAIK, cows are relatively smart.
740.
by Peaker 14y ago
Even then, doing without "add -p", "rebase -i", "commit --amend", inplace branches, and various other git features is going to cost you.
741.
by Peaker 14y ago
I find some of Google Now's features pretty awesome, perhaps creepily so. I get an email with someone's itinerary, and on the days of his flights, Now shows me all the up-to-date flight schedules. I look up how long it'd take to get somewhe
742.
by Peaker 14y ago
Of course, though I and many others would claim that FP is far better at achieving that goal in almost all cases.
743.
by Peaker 14y ago
In the original scenario, there is no economic value loss, there is only monetary loss for nVidia. i.e: the surplass 8$ value are captured by the professionals rather than nVidia.
744.
by Peaker 14y ago
It's good in the sense that it's not clear there's a better alternative, but there is a painful point with a significant part of the market using a crippled design and losing value -- just to make the market segmentation possible. If there
745.
by Peaker 14y ago
Say you have 2 audiences: Gamers and professionals. For gamers, a low performance value yields a value of $10, and a high performance value yields a value of $12. For professionals, a low performance value yields a value of $5, and a high p
746.
by Peaker 14y ago
My experience has been the opposite. I get very few spams per month in gmail, but other mail providers I've used had done far worse spam filtering (walla mail, yahoo mail, netvision).
747.
by Peaker 14y ago
Agda's use of Unicode makes it far less readable to me. Readability is a subjective thing, of course.
748.
by Peaker 14y ago
1kb in ghc, iirc.
749.
by Peaker 14y ago
Haskell's runtime makes for cheaper threads than Erlang. Possibly cheaper than Go's, too.
750.
by Peaker 14y ago
So Haskell makes IO harder by making you learn which modules use lazy I/O and avoid them? I can agree with that. But I don't think that's what people generally try to say when they claim IO in Haskell is hard or bad. People think the IO/eff

More ›