Lib.rs

› 关键字 #closures #programming-language #lambda #callback #container #type-level

类型系统

  1. roussillon-type-system

    编程语言的一种类型系统

    v0.3.7 600 #type #type-system #programming-language #types

  2. drop_guard

    允许你在任何类型上实现 Drop 特性。这样你就可以在作用域结束时运行闭包

    v0.3.0 9.7K #closures #callback #lambda #container #type-system #closure

  3. type-sets

    在 rust 类型系统中实现的集合

    v0.0.6 #sets #type #type-level #type-system #set

  4. osiris-typed

    虚拟机的一种类型上下文

    v0.1.1 #virtual-machine #virtualization #processor #type-system

  5. arithmetic-typing

    算术表达式的 Hindley-Milner 类型推断

    v0.3.0 #arithmetic #typing #scripting #scripting-language #language #type-system

  6. ethane-types

    ethane 的类型系统，依赖最少

    v1.0.2 #ethereum #simple #type-system #web3

    7. 尝试使用 DuckDuckGo 搜索。

  7. kailua_check

    Kailua 的类型检查器

    v1.1.0 #lua #kailua #language #type-checker #type-system

  8. kailua_types

    Kailua 的类型系统

    v1.1.0 #lua #kailua #language #type-system