|
|||||
|
Whiley uses flow typing to give it the look-and-feel of a dynamically typed language (see this page for more on flow typing). In short, flow typing means that variables can have different types at different program points. For example: define Node as { int data, Tree left, Tree right } define Tree as null . . . → Read More: Termination of Flow Typing in Whiley Finally, it’s time for yet another release. The main change with this release has been a reworking of the compiler framework into a more serious build system called, unsurprisingly, the Whiley Builder System (wybs). This has helped integration with both Ant and Eclipse. However, there remain a few aspects of it that need improvement, . . . → Read More: Whiley v0.3.14 Released! A problem I often encounter in Java is that I want to say “these two things are the same”, but Java won’t let me. Suppose I want to maintain an int[] array which is always sorted in my program. So, whenever I get one of these things, I can rely on it being sorted. Here’s . . . → Read More: Type Aliasing in Java? Recently, I’ve been working on improving the core framework that underpins the Whiley compiler. This provides a platform for reading/writing files of specified content in a structured fashion. Like Java, Whiley provides a hierarchical namespace in which names live and can be imported by others. Let’s consider a simple example: package zlib.core import Console . . . → Read More: A Problem of Decoupling? Designing the front-end of the Whiley Compiler (Wyc) is a somewhat delicate and complicated issue. I have iterated on this a few times, and still not found a solution I’m happy with. It’s important, because it ultimately determines what is possible in terms of language syntax and what is not. That is, when certain . . . → Read More: Design of the Whiley Compiler (Wyc) Front-End 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! The latest release of the Whiley compiler (v0.3.12) includes an optimisation for passing compound structures (e.g. lists, sets and records) by value. This is really important because all compound structures in Whiley have value semantics, meaning they are always passed by value. In fact, Whiley does not support references or pointers as found in . . . → Read More: Efficient Value Semantics for Whiley Well, crikey, what a long time since the last release. Things haven’t changed a whole lot, apart from various bug fixes. Probably the most interesting update is the inclusion of reference counting of compound structures to enable in-place updates and prevent unnecessary cloning. This leads to some nice performance improvements. Quite a bit of . . . → Read More: Whiley v0.3.12 Released! For the Whiley compiler, I currently have over 500 end-end tests and in excess of 15,000 unit tests (most of which were auto-generated and target the type system). Each end-end test is a short Whiley program that is categorised as either valid or invalid. Valid tests also include sample output and are expected to . . . → Read More: Not all Tests are Passing … is that so Bad? 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! |
 |
||||
|
Copyright © 2012 David J. Pearce - All Rights Reserved 69 queries. 0.770 seconds. |
|||||
Popular Posts