Idris

Idris is a general-purpose, purely functional programming language with dependent types. Its advanced type system allows types to be parameterized by values, enabling developers to encode strong invariants directly into type signatures and perform formal program verification.

Installation

You can install Idris on Ubuntu using apt:

apt update
apt install -y idris2

Alternatively, you can install Idris 1:

apt update
apt install -y idris

Verification

Check the installed version of Idris:

idris2 --version

Writing and Compiling Code

Create an Idris file named hello.idr:

module Main

main : IO ()
main = putStrLn "Hello, World!"

Compile and run the program using Idris 2:

idris2 hello.idr -o hello
./build/exec/hello

Or using Idris 1:

idris hello.idr -o hello
./hello

Official Resources

• Official Website