The following is a hands-on introduction to Futhark through a collection of commented programs, listed in roughly increasing order of complexity. You can load the programs into the interpreter to experiment with them. For a conventional introduction to the language, Parallel Programming in Futhark may be a better choice. For more examples, you can check our implemented benchmarks. We also maintain a list of projects using Futhark.
Some of the example programs use directives for plotting or rendering graphics.
- Basic usage with the factorial function
- Primitive values
- Converting a value to a different type
- Type ascriptions
- Basic parallelism
- Tuples and records
- Size coercions
- Scans and reductions
- Parametric polymorphism
- Gather and scatter
- Pipe operators
- Complex ranges
- Sum types and pattern matching
- Counting elements that satisfy property
- Reducing the result of a filter
- Scattering the result of a filter
- Size parameters
- Matrix multiplication
- Pairwise L₁ distances
- Outer product
- Computing histograms
- Moving average
- Radix sort
- Radix sort by key
- Merge sort
- Removing duplicates
- Abstract data types
- Complex numbers
- Testing for associativity
- Reducing or scanning without a neutral element
- Kahan summation
- Random numbers
- Gaussian blur (with Python integration)
- Three-dimensional vectors
- Faking nominal types
- Triangular matrices
- Binary search
- AD with dual numbers
- Matching parentheses
The following examples are ported from Dex, a dependently typed functional array language that uses a somewhat different approach to describing loop processing. We've tried to keep the original naming scheme and programming style.
- Mandelbrot set
- Multi-step ray tracer
- Monte Carlo estimates of pi
- Brownian motion
- Sierpinski triangle
- OCaml-GPU wordcount example by calling Futhark.
The majority of written Futhark code is probably still Futhark’s own test and benchmark suites. However, there are some programs that have been written in Futhark because it was a good tool for the job, and not just to test the compiler. A possibly incomplete list:
Futball is a game about avoiding getting hit by balls. The rendering engine is a ray tracer written in Futhark.
Futcam is an application that applies stacks of interactively configurable filters to a webcam stream. Futhark is used to implement the filters.
Futracer is a fairly slow brute-force ray tracer written in Futhark.
Palathark is a Futhark implementation of the lattice Boltzmann method.
Ray Tracing in One Weekend in Futhark and Ray Tracing: the Next Week in Futhark are implementations based on Peter Shirley's book series. These are by no means real-time ray tracers, but support advanced effects and make use of acceleration structures like BVH trees.
Pareas is a compiler implemented in Futhark and C++.