Futhark

The Futhark programming language's type checker is undergoing a major refactoring, as detailed in a post about the evolution of its type system from a simple first-order monomorphic checker to one sup…

Hands-on introduction to the Futhark programming language through a series of commented example programs, organized by increasing complexity. It directs readers to the Futhark homepage and suggests al…