Viewing profile — ayberkt

Exactly. Even though I thought the author was bringing up an important point, I couldn't take them seriously due to the repeated finger-pointing and the conspiracy-theorist attitud…

I was living in Sweden at the beginning of the pandemic. I suspected that I had COVID multiple times and tried to get a test. The response I got from the Swedish healthcare system …

No, not really. The wikipedia page of Maude has a good explanation of what it is like: https://en.wikipedia.org/wiki/Maude_system . You can also see the Maude book if you're intere…

FRP is awesome and is an example of how something previously thought of as an inherently imperative problem can be much easily done declaratively; we completely agree on this! What…

You seem to have completely misunderstood my point. > Well, you don't get to decide what people find natural, they do. I am not contending that functional/declarative is a more nat…

I don't see how either operational or denotational semantics is relevant as I was not talking about semantics of any kind. I don't think I am confusing anything, you are reacting e…

Thanks for pointing this out! Dijkstra, in his "on the cruelty of really teaching computing science" makes a very similar point that people should learn how to reason about program…

That is definitely right. For things involving the machine, doing things declaratively is wrong. Also, thanks for telling about Koka. It sounds very interesting!

That's a great point, thanks! I will look into Papert's work. Are there any specific papers/books you would recommend?

The recipe analogy is certainly very natural, but it does not extend as we get into things like assignments and references, which are a crucial part of Von Neumann languages (which…

It makes me sad how people think imperative programming is a "natural" way to think. I have known lots of people who resist using functional languages for serious projects, margina…

No one's mentioned OS X's "do not disturb". Just set it to be turned on after each login so you have permanent do not disturb.

> Let me emphasize: you write the test cases for your program, and then you write your program. You are writing code to test something that doesn't even exist yet. I am not rightly…