Articles

Reference Lifetimes in Whiley

The concept of lifetimes was pioneered in the Rust programming language, and builds on earlier notions of regions and ownership types. Lifetimes are considered one of Rust’s “most unique and compelling features”.

Recently, the concept of reference lifetimes has been added to Whiley by Sebastian Schweizer (@SebastianS90). In this post, I’m going to try . . . → Read More: Reference Lifetimes in Whiley

Whiley v0.3.40 Released!

The next version of Whiley is upon us, and this one includes a bumper package of changes.  In particular, I am very excited by the introduction of reference lifetimes into Whiley.

ChangeList Reference Lifetimes (#642).  This represents a fairly significant step forward in the evolution of the Whiley language.  Reference lifetimes have been implemented . . . → Read More: Whiley v0.3.40 Released!