52 releases

0.0.52 Mar 5, 2023
0.0.51 Mar 4, 2023
0.0.50 Feb 25, 2023
0.0.24 Jan 28, 2023
0.0.16 Dec 31, 2022

#82 in #ir

Download history 8/week @ 2024-02-23 3/week @ 2024-03-01 1/week @ 2024-03-08 1/week @ 2024-03-15 257/week @ 2024-03-29 53/week @ 2024-04-05

310 downloads per month
Used in l1ir-rust

MIT license

3.5K SLoC

L1IR: Typed Glue

Crates.IO Documentation

Intermediate Representation of LSTS L1 Language. Built to support and manage JIT incremental compilation. Efficiently build and evaluate code fragments so that you can generate even more code faster!

(Rust)   1M 2^20 in   4.8860006 seconds
(L1)     1M 2^20 in   3.8207040 seconds
(Python) 1M 2^20 in 130.2404361 seconds
(OCaml)  1M 2^20 in   2.5900000 seconds

note: Rust is compiled without optimizations enabled because it constant folds the entire benchmark


  • Literal Strings
  • Tuples
  • Functions

Gradual Types (optional)

  • T<A,B,C> decorations for nominal accept/reject
  • Regex for literal accept/reject
  • Tuple/Functions for structural accept/reject
  • Invariant properties accept/reject

Global AST Nodes

  • Function Definitions
  • Program Expressions

Expression AST Nodes

  • Literal Introduction
  • Tuple Introduction
  • Variable Reference
  • Function Reference
  • Function Application
  • Pattern Match
  • Program Failure, Immediate Exit with possible Message

L1IR's unique contribution is that it does not presume to know everything about literal strings. Literal Values, by definition, are represented as an amalgam of Unicode Characters instead of fixed length bitstrings. This is advantageous to languages like L1 that define their own operators from scratch, but still desire to have an efficient runtime.

Things not in the AST directly

  • If Expression (use a pattern)
  • Struct Types (use a tuple)
  • Tagged Enum Types (use tagged tuples)
  • Field/Index Access (use a pattern)
  • Polymorphic Functions (monomorphic definitions only)
  • Stateful Closures (use a tuple with custom calling convention)
  • Let Bindings (use a pattern, bound variables stick around until end of scope)
  • Jumps or Loops (this is an IR for Functional Programming)
  • Integers (use unary encoding "000"==3)


~321K SLoC