Arto's Notes re: DRYlang

Targets

Pattern Matching

(To be written.)

(match my-value
 ;; TODO
 ...)

Type Annotations

(To be written.)

(fun (x: int y: int) ...)

(fun (x: int y: -1) ...)

(fun (x: int y: (int -1)) ...)

Type Inference

(To be written.)

Partial Application

(To be written.)

(define square (* 2))

Function Pipelines

(To be written.)

Condition System

(To be written.)

Numerical Tower

(To be written.)

MLs

• 1ML
• OCaml
• CakeML
• F*

Lisps

• Common Lisp
• Scheme
  • Stalin
• Clojure
• Carp

Array

Concatenative

Miscellaneous

• Wolfram Language
• Erlang
• Elixir
• Rust
• CRDTs