Tag
The article examines the complexities of aliasing in type systems for programming languages, using Futhark's in-place updates as an example, and warns about the design challenges it can introduce.
The Futhark language blog discusses a proposed `flatmap` SOAC extension to expose irregular arrays to programmers, enabling recursive data-parallel algorithms like quicksort while preserving efficient GPU compilation.
A blog post announcing the addition of recursive functions to the Futhark programming language, explaining the historical challenges of recursion on GPU backends and the design trade-offs involved.
The Futhark compiler now supports full flattening of nested data parallelism, allowing any Futhark program to be compiled to parallel GPU code, a milestone achieved after years of work by students and researchers.
This blog post details the evolution and recent refactoring of Futhark's type checker, from a simple type checker to Hindley-Milner inference and the complexities of adding features like uniqueness types and size types.
A hands-on introduction to the Futhark programming language through a collection of commented example programs, covering basic features and programming techniques for parallel computing.