futhark - a parallel functional array language
Contents
Commands
futharkbenchcmpFILE_AFILE_B
Compare two JSON files produced by the --json option of futhark-bench. The results show speedup of the
latter file compared to the former.
futharkcheck[-w][-Werror]PROGRAM
Check whether a Futhark program type checks. With -w, no warnings are printed. With --Werror, warnings
are treated as errors.
futharkcheck-syntaxPROGRAM
Check whether a Futhark program is syntactically correct.
futharkdatacmpFILE_AFILE_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).
All discrepancies will be reported. This is in contrast to futhark-test, which only reports the first
one.
futharkdatagetPROGRAMDATASET
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.
futharkdefsPROGRAM
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.
futharkdevoptions…PROGRAM
A Futhark compiler development command, intentionally undocumented and intended for use in developing the
Futhark compiler, not for programmers writing in Futhark.
futharkeval[-fFILE][-w]<exprs…>
Evaluates expressions given as command-line arguments. Optionally allows a file import using -f.
futharkhashPROGRAM
Print a hexadecimal hash of the program AST, including all non-builtin imports. Supposed to be invariant
to whitespace changes.
futharkimportsPROGRAM
Print all non-builtin imported Futhark files to stdout, one per line.
futharklsp
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.
futharkqueryPROGRAMLINECOL
Print information about the variable at the given position in the program.
futharkthanks
Expresses gratitude.
futharktokensFILE
Print the tokens the given Futhark source file; one per line.
Copyright
2013-2020, DIKU, University of Copenhagen
0.25.27 Mar 02, 2025 FUTHARK(1)
Description
Futhark is a data-parallel functional array language. Through various subcommands, the futhark tool
provides facilities for compiling, developing, or analysing Futhark programs. Most subcommands are
documented in their own manpage. For example, futharkopencl is documented as futhark-opencl. The
remaining subcommands are documented below.
Name
futhark - a parallel functional array language
See Also
futhark-opencl, futhark-c, futhark-python, futhark-pyopencl, futhark-wasm, futhark-wasm-multicore,
futhark-ispc, futhark-dataset, futhark-doc, futhark-test, futhark-bench, futhark-run, futhark-repl,
futhark-literateSynopsis
futhark <subcommand> options…
