Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/mmhelloworld/idris-jvm
JVM bytecode back end for Idris
https://github.com/mmhelloworld/idris-jvm
idris java jvm
Last synced: 3 days 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 (over 8 years ago)
- Default Branch: main
- Last Pushed: 2024-11-01T22:18:42.000Z (12 days ago)
- Last Synced: 2024-11-03T14:36:03.549Z (10 days ago)
- Topics: idris, java, jvm
- Language: Idris
- Homepage:
- Size: 53 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
============
[](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).