Life, Programming, Everything

When I find something interesting and new, I post it here - that's mostly programming, of course, not everything.

Sunday, June 10, 2012

Cake Pattern Practices

›
Intro Cake Pattern is a Scala-specific solution to Dependency Injection problem. In Java, from where Scala has inherited a lot, DI proble...
2 comments:
Sunday, March 18, 2012

Miles Sabin's type negation in practice

›
There was a discussion recently on scala-lang regarding how to ensure that your function returns a non-null value. Here's a solution fro...
Wednesday, August 24, 2011

Either OOP or Liskov (choose one)

›
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,...
4 comments:
Saturday, July 30, 2011

Generic Data Model

›
Generic Data Model Introduction 15 Years ago I had a problem designing a database that was supposed to hold data from various questi...
4 comments:
Friday, July 15, 2011

Chain Calls in Java - a better solution

›
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...
2 comments:
Sunday, June 19, 2011

2 eggs and 100 floors

›
Everybody seems to know this "Google Interview Problem": (quoting ) "There is a 100-story building and you are given two eggs...
2 comments:
Thursday, May 05, 2011

Monad Genome, part 1

›
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...
Thursday, April 28, 2011

Church Numerals in Scala

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

Notes on my relations with CT

›
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...
5 comments:
Saturday, October 16, 2010

my codecamp talk here

›
Monads, Functors, Functions, Java/Scala on Prezi
Sunday, September 19, 2010

Running with SBT

›
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...
Sunday, September 12, 2010

Dealing with Infinities in Your Code - 3

›
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...
2 comments:

Dealing with Infinities in Your Code - 2

›
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...
2 comments:
Thursday, September 09, 2010

Dealing with Infinities in Your Code - 1

›
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...
Tuesday, July 20, 2010

iterable, tree, monad, foundation axiom

›
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...
Saturday, May 08, 2010

A Better Option for Java

›
Just posted an article, A Better Option for Java
Sunday, April 18, 2010

How I Installed a TV Antenna

›
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...
2 comments:
‹
›
Home
View web version

About Me

Vlad Patryshev
View my complete profile
Powered by Blogger.