miniblog.

← Back to all posts
Jul 22, 2019 at 18:43
What compiler intrinsics should you provide in a parallel programming language? When do they give you an asymptotic speedup? A fun discussion for the Futhark programming language, including the *two* big-O measures for time!
What is the minimal basis for Futhark?
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.

Related Posts

Jan 23, 2026 at 00:09
1
Futhark's design is deliberately trying to stay simple to keep long term design sustainable. The author also has an interesting discussion of relative versus absolute paths in import syntax, and how relative paths can make local analysis easier.
Designing a Programming Language for the Desert
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
Mar 21, 2020 at 07:57
Futhark uses unification to drive its type checker, but has different logic to produce error messages! https://futhark-lang.org/blog/2020-03-15-futhark-0.15.1-released.html This is a question I've faced on several occasions.
Futhark 0.15.1 released - now with size types!
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.