mcenv / box Goto Github PK

• Monomorphization

• let name = 0; "Hello, #{name}!"
• const-only until string concatenation is added

Implement a Tokenize pass before the Parse pass.
Tokenize does not know mixfix operators and only generates a list of atom terms.

Restricts the function to be a leaf one for optimization.

• Defunctionalization
  • Generate dispatcher

• Allows us to run arbitrary code efficiently at debug phase
• Implemented by Truffle?
  • Requires GraalVM for better performance
  • Can be used for NbE?
    • Not likely: Just-in-Time Compilation of Dependently-Typed Lambda Calculus

Input

function f () → [int;] = [int; 1, 2, 3]

Expected output

data modify storage mcx: int_array append value [I;1,2,3]

Actual output

data modify storage mcx: int_array append value [I;0,0,0]
data modify storage mcx: int append value 1
data modify storage mcx: int_array[-1][0] set from storage mcx: int[-1]
data remove storage mcx: int[-1]
data modify storage mcx: int append value 2
data modify storage mcx: int_array[-1][1] set from storage mcx: int[-1]
data remove storage mcx: int[-1]
data modify storage mcx: int append value 3
data modify storage mcx: int_array[-1][2] set from storage mcx: int[-1]
data remove storage mcx: int[-1]

• Surface syntax
• Code generation

• For partial type synthesis
• Not to leak meta from signatures

• Persistence (convert apply to run)

• Pass by NBT path, without copying
• How to prevent infinite code duplication?
  • Conservative solution: only for non-recursive defs

• Subtyping hierarchy analysis

<term> is <pattern> : bool

For tracking the world and command source stacks.

Represents functions only available in the meta-level.

• The installations play command launches the Minecraft server with a specific version
• Minecraft servers and their libraries are cached and shared

The following code fails in the pack phase.

function f () → int =
  let x = 0
  if true then x else 1

• Invalidate cache from modified files

The following ill-phased code elaborates successfully.

function f () → int =
  let x = [`0];
  0

string → location/level

• Implemented by either of
  • Builtin support for type class / static dispatch
  • Compile-time type dispatch
    • Problem with extensibility?
• Not type classes as first-class objects
  • Type classes as second-class objects?
• No confluence (global uniqueness of instances)

Examples

# class definition
class add⟨a⟩ {
  function +(a₁: a, a₂: a) → a;
};

# instance definition
instance add_int = add⟨int⟩ {
  function +(a₁: int, a₂: int) → int {
    # ...
  };
};

# class use
function sum⟨a: add⟩(as: [a]) → a {
  # ...
};