tin

tin 是一种新的静态结构化编程语言。其主要目的是嵌入到其他程序中（类似于Lua等），但易于编译（最初为JIT）。

tin 是您创建应用程序的粘合剂。使用 tin 很容易构建类型安全的插件API。

尽管 tin 有化学符号 Sn，但 tin 文件传统上使用 .tn 扩展名，因为它更容易记忆。

目前，该语言仍在开发中。MVP将是一个名为 tin 的Rust库和可执行文件，包括JIT编译器和基本的类型推断。

crate | 文档

示例

tin 完全是表达式导向的；本身没有类型。为了定义类型，你需要给出类型的示例值。这与基于原型的类型系统非常相似，但没有任何继承支持。

/* Defines the Int type by giving an example value */
Int = 0i64;
/* Similarly for String */
String = "";

/* A Person is anything that has both a name of type String and an age of type Int
 * The definintion is identical to: { name: "", age: 0i64 }
 */
Person = { name: String, age: Int };

一切要么是表达式，要么是变量定义。例如，没有函数；只有可以分配给变量的lambda函数

getAge = |person: Person| Int { person.age };

tin 支持结构化多态类型推断

getAge = |person| { person.age };

main = || {
  getAge({age: 3}); /* → returns 3 */
  getAge({age: "Hello"}); /* → returns "Hello" */
  getAge({name: "Hello"}) /* compile time error */
};

tin 有几个内置类型

/* An unsigned 8-bit integer */
ExampleU8 = 0u8;
/* An unsigned 16-bit integer */
ExampleU16 = 0u16;
/* An unsigned 32-bit integer */
ExampleU32 = 0u32;
/* An unsigned 64-bit integer */
ExampleU64 = 0u64;

/* A signed 8-bit integer */
ExampleI8 = 0i8;
/* A signed 16-bit integer */
ExampleI16 = 0i16;
/* A signed 32-bit integer */
ExampleI32 = 0i32;
/* A signed 64-bit integer */
ExampleI64 = 0i64;

/* A 32 bit floating point number */
ExampleF32 = 0.0f32;
/* A 64 bit floating point number */
ExampleF64 = 0.0f64;

/* An UTF-8 string */
ExampleString = "";

/* A symbol value */
ExampleSymbol = :foo;

/* A tuple */
ExampleTuple = (String, I8, I8);
/* A record */
ExampleRecord = { name: String, x: I8, y: I8 };

/* A lambda */
ExampleLambda = |tuple: ExampleTuple, record: ExampleRecord, int: I8| I8 { int };

lib.rs:

非常高效地访问specs组件和资源的工具。

这可以用来实现编译为非常有效代码的ECS图的泛型转换。

使用 specs-visitor-derive crate来自动推导本crate中的trait。