Metis-agent: Instructions file for Claude Code

This project implements the Metis code agent application, which is written in the Cangjie programming language.

Introduction of Cangjie

Cangjie is a recently introduced programming language. We briefly describe the syntax of Cangjie below.

Function definition

Use func to define a function, input parameter and return value may have type annotations. Some parameters may be named (indicated with ! sign). E.g.

func foo(a: Int64, b!: Int 64 = 0)

Function call

In function call, the positional parameters are passed in first, without specifying the parameters name. The named parameters follow in any order, where the parameter name must be specified. Parameter with default values need not be specified. E.g.

foo(3)
foo(3, b: 2)

Variable declaration

Variable declarations use either let or var. Variables declared using let are immutable (cannot be assigned after initialization). Variables declared using var can be assigner again within the function.

Number types

The primitive types for numbers include:

• Signed integers: Int8, Int16, Int32, Int64, IntNative
• Unsigned integers: UInt8, UInt16, UInt32, UInt64, UIntNative
• Floating points: Float16, Float32, Float64(Float literals must have a ., e.g. 4 should be written as 4.0 to be Float type.)

Array and ArrayList

Arrays with fixed length are declared using Array<T>, where T is the type of elements in the array. Arrays with dynamic length are declared with ArrayList<T>. The use of ArrayList requires import std.collection.*.

HashMap and HashSet

HashMap represents mapping from keys to values using a hash table. HashSet represents a set of values. Hashable values include numbers and strings but not tuples, Array or ArrayList. Use of HashMap and HashSet requires import std.collection.*.

Sorting

Sorting on arrays requires import std.sort.*. The basic syntax is sort(arr).

Tuples

Tuple types are represented using (T1, T2, ..., TN), where T1 to TN can be any type. Tuples are immutable. Tuple values are represented using the parenthesis syntax as well. Elements of a tuple are accessed by array indexing with constant indices (e.g. t[0], t[1]).