|
|||||
|
Well, it’s been almost two months in the making, but here’s the next release of Whiley. Quite of lot of changes, although there remain significant issues to resolve — particularly with the front-end. ChangeLog Fixed outstanding problem with list and set types related to type tests. More specifically, on the negative branch of a . . . → Read More: Whiley v0.3.13 Released! I’m always pondering the question: what makes good programming language syntax? One thing occuring to me is that many languages often ignore the HCI aspect. For me, it’s a given that the purpose of a programming language is to simplify the programmer’s life, not the other way around. So, I thought of a few . . . → Read More: Three Rules for Programming Language Syntax? 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) As usual, it’s been a surprising amount of effort … but the next release of Whiley is available! It’s been quite a long time since the last update, but then quite a lot has improved. Unfortunately, I did find a fairly serious problem with my type system, which means I’ve got to go back . . . → Read More: Whiley v0.3.11 Released! The switch statement has a long history, and most languages support it or something similar. In my experience, I found it to be very useful — both for conciseness, and also improving performance. With the recent release of Java 7, you can finally switch over strings. In Whiley, the syntax for switch statements currently . . . → Read More: Fall-Through by Default for Switch Statements? Well, it’s been a tough slog. But, finally, we have a new release of Whiley!! The main thing that’s improved over the past few weeks is the underlying type implementation. This was causing problems before, as programs which should type-check were failing and vice-versa. To resolve this, the type system has been reimplemented from . . . → Read More: Whiley v0.3.10 Released! With the upcoming v0.3.10 release of Whiley, the way import statements are interpreted has changed in a fairly significant manner. The primary purpose of this is to give better support for namespaces. The following illustrates what’s changed: import whiley.lang.Math bool check(int x, int y): return max(x,y) == x Previously, the above code would compile . . . → Read More: Namespaces in Whiley An interesting issue with the following piece of code has recently come to my attention: define Queue as process { [int] items } int Queue::get(): item = this.items[0] this.items = this.items[1..] return item void Queue::put(int item): this.items = this.items + [item] Queue ::Queue(): // following line should be invalid return spawn { items: [] . . . → Read More: A Subtyping Gotcha So, it’s that time again for another update of the Whiley compiler. Perhaps the most interesting update is that constraints are back! Admitedly, only runtime checking of constraints is back; and, there are quite a few problems with it. But, it’s a step in the right direction, and I’m pretty excited about it. I’ve . . . → Read More: Whiley v0.3.9 Released! The aim of this post is simply to list the main outstanding issues with the design and implementation of Whiley. This is primarily for my own purposes, in order to help me focus my efforts and to ensure I don’t forget something important. Syntax Deciding upon the language syntax is obviously the highest priority . . . → Read More: The State of Whiley |
 |
||||
|
Copyright © 2012 David J. Pearce - All Rights Reserved 69 queries. 0.753 seconds. |
|||||
Popular Posts