Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/thesephist/ink

Ink is a minimal programming language inspired by modern JavaScript and Go, with functional style.
https://github.com/thesephist/ink

functional-programming golang ink-programming-language javascript programming-language

Last synced: 24 days ago
JSON representation

Ink is a minimal programming language inspired by modern JavaScript and Go, with functional style.

Awesome Lists containing this project

README 

        


	Ink programming language logo



# Ink programming language



[![GoDoc](https://godoc.org/github.com/thesephist/ink?status.svg)](https://godoc.org/github.com/thesephist/ink)

[![Build Status](https://travis-ci.com/thesephist/ink.svg?branch=master)](https://travis-ci.com/thesephist/ink)



Ink is a minimal programming language inspired by modern JavaScript and Go, with functional style. Ink can be embedded in Go applications with a simple interpreter API. Ink is used to write my current personal productivity suite, [Polyx](https://github.com/thesephist/polyx), as well as my day-to-day scripts and other small programs. Ink's documentation is on the [Ink website](https://dotink.co).






---



Ink has a few goals. In order, they are



- Ink should have a simple, minimal syntax and feature set

- Ink should be quickly readable and clear in expression

- Ink should have a well designed, fully featured, and modular standard library

- Ink should have an ergonomic interpreter and runtime API



Design is always a game of tradeoffs. Ink's goals for minimalism and readability / expressiveness means the language deliberately does not aim to be best in other ways:



- Ink doesn't need to be highly efficient or fast, especially compared to compiled languages

    - However, within the constraints of the interpreter design, I try not to leave performance on the table, both in execution speed and in memory footprint. Efficiently composed Ink programs are between 2-4x slower than equivalent Python programs, in my experience. Small programs can run on as little as 3MB of memory, while the interpreter can stably scale up to gigabytes of memory for data-heavy tasks.

- Ink doesn't need to be particularly concise, though we try to avoid verbosity when we can

- Ink doesn't value platform portability as much as some other languages in this realm, like Lua or JavaScript -- not running on every piece of hardware available is okay, as long as it runs on most of the popular platforms



The rest of this README is a light introduction to the Ink language and documentation about the project and its interpreter, written in Go. For more information and formal specification about the Ink language itself, please see [SPEC.md](SPEC.md).



## Introduction



Here's an implementation of FizzBuzz in Ink.



```ink

` ink fizzbuzz implementation `



std := load('std')



log := std.log

range := std.range

each := std.each



fizzbuzz := n => each(

	range(1, n + 1, 1)

	n => [n % 3, n % 5] :: {

		[0, 0] -> log('FizzBuzz')

		[0, _] -> log('Fizz')

		[_, 0] -> log('Buzz')

		_ -> log(n)

	}

)



fizzbuzz(100)

```



Here's a simple Hello World HTTP server program.



```ink

std := load('std')



log := std.log



listen('0.0.0.0:8080', evt => (

	evt.type :: {

		'error' -> log('Error: ' + evt.message)

		'req' -> (evt.end)({

			status: 200

			headers: {'Content-Type': 'text/plain'}

			body: 'Hello, World!'

		})

	}

))

```



If you're looking for more realistic and complex examples, check out...



- [the standard library](samples/std.ink)

- [quicksort](samples/quicksort.ink)

- [the standard test suite](samples/test.ink)

- [Newton's root finding algorithm](samples/newton.ink)

- [JSON serializer/deserializer](samples/json.ink)

- [a small static file server](samples/fileserver.ink)

- [Mandelbrot set renderer](samples/mandelbrot.ink)



You'll notice a few characteristics about Ink:



- Functions are defined using arrows (`=>`) _a la_ JavaScript arrow functions

- Ink does not have a looping primitive (no `for` or `while`), and instead defaults to tail-optimized recursion. Loops may be possible to have in syntax with macros in the near future.

- Rather than using `if`/`else`, Ink uses pattern matching using the match (`::`) operator. Match expressions in Ink allows for very expressive definition of complex flow control.

- Ink does not have explicit return statements. Instead, everything is an expression that evaluates to a value, and function bodies are a list of expressions whose last-evaluated expression value becomes the "return value" of the function.

- As a general principle, Ink tries not to use English keywords in favor of a small set of short symbols.



You can find more sample code in the `samples/` directory and run them with `ink samples/.ink`.



## Getting started



You can run Ink in three main ways:



1. The Ink binary `ink` defaults to executing whatever comes through standard input, if there is any, or else starts a repl. So you can pipe any Ink script (say, `main.ink`) to the binary to execute it.

```

$ cat main.ink | ink

	# or

$ ink < main.ink

```

2. Use `ink main.ink` to execute an Ink script file.

3. Invoke `ink` without flags (or with the optional `-repl` flag) to start an interactive repl session, and start typing Ink code. You can run files in this context by loading Ink files into the context using the `load` builtin function, like `load('main')`. (Note that we remove the `.ink` file extension when we call `load`.)



Additionally, you can also invoke an Ink script with a [shebang](https://en.wikipedia.org/wiki/Shebang_(Unix)). Mark the _first line_ of your Ink program file with this directive, which tells the operating system to run the program file with `ink`, which will then accept this file and run it for you when you execute the file.



```ink

#!/usr/bin/env ink



`` ... the rest of your program

```



You can find an example of this in `samples/fileserver.ink`, which you can start by simply running `./samples/fileserver.ink` (without having to specifically call `ink samples/fileserver.ink`).



To summarize, ink's input priority is, from highest to lowest, `-repl` -> `-eval` -> files -> `stdin`. Note that command line flags to `ink` should _precede_ any program files given as arguments. If you need to pass a file name that begins with a dash, use `--`.



## Why?



I started the Ink project to become more familiar with how interpreters work, and to try my hand at designing a language that fit my preferences for the balance between elegance, simplicity, practicality, and expressiveness. The first part -- to learn about programming languages and interpreters -- is straightforward, so I want to expand on the second part.



My language of choice at work is currently JavaScript. JavaScript is expressive, very fast (for a dynamic language), and has an approach to concurrency that I really like, using a combination of closures with event loops and message passing to communicate between separate threads of execution. But JavaScript has grown increasingly large in its size and complexity, and also carries a lot of old cruft for sake of backwards compatibility. I've also been increasingly interested in composing programs from functional components, and there are features in the functional PL world that haven't yet made their way into JavaScript like expressive pattern matching and guaranteed tail recursion optimizations (the former has been in TC39 limbo for several years, and the latter is only supported by recent versions of WebKit/JavaScriptCore).



So Ink as a language is my attempt to build a language in the functional paradigm that doesn't sacrifice the concurrency benefits or expressiveness of JavaScript, while being minimal and self-consistent in syntax and semantics. I sometimes think about Ink as what JavaScript would be if it were rewritten by a Lisp programmer. Given this motivation, Ink tries to be a small language with little noise in the syntax, few special tokens, and a few essential builtins, that becomes expressive and powerful by being extremely composable and extensible. While modern dynamic languages routinely have over 100 syntactic forms, Ink has just 10 syntactic forms, from which everything else is derived. Ink deliberately avoids adding features into the language for sake of building a feature-rich language; whenever something can be achieved idiomatically within the constraints and patterns of the existing language or core libraries, that's preferred over adding new features into the language itself. This is how Ink remains tiny and self-consistent.



I'm also very interested in Elixir's approach towards language development, where there is a finite set of features planned to be added to the language itself, and the language is designed to become "complete" at some point in its lifetime, after which further growth happens through extending the language with macros and the ecosystem. Since simplicity and minimalism is a core goal of Ink, this perspective really appeals to me, and you can expect Ink to become "complete" at some finite point in the future. In fact, the feature set documented in this repository today is probably 85-90% of the total language features Ink will get eventually.



## Isolation and permissions model



Ink has a very small surface area to interface with the rest of the interpreter and runtime, which is through the list of builtin functions defined in `runtime.go`. In an effort to make it safe and easy to run potentially untrusted scripts, the Ink interpreter provides a few flags that determine whether the running Ink program may interface with the operating system in certain ways. Rather than simply fail or error on any restricted interface calls, the runtime will silently ignore the requested action and potentially return empty but valid data.



- `-no-read`: When enabled, the builtin `read()` function will simply return an empty read, as if the file being read was of size 0. `-no-read` also blocks directory traversals.

- `-no-write`: When enabled, the builtins `write()`, `delete()`, and `make()` will pretend to have written the requested data or finished the requested filesystem operations safely, but cause no change.

- `-no-net`: When enabled, the builtin `listen()` function will pretend to have bound to a local network socket, but will not actually bind. The builtin `req()` will also pretend to have sent a valid request, but will do nothing.



To run an Ink program completely untrusted, run `ink -isolate` (with the "isolate" flag), which will revoke all revokable permissions from the running script.



### Build scripts and Make



Ink uses [GNU Make](https://www.gnu.org/software/make/manual/make.html) to manage build and development processes:



- `make test` runs the full test suite, including filesystem and syntax/parser tests

- `make run` runs the _extra_ set of tests, which are at the moment just the full suite of samples in the repository

- `make build-(platform)` builds the Ink interpreter for a given operating system target. For example, `make build-linux` will build Ink for Linux to `ink-linux`.

- `make build` by itself builds all release targets. We currently build for 4 OS targets: Windows, macOS, Linux, and OpenBSD

- `make install` installs Ink to your system

- `make precommit` will perform any pre-commit checks for commiting changes to the development tree. Currently it lints and formats the Go code.

- `make clean` cleans any files that may have been generated by running make scripts or sample Ink programs



### Go API



As the baseline interpreter is currently written in Go, if you want to embed Ink within your own application, you can use the Go APIs from this package to do so.



The APIs are still in flux, but you can check out `main.go` and `eval.go` for the Go channels-based concurrent lexer/parser/evaler APIs. As the APIs are finalized, I'll put more information here directly.



For now, here's a minimal example of creating an execution context for Ink and running some Ink code from standard input, and from a file as an `io.Reader`. (In fact, this is very nearly the implementation of executing from stdin in the interpreter.)



```go

package main



import (

	"os"



	"github.com/thesephist/ink/pkg/ink"

)



func main() {

	// Create an "Engine", which is a global execution context for the lifetime of an Ink program.

	eng := ink.Engine{}

	// Create a "Context", which is a temporary execution context for a given source of input.

	ctx := eng.CreateContext()



	// Execute code from an io.Reader

	ctx.Exec(os.Stdin)

	// Wait until all concurrent callbacks finish from the program before exiting

	eng.Listeners.Wait()

}

```



To run from a file, use `os.File` as an `io.Reader`.



```go

package main



import (

	"log"

	"os"



	"github.com/thesephist/ink/pkg/ink"

)



func main() {

	eng := ink.Engine{}

	ctx := eng.CreateContext()



	file, err := os.Open("main.ink")

	defer file.Close()

	if err != nil {

		log.Fatal("Could not open main.ink for execution")

	}



	ctx.Exec(file)

	eng.Listeners.Wait()

}

```



### IDE support



Ink currently has a vim syntax definition file, under `utils/ink.vim`. I'm also hoping to support Monaco / VSCode's language definition format soon with LSP support, but those are on the backburner as I use vim full-time and don't have a personal need for more advanced LSP support.