Viewing profile — namanbharadwaj

Studying algebra from a categorical perspective is probably significantly more relevant. Other than that, learning algebra is probably useful primarily to acquire the mathematical …

There was a submission here a few years ago about building a "Vim clutch." https://news.ycombinator.com/item?id=4141410

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.or…

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…

>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. Entrepr…

It's unityped! It has one type with infinitely many variants/tags (. ). Match failure occurs at runtime as in any other safe typed language such as Haskell or ML.

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 wo…

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…

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 Borowitz Report is a satirical blog by the New Yorker, if that wasn't clear :p

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 as…

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 o…