https://github.com/mmhelloworld/idris-jvm

JVM bytecode back end for Idris
https://github.com/mmhelloworld/idris-jvm

idris java jvm

Last synced: about 2 months ago
JSON representation

JVM bytecode back end for Idris

• Host: GitHub
• URL: https://github.com/mmhelloworld/idris-jvm
• Owner: mmhelloworld
• License: bsd-3-clause
• Created: 2016-07-17T07:06:57.000Z (about 8 years ago)
• Default Branch: main
• Last Pushed: 2024-07-31T11:02:46.000Z (about 2 months ago)
• Last Synced: 2024-08-01T06:17:29.437Z (about 2 months ago)
• Topics: idris, java, jvm
• Language: Idris
• Homepage:
• Size: 53.1 MB
• Stars: 469
• Watchers: 28
• Forks: 26
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Support: support/Makefile

Awesome Lists containing this project

README

        
Idris 2 for JVM

============

[![Build Status](https://github.com/mmhelloworld/idris-jvm/actions/workflows/install.yml/badge.svg)](https://github.com/mmhelloworld/idris-jvm/actions/workflows/install.yml)

[Idris 2](https://idris-lang.org/) is a purely functional programming language

with first class types. This repository provides Idris 2 compiler targeting JVM bytecode so that Idris 2 compiler and Idris 2 programs can run on the JVM.

## Install

* Download the latest Idris 2 JVM release from [releases page](https://github.com/mmhelloworld/idris-jvm/releases/latest).

* Extract the archive and add `idris2` launcher script directory `/exec` to PATH.

* Create an environment variable `IDRIS2_PREFIX` pointing to `/env`

## Example

#### helloworld.idr

```idris

    module Main

    data Tree a = Leaf

                | Node (Tree a) a (Tree a)

    inorder : Tree a -> List a

    inorder Leaf = []

    inorder (Node left a right) = inorder left ++ [a] ++ inorder right

    tree : Tree String

    tree = Node

            (Node

              (Node Leaf "3" Leaf)

              "+"

              (Node Leaf "7" Leaf))

            "/"

            (Node Leaf "2" Leaf)

    main : IO ()

    main = printLn $ inorder tree

```

#### Compile

`idris2 helloworld.idr -o main`

#### Run

```shell

% build/exec/main

["3", "+", "7", "/", "2"]

```

## Documentation

* [Idris JVM documentation](https://idris-jvm.readthedocs.io/en/latest/)

* [Idris 2 documentation](https://idris2.readthedocs.io/en/latest/index.html)

## License

This repository extends [idris-lang/Idris2](https://github.com/idris-lang/Idris2) repository with JVM backend. Files from [idris-lang/Idris2](https://github.com/idris-lang/Idris2) are covered by that repository's [license](https://github.com/idris-lang/Idris2/blob/main/LICENSE).

All other files from this repository are covered by BSD-3-Clause License. See [LICENSE](LICENSE).