tst050.mal

一个内存数据库的源代码这是服务器端还有客户端

# Variables names may be tagged with a type upfront.
# They may be initialized with a lexical constant using
# either their stored type syntax or with a string literal

s:str := "hello";
i:sht := 1:sht;
b:bit   := true;
z:bat[:int,:int]:= bat.new(:int,:int);

# type resolver should complain on the rest
j:sht := 1:lng;
k:lng := 1:sht;
y:bat[:str,:int]:= bat.new(:int,:int);
f:flt := "wrong";