Skip to content

egison/docker-egison

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

37 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

The Egison Programming Language

Deploy (Build && Push) Scheduled test

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.

docker pull egison/egison

Case 1. Run Interpreter

We can call the Egison interpreter with the following command.

$ 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.

$ 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.

$ 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