自作言語の仕様について考える

静的型付け

code:record.lang

: vec2

<object> swap >>y swap >>x ;

\ T(∀a. a a -- {x:a y:a})

: steal-x

x>> ;

\ T(∀a.∀o. {..o x:a} -- {..o} a)

code:naming-inference.lang

: memcpy (u src dst --)

var: gmem

: cc gmem memcpy ; \ (u src --)

code:macro.lang

macro: <- ... ; \ lent macro

: v*2