Package convex.core.lang

Class Compiler

java.lang.Object

convex.core.lang.Compiler

public class Compiler
extends Object

Compiler class responsible for transforming forms (code as data) into an Op tree for execution. Phases in complete evaluation:

1. Expansion (form -> AST)
2. Compile (AST -> op)
3. Execute (op -> result)

Expanded form follows certain rules: - No remaining macros / expanders in leading list positions TODO: consider including typechecking in expansion phase as per: http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf "A language that doesn't affect the way you think about programming is not worth knowing." ― Alan Perlis

Field Summary

Fields

Modifier and Type	Field	Description
static final CoreFn<ACell>	INITIAL_EXPANDER	Initial expander used for expansion of forms prior to compilation.

Constructor Summary

Constructors

Constructor	Description
Compiler()

Method Summary

Modifier and Type	Method	Description
protected static boolean	isListStarting(Symbol element, ACell form)	Returns true if the form is a List starting with value equal to the the specified element

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

INITIAL_EXPANDER

public static final CoreFn<ACell> INITIAL_EXPANDER

Initial expander used for expansion of forms prior to compilation. Should work on both raw forms and syntax objects. Follows the "Expansion-Passing Style" approach of Dybvig, Friedman, and Haynes

Constructor Details

Compiler

public Compiler()

Method Details

isListStarting

protected static boolean isListStarting(Symbol element,
 ACell form)

Returns true if the form is a List starting with value equal to the the specified element

Parameters:

element -

form -

Returns:

True if form is a list starting with a Syntax Object wrapping the specified element, false otherwise.