namanbharadwaj

5 ms·

1.
by namanbharadwaj 11y ago
Studying algebra from a categorical perspective is probably significantly more relevant. Other than that, learning algebra is probably useful primarily to acquire the mathematical maturity and abstract thinking that is involved in PL theory
2.
by namanbharadwaj 11y ago
There was a submission here a few years ago about building a "Vim clutch." https://news.ycombinator.com/item?id=4141410
3.
by namanbharadwaj 11y ago
In fact, OCaml modules do correspond to Haskell type class instances, and there are ways to extend the ML module system to support ad-hoc style polymorphism ( http://www.mpi-sws.org/~dreyer/papers/mtc/main-lo
4.
by namanbharadwaj 11y ago
The prototype may be good enough for production, but is probably not very maintainable. When you need a large team to be able to fix bugs and add features, static typing often wins. If you don't choose static typing early, you might ne
5.
by namanbharadwaj 12y ago
>Don’t outsource your future to a big institution. You need to figure it out for yourself. Discouraging high school graduates from going to college is just bad for society. Entrepreneurs are essential, but I would argue that the most pro
6.
by namanbharadwaj 12y ago
It's unityped! It has one type with infinitely many variants/tags (.<string>). Match failure occurs at runtime as in any other safe typed language such as Haskell or ML.
7.
by namanbharadwaj 12y ago
This might be viable using Sass or Less, since they have support for variables, nested selectors, etc. Although I'm not really a front-end engineer, so I don't know exactly what would be involved.
8.
by namanbharadwaj 12y ago
Having one UI would be the death of Linux. I would guess that the vast majority of Linux users today (including myself) use Linux because of choice (i.e. I use i3, and I can't live without it), and removing that choice would essentia
9.
by namanbharadwaj 12y ago
A language shouldn't need to have a foundation in category theory in order to be "grounded in theory and informed by practice." I think that Bob's (the OP's) is merely saying that the design of languages such as Rus
10.
by namanbharadwaj 13y ago
The Borowitz Report is a satirical blog by the New Yorker, if that wasn't clear :p
11.
by namanbharadwaj 13y ago
By lazy, thesz is referring to a property of the data structure, not lazy evaluation. `sort xs` evaluates to a data structure which contains the original unsorted sequence. When asked for the ith element, the datastructure uses quickselect
12.
by namanbharadwaj 13y ago
This interferes with my GMail keyboard shortcuts (presumably because editing mode is on by default when I open an email). There should be some kind of option to make editing mode off by default. Or am I missing something?