Finally, at long last a new release of ParaSail. This new release
incorporates an interactive debugger that is automatically invoked when
the interpreter encounters an assertion, precondition, or postcondition
that fails at run-time. This is also the first release where pre- and
postconditions are fully analyzed, and checked at run-time. Finally,
this has one modest enhancement to the ParaSail syntax --
"interpolation" of the value of an expression directly into a string
literal. For example:
Println("The value of X + Y is `(X + Y).");
The
back-quote character followed by a parenthesized expression may now
appear within a string literal, and the value of the expression is
"interpolated" into the middle of the string, in place of the
back-quoted expression. Hence, presume X is 31 and Y is 11, the above
will print:
The value of X + Y is 42.
In any case, here is the new release:
It
is a "zip" archive of sources and binaries for Mac, Linux, and
Windows. Mac and Linux include executable binaries for a bootstrapped
LLVM-generating ParaSail compiler. Windows only contains the executable
binaries for the ParaSail interpreter.
The web page for ParaSail has also been updated:
From
a documentation point of view, the most exciting news is that we have
just published a full description of the ParaSail language in the new
academic "Programming Journal":
Please
take a look at this article to see a comprehensive description of
ParaSail, and how it fits into the world of programming language design.
Here
is the latest reference manual (which is also linked from the ParaSail
web page, and included in the "zip" archive for release 8.0):
Enjoy!
No comments:
Post a Comment