dti-lang

A variant of lambda calculus, dti-lang is a programming language that is composed of Cornell DTI's slack workspace emojis.

Getting Started

yarn # Install and compile everything.
yarn start examples/forty-two.dti # parse, type-check, and interpret this file

Language Specification

The programming language has two possible categories of types: int type and function type. The int type can be specified with syntax :1e10:. The function type can be specified with syntax argumentType :dti: returnType. Parentheses can be added to disambiguate.

The program is an expression. The language has five possible expressions:

• Identifier :devsam::evan-ooos:, :megan-disapproves::three:, etc
• Int Literal :one::two:, :four::two:, :zero:, etc
• Add Expression e1 :portalparrot: e2
• Lambda Expression :octocat: (:devsam:: :1e10:):dti :one:
• Function Application lambda(argument)

Design Goals

• Colorful
• Fun
• Readability

Examples

• 42: :four::two:
• identity function: :octocat: (:devsam:: :1e10:) :dti: :devsam:
• identity function applied to get 84: (:octocat: (:devsam:: :1e10:) :dti: :devsam:) (:four::two: :portalparrot: :four::two:)

Development

Run yarn to install all dependencies and compile the project.

If you also want to play with the VSCode extension, install vsce globally, run yarn package, and use keyboard shortcut F5 to launch extension in VSCode debugger.