|
|||||
|
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! 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! 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! ChangeLog Separated compiler up into two main components as follows: The Whiley Compiler (wyc). This provides a base compiler which is responsible for parsing whiley programs, as well as type checking and constraint checking them. This outputs whiley bytecode (wyil) which can then either be executed directly, or compiled to some target platform (e.g. . . . → Read More: Whiley v0.3.5 released! Well, after a fairly long haul, the latest version of Whiley is released. This remains something of a stop-gap for the moment, as there is still quite a lot to do! ChangeLog Relicensed the tool to use the “New BSD License”. The reason for this is to permit wider distribution of the language. Integrated . . . → Read More: Whiley v0.3.4 Released! This latest update of Whiley is a somewhat minor increment over the previous. Aside from a number of bug fixes the main improvement is the inclusion of first-class functions (aka function pointers). Constraint checking remains disabled, as it still needs a considerable amount of work (which I’m working on Function pointers can be . . . → Read More: Whiley v0.3.3 Released! Well, I’ve just released another update to the Whiley compiler. As usual, you can access this from the downloads link on the left. This release is relatively minor, which primarily fixes a number of bugs and includes more tests. I’ve also turned off full verirfication by default, since this is really not ready yet . . . → Read More: Whiley v0.3.1 Released! Well, after a significant amount of effort, many sleepless nights, and too many test cases going green, then red, then green, then red … it’s finally here!!! In the process of moving from v0.2.X to v0.3.0, I have rewritten probably 75% of the code from scratch. The new version is working quite well, and . . . → Read More: Whiley v0.3.0 Released! |
 |
||||
|
Copyright © 2012 David J. Pearce - All Rights Reserved 74 queries. 1.155 seconds. |
|||||
Popular Posts