↧
Iso-Recursive versus Equi-Recursive Types
An important component of the Whiley language is the use of recursive data types. Whilst these are similar to the algebraic data types found in languages like Haskell, they are also more powerful...
View ArticleUnderstanding why Union Types are useful
The Whiley programming language uses union types as a way of combining types together. Here’s a simple example to illustrate: null|int indexOf(string str, char c): for i in 0..|str|: if str[i] == c:...
View ArticleOn Memory Management and Rust
Rust is definitely one of the more interesting new programming language I’ve come across recently. Memory management is definitely Rust’s “thing”, and the language wants to have its cake and eat it (so...
View Article