Life, Programming, Everything

A while ago I read some Abadi-Cardelli, and illustrated what I learned by an example how Java does not have subsumptions principle (that is,...

Generic Data Model Introduction 15 Years ago I had a problem designing a database that was supposed to hold data from various questi...

A while ago I wrote "Java Solutions: inheriting chain calls" ; it was about what to do if we want to make it possible to write cal...

Everybody seems to know this "Google Interview Problem": (quoting ) "There is a 100-story building and you are given two eggs...

Intro Recently I started looking into the origin of computer science monad, and found out that at least some of them originate in pretty sim...

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