Life, Programming, Everything

As everyone knows (see http://en.wikipedia.org/wiki/Church_encoding ), in pure lambda one can define natural numbers out of nothing, like th...

Zaki suggested me to write something on this topic... So, what happened to me... In several stages. 1. I'm 19, a student in Leningrad Un...

Monads, Functors, Functions, Java/Scala on Prezi

So, you are tired of your slow and half-dumb ides, ok, what can you do to make your scala dev cycle more agile? Use sbt . First go to that w...

Here I had introduced countable sets, and here I had demonstrated how we can build a union of two countable sets. Now is time for Cartesia...

In this post I had introduced the idea of having countable sets in your code. Next I want to show how we can combine countable sets produci...

These days it is not unusual to have an infinite sequence in a computer system. The idea is that while the sequence grows, the system upgrad...

Everybody knows now that linear data are bad for performance. But in Java everything is based on Iterable, with the idea, deeply rooted in m...

Just posted an article, A Better Option for Java

I live in South San Jose; recently we have discovered that now that we have fast Internet, WII and Netflix, we already have access to hundre...

Actually, not monads, just functorial stuff. But programmers seems to be unaware of the fact that a monad is a special kind of functor, so.....

While at Google, I believed in two things: peer code review and unacceptability of ascii art in the code. Peer code review means you are sup...

Many many years ago people were writing their code mostly in FORTRAN, but also in PL/I. They were told by their teachers not to use too many...

If you are a Haskell programmer, this is all trivial for you; but if you are a Java programmer, you would ask yourself two questions: is it ...

Here I just want to get together a pretty much widely-known information; somehow it escapes you if you just read Java books or google the in...

I've been trying to figure out how come the only relationship between types we use to encounter is "sub". Type a is a subtype ...

Comonads still look a little bit enigmatic to programmers; I'm going to show a practical example from which one can start perceiving the...

I sincerely plan to explain in simple terms what's all this fuss about monoids, why we suddenly need these primitive structures, and how...