Comment by userbinator

J, the predecessor to K, also by the same author, is written in nearly the same style, but shorter:

https://news.ycombinator.com/item?id=25902615 )

There's something very satisfying about how this style seems to "climb the abstraction ladder" very quickly, but all of those abstractions he creates are not wasted and immediately put to use. I think much of the amazement and beauty is that there isn't much code at all, and yet it does so much. It's the complete opposite of the bloated, lazy, lowest-common-denominator trend that's been spreading in many other languages's communities.