TypeScript 类型系统## TypeScript 类型系统 分享人:陈文岗 学校:中国科学院大学 2021年1月21日 ## 关于TypeScript TypeScript是微软推出的JavaScript静态类型版本,它是JavaScript的超集,可以编译为纯粹的JavaScript TypeScript How Does TypeScript Work? TypeScript file.ts JavaScript jpg) ## TypeScript 基础类型 // 数字类型 let num: number; num = 123; // 布尔类型 let flag: boolean; flag = false; // 字符串类型 let str: string; str = 'Hello World'; ## TypeScript 高级类型 // 数组类型 let arr: number]; 'chenwengang', age: 23 }; // 函数类型/函数签名 type Callback = () => void; let cb:Callback = () => { console.log('callback'); }; ## TypeScript 高级类型 // 交叉类型 type User1 = { name: string;0 码力 | 25 页 | 1.27 MB | 2 年前3
5 刘知杭 静态类型的Python## 静态类型的Python PYTHON 30th Lyzh(刘知杭) ## 目录 CONTENTS ➤ 有关类型的概念 使用mypy对Python源代码进行静态分析 代数数据类型 拓展知识 ## 关于类型的一些基本概念 有类型不等于有类型系统 PYTHON 30th 动态语言类型化的必要性 ## 不久前的一个案例 ☀️ ☀️ ☁️ rl = filter(lambda x: HttpResponse(json.dumps(rl), content_type='application/json') ## 类型的概念 CPython定义了PyObject这个结构体作为对象头。 CPython中的类型,是指在对象头中指向类型元信息的指针。 ## ●●● // cpython/include/object.h #define PyObject_HEAD PyObject CPython有类型,但CPython没有类型系统。这就是CsPython中诸多问题的由来。 ## 类型系统是什么? 类型系统(type system)是一种编译期(Compile-time)的类型推导检查规则。 类型系统(type system)的基本目标是防止程序在运行时发生类型错误。当且仅当语言运行时不存在任何形式的类型错误,那么它就是sound的。soundness是类型系统研究的重要目标。0 码力 | 42 页 | 6.87 MB | 2 年前3
《玩转webpack》 第二章 基础篇: webpack 基础用法webpack 腾讯IVWEB 程柳锋 ## ☐ ☐ ☐ ☐ ## 扫码试看/订阅《玩转 webpack》 ## 目录 CONTENTS 01 | 基础篇:webpack 与构建发展简史 02 | 基础篇:webpack 基础用法 03 | 基础篇:webpack 进阶用法 04 | 进阶篇:编写可维护的webpack 构建配置 05 | 进阶篇:webpack 构建速度和体积优化策略 path: __dirname + '/dist' } }; ## 核心概念之 Loaders webpack 开箱即用只支持 JS 和 JSON 两种文件类型,通过 Loaders 去支持其它文件类型并且把它们转化成有效的模块,并且可以添加到依赖图中。 本身是一个函数,接受源文件作为参数,返回转换的结果。 ## 常见的 Loaders 有哪些? |名称|描述| |---|---|0 码力 | 41 页 | 2.52 MB | 2 年前3
Go语言基础
Golang Fundaments## Go语言基础 Golang Fundaments 中山大学 数据科学与计算学院 潘茂林 panml@mail.sysu.edu.cn ## 大纲 • Golang-设计哲学 • 基础知识学习 • Go语言的入门资源 • 本地项目工作空间组织 • 开始编程 ## Golang-设计哲学 ## 我们需要什么样的语言 曾经 我们对包含大量代码的程序印象深刻。 - 我们努力在代码库中创建大型抽象。 并发软件设计(Concurrent Software Design) • 管道设计(Channel Design) ## Golang-设计哲学 ## • 实用主义的语言风格 - 面向编译器的静态类型语言 • 数据类型必须在编译阶段确定 • 语言能充分发挥编译优化技术 - 复古且简便的语言 • 集合了多种语言实用的语法表示 • 函数是一等公民(First-Class Functions) • 抛弃了面向对象 语言) – Python 语言的模样(部分语法如Python的编程效率) – Java 语言的脑袋(能用面向对象思路解决问题) ## 基本知识学习 ## - 请按 go tour 浏览 - “基础” · 包,变量,函数 · 流程控制语句 - 指针、结构、数组与切片、Map - 方法与接口 - 并发 ## Hello world! hello.go package main import0 码力 | 21 页 | 851.30 KB | 2 年前3
Go基础语法宝典关键字 go的二十五个关键字 简介 数据类型的定义 定义变量 常量 内置基础类型 Boolean 数值类型 字符串 错误类型 分组声明 iota枚举 Go程序设计的一些规则 array、slice、map array slice slice有一些简便的操作 slice有几个有用的内置函数 map make、new操作 零值 流程控制 if goto switch 函数 函数的定义 多个返回值 变参 传值与传指针 defer 函数作为值、类型 Panic和Recover main函数和init函数 import 1、相对路径 2、绝对路径 特殊的import 1、点操作 2、别名操作 3、操作 struct类型 struct类型的声明 struct的匿名字段 method method 指针作为receiver 什么是interface interface类型 interface值 interface函数参数 interface变量存储的类型 嵌入interface 反射 并发 goroutine channels Buffered Channels Range和Close Select 超时 runtime goroutine 错误处理 Error类型 自定义Error 错误处理 总结0 码力 | 47 页 | 1020.34 KB | 2 年前3
第1930期:Kubernetes基础介绍## H3C 数字化解决方案领导者 ## Kubernetes基础介绍 综合产品支持部——李树兵  01 Kubernetes基础架构介绍 02 Kubernetes基本概念和术语介绍 03 Kubernetes常见命令介绍 d325972a85fc527b8793a0/p3_2.jpg) 01 Kubernetes基础架构介绍 02 Kubernetes基本概念和术语介绍 03 Kubernetes常见命令介绍 04 Kubernetes技术在H3Cloud OS中的应用介绍 ## Kubernetes基础结构介绍 Kubernetes(来自希腊语,意为“舵手”或者“飞行员”又称为k8s),它是谷歌 16版本。(https://github.com/kubernetes/kubernetes) Kubernetes 的目标旨在消除编排物理/虚拟计算,网络和存储基础设施的负担,并使应用程序运营商和开发人员完全将重点放在以容器为中心的业务上进行自助运营。Kubernetes 也提供稳定、兼容的基础(平台),用于构建定制化的 workflows 和更高级的自动化任务。Kubernetes 具备完善的集群管理能力,包括多层次的安全0 码力 | 49 页 | 4.11 MB | 2 年前3
MongoDB零基础入门手册mongoDB MONGODB零基础入门手册 一灰著 微信公众号:一灰灰BLOG微信公众号:楼仔 ’ alt=‘OCR图片’/> MongoDB零基础入门 MongoDB是一个基于分布式文件存储的数据库,本片文档主要面向0基础的小伙伴,如何迅速的学会MongoDB的基本知识点以及掌握基础的CURD,实现业务支撑 第一卷:MongoDB原生知识点 环境安装与初始化 MongoDB 是一个基于分布式文件存储的数据库。由 alt=‘OCR图片’/> 基本概念 mongodb和我们通常使用的关系型数据库如mysql,在一些基本概念上有相同之处,但也有一些区别,在进行mongodb的语言介绍之前,有必要先了解一些基础概念 本文将对比sql对一些基础概念进行解释说明 MongoDB 概念解析 在sql中,会区分database,table,row,column,index,primaryld;在mongodb中也有对应的概念 显示所有db 2. 集合 document的集合,与table最大的区别是它的结构不是固定的,不需要事先定义字段、类型首次新增document时,集合被创建; document 文档,也就是具体的数据;bson结构,kv方式 最大的特点是不要求所有的document的结构一致,相同的field的数据类型可以不一致 index 索引,同样是用来提高查询效率,避免全盘扫描 lock支持读写锁,docum0 码力 | 81 页 | 3.83 MB | 1 月前3
Java 基础之IO 和NIO 补完 ## 链滴 # Java 基础之 IO 和 NIO 补完 作者:james 原文链接:https://ld246.com/article/1512039236654 来源网站:链滴 许可协议:署名-相同方式共享4.0国际(CC BY-SA0 码力 | 9 页 | 218.38 KB | 2 年前3
CentOS 7 操作命令-基础篇1.2### CentOS 7 操作命令-基础篇 1.2 ## 说明: 1. 本文档没有目录,本文档在发布时为 pdf 文档,有章节书签,可以下载到本地来查看,点击书签进入相应的章节。 2. 蓝色的字为配置命令,绿色的字为命令的注释,有时命令太密集时,就不用蓝色标出了。 3.本文档仅为基础操作教程,不涉及网络服务的配置(比如 web 服务器等) 4. 注意:本文档的所有操作请先在在虚拟机里进行实践,请不要直接在真实的服务器中操作! f/b/bffb460b59e79abd72d666bc5df48112/p3_1.jpg) 您希望使用什么类型的配置? 典型(推荐)(T) 通过几个简单的步骤创建 Workstation 15.x 虚拟机。 自定义(高级)(C) 创建带有 SCSI 控制器类型、虚拟磁盘类型以及与旧版 VMware 产品兼容性等高级选项的虚拟机。 帮助 <上一步(B) 下一步(N)> 脚本等) $ ^{*} $ 内部命令就是命令行提供者(shell)自带的,是 shell 这个程序提供给用户的一些功能。 命令行里输入 type 加上目标命令,就可以查看目标命令的类型比如查看 pwd 这个命令是何种类型的,可以输入命令:type pwd | |float|FloatTensor of size()| |Int array|IntTensor of size \[d1, d2, ...]| |Float array|FloatTensor0 码力 | 16 页 | 1.09 MB | 2 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100
相关搜索词
void类型unknown类型never类型number类型string类型静态类型类型系统mypy鸭子类型结构类型系统LoadersPluginsOutputModeEntryGolang面向数据的设计接口并发MapGo关键字流程控制数据结构错误处理Kubernetes容器编排Master节点API ServeretcdMongoDBdocumentcollectiondatabase索引Path接口File类Java NIOAsynchronousFileChannelFiles类CentOS 7命令操作系统运行级别sudo权限服务管理PyTorchTensorFloatTensorIntTensor数据类型













