Viewing profile — oct

OCaml actually has correct block comments by his definition (and no line comments). This does lead to the odd fact that you can't have an unterminated string literal in a comment, …

I think you're thinking of `true`.

OCaml's parsing rules are pretty opaque sometimes. For example, if you have an "if" statement that's just performing effects (not returning a value), you may run into behavior like…

The causal ordering defined in the paper is stronger than that. It says that if process P performs event A and later sends a message to process Q, then any event that occurs in Q a…

Just because Haskell is purer that doesn't mean ML is pointless. Under the right circumstances even a functional program can benefit from mutable state. One example (perhaps the on…

I am pretty sure the Carnegie Mellon remark was just saying that a CMU CS graduate would have learned this already. Which is true, since the blog author (Bob Harper) teaches a cour…

Is there precedent for this? I can recall stories about getting cut off from a service if modding is detected but not about this sort of thing.

I thought for a while that the word being used was "bellicose," like they were being confrontational by bulging out.

Here is a recent HN discussion of the same article: http://news.ycombinator.com/item?id=1448424

Apostol's Calculus would probably fit your needs. I do not remember its discussing applications at all, unlike the Salas and Hille book according to online descriptions of it. From…

This is a good description of my position as well. Unfortunately it seems like this is something that does not get taught at schools much, and I will admit to having been trying to…