注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 世界种子植物科的分布区类型系统.rar

  2. 世界种子植物科的分布区类型系统.rar世界种子植物科的分布区类型系统.rar世界种子植物科的分布区类型系统.rar世界种子植物科的分布区类型系统.rar世界种子植物科的分布区类型系统.rar

  3. 所属分类：专业指导

    • 发布日期：2010-07-15
    • 文件大小：527360
    • 提供者：sizhen324

  1. 强类型系统 RTTI 类型识别

  2. 强类型系统RTTI，类型识别系统，对于像了解这个概念的同仁们，是不错的选择！

  3. 所属分类：专业指导

    • 发布日期：2010-08-21
    • 文件大小：37888
    • 提供者：hero_yan

  1. 《面向对象技术与方法》03、Java类型系统.pdf

  2. 《面向对象技术与方法》03、Java类型系统.pdf 《面向对象技术与方法》03、Java类型系统.pdf

  3. 所属分类：Java

    • 发布日期：2008-10-30
    • 文件大小：591872
    • 提供者：vicky19840808

  1. Kotlin类型系统竟如此简单

  2. 主要给大家介绍了关于Kotlin类型系统的相关资料，文中通过示例代码介绍的非常详细，对大家学习或者使用Kotlin具有一定的参考学习价值，需要的朋友们下面来一起学习学习吧

  3. 所属分类：其它

    • 发布日期：2020-08-25
    • 文件大小：155648
    • 提供者：weixin_38715048

  1. 浅析C# 中的类型系统（值类型和引用类型）

  2. 主要介绍了浅析C# 中的类型系统（值类型和引用类型）,需要的朋友可以参考下

  3. 所属分类：其它

    • 发布日期：2020-08-31
    • 文件大小：40960
    • 提供者：weixin_38638647

  1. c#:CTS类型系统

  2. CTS通用类型系统，是.Net中一套定义类型的规则。我们要掌握c#开发，首先要建立这个类型概念，只有知道c#的元素是什么类型，才能进行相关的分析和选材。

  3. 所属分类：其它

    • 发布日期：2020-09-05
    • 文件大小：59392
    • 提供者：weixin_38703626

  1. 浅析C# 中的类型系统（值类型和引用类型）

  2. 今天要写的东西都是书中一些概念性的东西，就当抄笔记，以提问对话的方式将其写出来吧，说不定以后面试能有点谈资~~~ 　　Q1.C#1系统类型包含哪三点特性？ 　　A1.C#1类型系统是静态的、显式的和安全的。 　　Q2.为什么称为静态类型？ 　　A2.静态类型是用来描述表达式在编译时的类型，当声明一个类型的变量时，不能将变量指向其它类型的对象。 　　Q3.显式类型和隐式类型的区别？ 　　A3.显式类型和隐式类型只有静态类型中的语言才有意义。显式类型需要显式声明一个变量的类型，而隐式类型则将类型的判

  3. 所属分类：其它

    • 发布日期：2021-01-01
    • 文件大小：45056
    • 提供者：weixin_38630358

  1. AbstractCode:开源编译器前端，包括类型系统，解析器和代码分析引擎-ab source code

  2. 抽象代码 AbstractCode是一个开放源代码的编译器前端，它允许您使用一致的类型系统为使用任何编程语言编写的代码设置编译器，解释器或分析器。 AbstractCode是根据LGPLv3许可证发布的。 历史 该项目的主要目的是为 （一个开放源代码的集成开发环境（IDE））提供一个集中式系统和健壮的解析器引擎，以使某些功能（如良好的建议提供，语法错误的检测以及源代码的重构）成为可能。 ， 可能的。 特征 集中式类型系统：根项目（ AbstractCode ）提供了一个一致的类型系统，该系统能

  3. 所属分类：其它

    • 发布日期：2021-03-24
    • 文件大小：407552
    • 提供者：weixin_42127937

  1. runtime:通用ACK运行时和类型系统-源码

  2. ACK通用运行时和类型系统 该存储库包含AWS Controllers for Kubernetes（ACK）通用运行时和类型系统的源代码。 请在主要的AWS Controllers for Kubernetes Github项目上和反馈。 贡献 我们欢迎社区的贡献并提出要求。 有关如何报告问题，设置开发环境和提交代码的更多信息，请参见我们的。 我们遵守。 您还可以了解有关我们结构的更多信息。 执照 该项目已Apache-2.0许可证的许可。

  3. 所属分类：其它

    • 发布日期：2021-03-17
    • 文件大小：102400
    • 提供者：weixin_42097557

  1. jsonotron:一个用于管理基于JSON模式的类型系统的库-源码

  2. 振子 Jsonotron是一种描述您自己的JSON数据类型系统的方法。 Jsonotron采用并添加了文档，测试用例和枚举。 文档提供了一种捕获有关类型用法的详细信息的机制。 这包括一些示例，这些示例使您可以快速查看应如何使用类型。 这也可以内置到文档网站中。 测试用例提供应视为有效的类型的值，而不应提供有效的样本。 Jsonotron运行时将检查您的类型是否按预期执行了约束。 枚举是以专用的JSON格式（而不是JSON模式）定义的，因此我们可以将基础值与其他属性（如显示文本，符号和弃用

  3. 所属分类：其它

    • 发布日期：2021-03-14
    • 文件大小：296960
    • 提供者：weixin_42154650

  1. pure:在OCaml中实现的纯类型系统-源码

  2. 纯的 这是任意纯类型系统的解释器。 查看详细说明。 Pure使用双向类型检查，因此其键入规则与Wikipedia上列出的规则略有不同。 这是打字规则，其灵感来自《有关。 Oleg Grenrus在有关纯类型系统的双向类型检查的中。 我只是略读了一下，但我们似乎提出了几乎相同的规则集。 但是，他在探索这个想法上比我对Pure进行的研究更深入。 编译中 Pure使用 ，可以与opam install dune 。 要构建解释器，请运行dune build repl.exe ，并使用.pure文

  3. 所属分类：其它

    • 发布日期：2021-03-12
    • 文件大小：18432
    • 提供者：weixin_42128963

  1. sanctuary-def:JavaScript的运行时类型系统-源码

  2. 避难所 sanctuary-def是Javascr ipt的运行时类型系统。 它有助于定义咖喱Javascr ipt函数，这些函数明确地说明了可以应用它们的参数的数量以及这些参数的类型。 通常将软件包导入为$ ： const $ = require ( 'sanctuary-def' ) ; 下一步是定义环境。 环境是的数组。 是包含所有内置Javascr ipt类型的环境。 它可以用作包含自定义类型以及内置类型的环境的基础： // Integer :: Type const In

  3. 所属分类：其它

    • 发布日期：2021-03-11
    • 文件大小：54272
    • 提供者：weixin_42119989

  1. json-parser-in-typescript-very-bad-idea-please-dont-use:JSON分析器完全以TypeScript的类型系统编写-源码

  2. json-parser-in-typescr ipt-very-bad-idea-please-dont-use JSON分析器完全以Typescr ipt的类型系统编写 import type { ParseJson } from "json-parser-in-typescr ipt-very-bad-idea-please-dont-use" type Person = ParseJson // { // "name": "Jamie Kyle", // } & { // "t

  3. 所属分类：其它

    • 发布日期：2021-03-11
    • 文件大小：3072
    • 提供者：weixin_42144201

  1. raml-typesystem:（已弃用）RAML类型系统的Typescript实现-源码

  2. RAML数据类型系统 该模块包含引入的类型系统的轻量级实现。 它允许您解析，验证，修改RAML类型，并将它们存储回JSON。 安装 npm install raml-typesystem --save 用法 解析和验证单个类型： import ts = require ( "raml-typesystem" ) var personType = ts . loadType ( { type : "string[]" , minItems : 3 , maxItems

  3. 所属分类：其它

    • 发布日期：2021-03-11
    • 文件大小：172032
    • 提供者：weixin_42132598

  1. glib:去GLib类型系统的绑定-源码

  2. 去GLib类型系统的绑定。 该软件包旨在基于GLib类型系统（例如GTK，GStreamer等）构建与C库的绑定。 有关示例代码，请参见示例绑定或绑定。 有关信号/事件处理模型，请参见 。 依存关系 您需要带有C标头的glib 2.0库来安装此软件包（Debian / Ubuntu上的libglib2.0-dev）。 文献资料

  3. 所属分类：其它

    • 发布日期：2021-03-11
    • 文件大小：11264
    • 提供者：weixin_42129300

  1. go-cty:Go应用程序中用于动态值的类型系统-源码

  2. 城市 cty （发音为“ see-tie”）是一种动态类型系统，用于用Go编写的应用程序，需要表示用户提供的值而不会丢失类型信息。 主要用途是用于实现配置语言，但其他用途也是可能的。 人们可以想到的cty作为为不存在，或不存在语言的反射API。 它提供了一组值类型和一个用于处理该类型值的API。 从根本上讲， cty提供的功能等同于附加了一些动态类型信息的interface{} ，但是cty封装了此功能以确保保留不变式并提供更方便的API。 除了基本类型，基本集合类型（列表，地图和集合）和

  3. 所属分类：其它

    • 发布日期：2021-03-11
    • 文件大小：256000
    • 提供者：weixin_42122988

  1. type-systems:OCaml中各种类型系统的实现-源码

  2. 发展自己的类型系统 该存储库包含OCaml中不同类型系统的实现。 它旨在通过扩展或实现自己的系统来帮助想要了解更多有关高级类型系统以及类型推断或实验的人员。 实现是最少的，并且包含（希望）简单明了的代码。 包含称为算法W的Damas-Hindley-Milner类型推断算法（用于OCaml，Haskell和Elm等功能语言）的最基本但最有效的实现之一。 使用引用来模拟类型替换，并为类型变量分配等级/级别以简化泛化。 扩展algorithm_w与类型推断与范围的标签，根据大安Leijen的出

  3. 所属分类：其它

    • 发布日期：2021-03-11
    • 文件大小：103424
    • 提供者：weixin_42155721

  1. flow-runtime：具有完全Flow兼容性JavaScript运行时类型系统-源码

  2. 流运行时 具有完全兼容性Javascr ipt运行时类型系统。 。 维护状态 由于该项目的复杂性以及维护人员普遍对Flow感到厌倦，因此该项目的维护情况不再很好。 jedwards1211的声明 目前，我需要在一些使用它进行API输入验证的生产项目中保持此工作（使用optInOnly选项而不是在各处使用毯子式运行时验证）。 但是，我最终希望将这些项目迁移到以下任何一个： 一个库，在该库中声明可以从中提取值类型的验证器。 为此，我在Typescr ipt中创建了 babel-plugi

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：756736
    • 提供者：weixin_42106765

  1. 类型：使用类型系统进行实验-源码

  2. 种类 类型系统中的一些实验，旨在作为参考实施或学习帮助那些希望获得一些“文学代码”式写作的可理解的完整源代码的人。 此处发现的大多数（或全部）工作都是基于其他人的工作，这些工作来自参考实现或直接来自研究论文，或两者的某种结合。

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：35840
    • 提供者：weixin_42133680

  1. C：C是一种通用的过程计算机编程语言，支持带有静态类型系统的结构化编程，词法变量范围和递归-源码

  2. C C是一种通用的过程计算机编程语言，支持带有静态类型系统的结构化编程，词法变量范围和递归。 通过设计，C提供了可以有效映射到典型机器指令的构造。 它已在以前以汇编语言编码的应用程序中找到了持久使用的方法。 此类应用程序包括操作系统和用于从超级计算机到PLC和嵌入式系统的计算机体系结构的各种应用程序软件。

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：28672
    • 提供者：weixin_42135073
« 12 3 4 5 6 7 8 9 10 ... 50 »