Viewing profile — Miky

In both Gluon and Haskell, functions without arguments can be represented as functions over the unit type: f: () -> SomeType which can be called via: f () There are examples of thi…

This is false. getChar is a constant.

Next in this series: - Deep Learning vs. RESTful APIs - MRI scans vs. the sport of soccer - Listening to music vs. Earth, the planet

Just because a piece of culture isn't exactly to your particular taste doesn't mean it shouldn't be preserved and it should be impossible for anyone to experience it in the future.…

Obviously. But good luck implementing a human-comprehensible analog differential equation solver on one, without the help of a genetic algorithm, that doesn't depend (as Adrian Tho…

Not really. FPGAs are fundamentally digital and pretty much give you a bunch of logic gates to work with ("Field-Programmable Gate Array"). The author's proposed architecture would…

What if the database results in systematic human rights abuse?

The whole point of net neutrality is preventing private actors from manipulating the flow of information.

Once you've figured out on paper that 1 + 1 = 2, you don't necessarily have to put one apple next to one apple and count two apples to “complete the exercise.”

Really? You're really saying that people should not care about rampant sexism in the gaming industry just because some people have it worse? I suppose we should stop working to hel…

I was just trying to say that if using “Mr.” is becoming the norm in French, then it is becoming correct. I don't know if this is actually the case.

Could you more clearly define what you mean by “wrong,” please?

This article reminds me quite a bit of linguistic prescriptivism and descriptivism. Many people like to pretend that there's some platonic, right form of language. Splitting an inf…

I was under the impression that you could already do that in Ruby, although I don't use it much and very well could be wrong. Edit: Never mind, I just tried it and got an error. We…

Something nice would be to have the threads appear at the point on the page you're scrolled to, instead of at the top. Having to scroll to the top is tiresome and makes you lose yo…

The toy example is a microcosm of the important issue. The important issue is the use of monads in functional programming. How is a discussion not productive just because it's not …

My issue is not with Roy. It's absolutely fantastic to have a functional language that compiles to JavaScript. My issue is with the use of monads in particular, and I think my comm…

I previously had a someone antagonistic comment, but I decided to remove it. I think that finding ways to notate asynchronous code cleanly is a pretty awesome goal, and I hope you …

I never said monads are made useless in a language with unrestricted side effects. I understand very well their utility even in the presence of side effects. However, if you'll tak…

Monadic sugar is probably not the way to go for implementing an automatic continuation-passing transform. Why not just do macros?

It makes me sad that having monad sugar is now just a given feature for a functional language. Especially when that language has unrestricted side effects and the example code usin…

The language was not designed by chance. Some of the syntax was designed by chance. “Some of the syntax” is a very tiny part of a language. While this is interesting, presenting it…

I think you'd find it pretty difficult to find an atheist who claims to strictly know with any kind of certainty that no gods/creators/things outside the universe exist (except may…

A programmer should, by that logic, see the complexity of God and see that He cannot be the product of chance. Perfect, omnipotent beings don't just appear by chance. Where did He …

Have you seen all the libraries up on Hackage? Haskell probably has way more real-world stuff than you think.