FUTHARK(1)

📦
version 0.25.32 · 5 versions
, in ubuntu resolute, ubuntu stonking

💖 FUTHARK(1) 💖

okay bestie, welcome to the futhark manual page — yes the whole language, yes the whole tool, let's get into it ✨

✨ NAME ✨

futhark — a parallel functional array language 🦋

🌸 SYNOPSIS 🌸

futhark <subcommand> options...

💅 DESCRIPTION 💅

So Futhark is a data-parallel functional array language, no big deal. And through its various subcommands, the futhark tool is your little bestie for compiling, developing, or analysing Futhark programs. Obsessed with her, honestly.

Most subcommands have their own manpage, because they're that iconic. Like, futhark opencl gets documented as futhark-opencl <#futhark-opencl-1>. The remaining subcommands? They're documented right here, below, for you 🫶

👑 COMMANDS 👑

🎀 futhark benchcmp FILE_A FILE_B

Compare two JSON files produced by the --json option of futhark-bench <#futhark-bench-1>. The results show the speedup of the latter file compared to the former. FILE_B said "move, I'm faster" 💀

🎀 futhark check [-w] [-Werror] PROGRAM

Check whether a Futhark program type checks. With -w, no warnings are printed. With --Werror, warnings are treated as errors. Harsh but fair, ngl.

🎀 futhark check-syntax PROGRAM

Check whether a Futhark program is syntactically correct. Just the grammar vibe check, nothing more ✨

🎀 futhark datacmp FILE_A FILE_B

Check whether the two files contain the same Futhark values. The files must be formatted using the general Futhark data format that is used by all other executable and tools (such as futhark-dataset <#futhark-dataset-1>).

All discrepancies will be reported. This is in contrast to futhark-test <#futhark-test-1>, which only reports the first one. datacmp is the friend who tells you everything, no gatekeeping 💅

🎀 futhark dataget PROGRAM DATASET

Find the test dataset whose description contains DATASET (e.g. #1) and print it in binary representation to standard output. This does not work for script datasets. Sorry bestie 😭

🎀 futhark defs PROGRAM

Print names and locations of every top-level definition in the program (including top levels of modules), one per line. The program need not be type-correct, but it must not contain syntax errors. So like... scrambled inside but the outside gotta be cute.

🎀 futhark dev options... PROGRAM

A Futhark compiler development command, intentionally undocumented and intended for use in developing the Futhark compiler, not for programmers writing in Futhark. It's giving ✨backstage✨ — you're not on the list, babes.

🎀 futhark eval [-f FILE] [-w] <exprs...>

Evaluates expressions given as command-line arguments. Optionally allows a file import using -f. Instant gratification, we love her 💖

🎀 futhark hash PROGRAM

Print a hexadecimal hash of the program AST, including all non-builtin imports. Supposed to be invariant to whitespace changes. She does not care about your extra blank lines, periodt.

🎀 futhark imports PROGRAM

Print all non-builtin imported Futhark files to stdout, one per line. The whole friend group, revealed 🌈

🎀 futhark lsp

Run an LSP (Language Server Protocol) server for Futhark that communicates on standard input. There is no reason to run this by hand. It is used by LSP clients to provide editor features. Like, unless you're an editor, mind your business 🙈

🎀 futhark query PROGRAM LINE COL

Print information about the variable at the given position in the program. Point at it and she'll tell you its whole lore 🔥

🎀 futhark thanks

Expresses gratitude. That's it. That's the command. 🥹💜

🎀 futhark tokens FILE

Print the tokens the given Futhark source file; one per line.

💜 SEE ALSO 💜

  • futhark-opencl <#futhark-opencl-1>
  • futhark-c <#futhark-c-1>
  • futhark-python <#futhark-py-1>
  • futhark-pyopencl <#futhark-pyopencl-1>
  • futhark-wasm <#futhark-wasm-1>
  • futhark-wasm-multicore <#futhark-wasm-multicore-1>
  • futhark-ispc <#futhark-ispc-1>
  • futhark-dataset <#futhark-dataset-1>
  • futhark-doc <#futhark-doc-1>
  • futhark-test <#futhark-test-1>
  • futhark-bench <#futhark-bench-1>
  • futhark-run <#futhark-run-1>
  • futhark-repl <#futhark-repl-1>
  • futhark-literate <#futhark-literate-1>

2013-2020, DIKU, University of Copenhagen

okay that's the whole page bestie, you ate 💅✨ and before you go — this was version 0.25.32, dated Mar 11, 2026, from the Futhark manual. mwah, go compile something iconic 🌸🦋💖

📦 where this page comes from