coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp. Coalton integrates directly into Common Lisp: (defpackage #:differentiation (:use #:coalton #:coalton-prelude) (:local-nicknames (#:sym #:coalton/symbol)) (:export #:Expr #:EConst #:EVar #:E+ #:E*) (:export #:diff #:t #:d/dt)) (in-package #:differentiation) (named-readtables:in-readtable coalton:coalton) (coalton-toplevel ;; Define a new parametric algebraic data type for simple ;; mathematical expressions. (define-type (Expr :t) "A symbolic expression of basic arithmetic." (EConst :t) (EVar sym:Symbol) (E+ (Expr :t) (Expr :t)) (E* (Expr :t) (Expr :t))) ;; The classic `diff` function, in Coalton. (declare diff (Num :t => sym:Symbol * Expr :t -> Expr :t)) (define (diff x f) "Compute the derivative of `f` with respect to `x`." (match f ((EConst _) ; c' = 0 (EConst 0)) ((EVar s) ; x' = 1 (if (== s x) (EConst 1) (EConst 0))) ((E+ a b) ; (a+b)' = a' + b' (E+ (diff x a) (diff x b))) ((E* a b) ; (ab)' = a'b + ab' (E+ (E* (diff x a) b) (E* a (diff x b)))))) ;; We can use `t` just fine since Coalton doesn't import `cl:t`. (define t (sym:make-symbol "t")) (declare d/dt (Num :t => Expr :t -> Expr :t)) (define (d/dt f) "The time derivative operator." (diff t f))) It also works directly in the REPL: CL-USER> (in-package #:differentiation) DIFFERENTIATION> (coalton-toplevel (define (square x) (E* x x))) ;; SQUARE :: ∀ A. ((EXPR A) → (EXPR A)) DIFFERENTIATION> (coalton (d/dt (E+ (square (EVar t)) (EConst 1)))) #.(E+ #.(E+ #.(E* #.(ECONST 1) #.(EVAR |t|)) #.(E* #.(EVAR |t|) #.(ECONST 1))) #.(ECONST 0)) Type errors are discovered at compile-time, and errors are printed beautifully without sacrificing Common Lisp's interactive debugging facilities. DIFFERENTIATION> (coalton (d/dt (E+ (EConst 1/2) (EConst 0.5)))) error: Type mismatch --> repl:1:32 | 1 | (coalton (d/dt (E+ (EConst 1/2) (EConst 0.5)))) | ^^^^^^^^^^^^ Expected type '(EXPR FRACTION)' but got '(EXPR F32)' Coalton is currently used in production to build defense and quantum computing software. Getting Started WarningCoalton has not reached "1.0" yet. This means that, from time to time, you may have a substandard user experience. While we try to be ANSI-conforming, Coalton is currently only tested on recent versions of SBCL, Allegro CL, and Clozure CL. The version of Coalton that may be in Quicklisp may not be up-to-date. Prepare: Install SBCL (on macOS with Homebrew: brew install sbcl). Install Quicklisp by following instructions here. (The step command involving gpg is not needed.) After installing Quicklisp, you should have a quicklisp folder which will make installing Coalton easier. Install: Clone this repository into a place your Lisp can see (e.g., ~/quicklisp/local-projects/). Use: Either run (ql:quickload :coalton), or add #:coalton to your ASD's :depends-on list. Test: Compile the tests with (ql:quickload :coalton/tests), then run the tests with (asdf:test-system :coalton). NoteRunning the Coalton test suite on SBCL requires GNU MPFR in order to run Big-Float tests. If you would like to run tests without installing gnu-mpfr, you can use Coalton's portable Big-Float implementation by running (pushnew :coalton-portable-bigfloat *features*) before loading Coalton. Learn: Start with Whirlwind Tour of Coalton, the language manual, and the standard library reference, and then take a peek at the examples directory. It may also be helpful to check out the introductory blog post. Open Source Community: Awesome Coalton has a list of community-built libraries, applications, and examples, that you can use in your own projects or as examples to learn from. What's Here? This repository contains the source code to the Coalton compiler, and the standard library. It also contains two optional libraries, which are not loaded by default: coalton/xmath, for extended mathematics, and coalton/threads, for threads, synchronization, and parallel computation (SBCL only). It also contains a few example programs, such as: Some simple pedagogical programs, An implementation of Jones's Typing Haskell in Haskell, and An implementation of a simple Quil parser using parser combinators. Lastly and importantly, we maintain a collection of documentation about Coalton in the docs directory. Get Involved Want to ask a question about Coalton, propose a feature, or share a cool program you wrote? Try posting in the GitHub Discussions page! We welcome contributions of all forms, especially as we stabilize toward a 1.0 release. We would be grateful to receive: bug reports (filed as issues), bug fixes and typo corrections (filed as pull requests), small example programs, and user experience troubles.