Documentation

Articles

Contribute

Actors on the JVM

By Dave, on March 22nd, 2011

The Actor Model is an interesting alternative to the standard threading model used in languages like Java. Its been around for a while, but Erlang has recently brought it into the mainstream. Roughly speaking, an actor corresponds to a Thread, except that actors do not share state. Actors communicate by sending messages, and Synchronisation . . . → Read More: Actors on the JVM

5 comments   Development   , ,  

Implementing Structural Types

By Dave, on March 7th, 2011

Introduction

Over the last few months, I’ve been working on the type system underpinning Whiley.  A key feature is the use of structural typing, rather than nominal typing, and I’ve blogged about this quite a bit already (see [1][2][3][4]).  Over the weekend, I finally found time to work through all my thoughts and turn . . . → Read More: Implementing Structural Types

2 comments   Development   , ,