自作言語の仕様について考える
静的型付け
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