https://github.com/egison/docker-egison
Dockerfile for Egison
https://github.com/egison/docker-egison
Last synced: about 1 year ago
JSON representation
Dockerfile for Egison
- Host: GitHub
- URL: https://github.com/egison/docker-egison
- Owner: egison
- Created: 2014-11-17T06:41:29.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2021-12-12T09:29:14.000Z (over 4 years ago)
- Last Synced: 2025-03-29T20:51:09.522Z (about 1 year ago)
- Language: Shell
- Homepage: https://hub.docker.com/r/egison/egison
- Size: 39.1 KB
- Stars: 6
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# The Egison Programming Language
[![Deploy (Build && Push)]](https://github.com/egison/docker-egison/actions/workflows/deploy.yml
) [![Scheduled test]](https://github.com/egison/docker-egison/actions/workflows/schedule.yml
)
[Deploy (Build && Push)]: https://github.com/egison/docker-egison/actions/workflows/deploy.yml/badge.svg
[Scheduled test]: https://github.com/egison/docker-egison/actions/workflows/schedule.yml/badge.svg
Egison is the **pattern-matching-oriented**, purely functional programming language.
We can directly represent pattern-matching against lists, multisets, sets, trees, graphs and any kind of data types.
This is the docker repository of the interpreter of Egison.
## Installation
We assume you are already familiar with Docker.
```sh
docker pull egison/egison
```
## Case 1. Run Interpreter
We can call the Egison interpreter with the following command.
```shellsession
$ docker run -it egison/egison
Egison Version 4.1.2
https://www.egison.org
Welcome to Egison Interpreter!
>
Leaving Egison Interpreter.
```
## Case 2. Execute Egison Script
We can execute an Egison script with the following command evn under local current directory.
```shellsession
$ cat > hello.egi
def main args := do
print "Hello, world!"
$ docker run -it -v $(pwd):/docker:ro egison/egison:latest hello.egi
Hello, world!
```
## Setting
We can set an alias as follow.
```shellsession
$ alias egison-docker='docker run -it -v $(pwd):/docker:ro egison/egison'
$ egison-docker
Egison Version 4.1.2
https://www.egison.org
Welcome to Egison Interpreter!
>
Leaving Egison Interpreter.
$ egison-docker hello.egi
Hello, world!
```
## Links
- [Egison website](http://www.egison.org)
- [Egison on GitHub](https://github.com/egison/egison)