The following provides a list of planned release series, and details the main areas that development will focus on in each.
- v0.2.x – Initial Prototype [COMPLETED]. Release initial prototype implementation which demonstrates the main features, including the constraint checking.
- v0.3.x – Type Checking [IN PROGRESS]. Finalise core algorithms underpinning type system, particularly for flow-sensitive and structural subtyping components.
- v0.4.x – Constraint Checking. Update automated theorem prover to point where programs of realistic size can have their constraints checked at compile time.
- v0.5.x – Actor Model. Update Whiley to fully support the Actor model on the JVM, based on existing techniques (see e.g. this and this).
- v0.6.x – Sequential Performance. Reducing unnecessary cloning, optimising use of underlying data types etc.
- v0.7.x – Generic Types. Implement some kind of generic type system, so that we can define things like the non-empty list datatype.
- v0.8.x – Native compilation Compiling down to LLVM or C
- v0.9.x – Standard library. Particularly to support an abstract windowing system, numerous well-known file-formats and a range of standard algorithms
Popular Posts