Viewing profile — AndreasFrom

They give an explanation here. https://coq.inria.fr/faq?q=node/16&som=2#htoc4

`const` is for compile-time constants where something like `let` in Rust can be used for values generated on the fly. The latter is immensely more powerful and actually provides th…

Bryan O'Sullivan commented that https://mobile.twitter.com/bos31337/status/47356953136621158... and Graydon Hoare referenced it in his post on Swift http://graydon2.dreamwidth.org/…

I've written a lot of LaTeX and ConTeXt in Vim with one sentence per line without any problems.

Mobile? Wouldn't that be even harder?

You're right and they're not currently a goal: "Non-goals: make channels completely lock-free (this would significantly complicate implementation and make it slower for common case…

Clojure, like Java, has primitives. And I don't understand why you'd include it anyway, as functions are the primary form of abstraction in Clojure.

As you acknowledge yourself, whether Haskell makes you think or not relies on what you're trained to read.

Wow, I used this website for my school-assignment on GUIs a couple of years ago. It's funny to see it again.

I think the size of the bar is actually ms/x so because Riot.js does more x's in the same period of time, the bar is shorter.

I just started on #2 with Clojure ande F# experience and it seems really good so far. Now I'm really looking forward to reading it!

Do you have JS enabled? The whole page falls down when interacting with it. The physics are quite nice actually and you can toss the elements around.

Clojure has done a lot in this area on both the server- and client-side.

I often hear good things about IdeaVim. I don't think that's want you meant, but I just wanted to throw it in there.

It only supports one finger at a time, but it works well then.

Has anyone tested the difference between Mozilla's Firefox build and a local fully-optimized for your machine build? Or something similar with another piece of open source software…

I agree with your second point, but the code is monospaced for me.