A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.

Lobsters is a community-driven platform for sharing and discussing links to articles, tutorials, and projects related to technology and programming. Readers can learn about a wide range of topics, from software development and system administration to cybersecurity and artificial intelligence. With user submissions, comments, and voting, Lobsters provides a platform for collaborative learning and knowledge sharing among technology enthusiasts.

Lobsters

Arrays can be conceptually viewed as functions mapping indices to values, a perspective that offers interesting language design possibilities. While languages like K and Dex explore this correspondence through syntax and type systems, Futhark maintains separation due to performance constraints and operational guarantees around slicing. The article examines why full unification isn't practical in Futhark, particularly around defunctionalization restrictions and slice operations, while proposing that future languages could exploit shared abstractions like functorial maps that work for both arrays and functions.

Are arrays functions?