Last month, the Wellington Java User Group was kind enough to invite me to give a talk on Whiley. The talk is a general introduction to Whiley, including the syntax, some issues related to implementation and inter-operation with Java. The talk was video and, finally, after some faffing around I’ve uploaded it onto YouTube . . . → Read More: Whiley Talk at Wellington JUG (VIDEO)
|
|||||
|
Recently, I’ve been doing some work on the syntax for Actors in Whiley. After some deliberation, I’ve decided to go with explicit syntax for both synchronous and asynchronous message sends. This means any message can be sent either synchronously or asynchronously. Obviously, sending asynchronously is preferable. However, in cases where a return value is . . . → Read More: Actor Syntax in Whiley Recently, I came across an interesting problem with the type system I’m using in Whiley. Specifically, the problem relates to recursive types which are equivalent but not identical. Consider, for example, the following Whiley code: define Link as { int data, LinkedList next } define LinkedList as null | Link This is a fairly . . . → Read More: Normalising Recursive Data Types I’ve put together a little demonstration of the Whiley language in use. The demo only covers the basic idea of Whiley and, in particular, demonstrates how the pre- and post-conditions work: Anyway, this was a bit of fun for a Saturday afternoon. Turns out making videos is harder than I thought . . . → Read More: Short Whiley Demo [VIDEO] |
 |
||||
|
Copyright © 2012 David J. Pearce - All Rights Reserved 58 queries. 0.597 seconds. |
|||||
Popular Posts