Lambda the Ultimate

I’m a computer science student, close to finishing my master’s degree in Eindhoven. I have enjoyed programming since I was young. I will be doing a PhD in Birmingham starting September 2013.

More powerful languages, that aid programmers by having a powerful and orthogonal feature set. Preferably, those languages should be referentially transparent in some way. Semantics of those languages should be defined fully, from the bottom up. In fact, semantics should follow naturally from a clean model of computation, instead of from syntax.

- Exploring the possibilities of FP, as a means to define loosely coupled interfaces
- Reactive programming
- Non-blocking algorithms
- RPC to programs that are suspended to disk
- Interfaces and data structures that can evolve to new needs without downtime
- Macros and other syntactic helpers