Idris is a functional programming language that continues to evolve. We’re always interested in new, up and coming languages and decided to look a little deeper into Idris.
Idris – a general purpose pure functional programming language with dependent types. Language relatives include Haskell and OCaml.
Platforms supported: Mac OSx, Windows, Ubuntu, and Debian.
Documentation though still in development is available and can be found here: http://docs.idris-lang.org/en/latest/index.html
Downloaded Idris version 0.99 for Windows. IDRIS binary builds are available for Windows 64-bit and Windows 32-bit
Editor: SublimeText3 (installed Idris language support)
Editor support provided for Emacs, Vim, Sublime, and Atom
If you install this on your Windows machine, remember to add the location of the IDRIS.exe file to your PATH.
Taking IDRIS for a test drive – The Idris Tutorial
In the traditional manner of most languages we successfully printed “Hello world!” using Idris.
The program was entered exactly as shown above and then compiled at the command prompt using: idris hello.idr -o hello
This creates hello.exe that when entered at the prompt prints: Hello world.
Idris also supports an Interactive Environment. Details on this and more are available from the Idris Tutorial
We’ll save more discussion on Idris for a future post. Another potentially new and exciting language awaits us.
Remember, Code begins with “C”
External references:
The Haskell Tool Stack: Cross-platform program for developing Haskell projects.