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]; arr '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
使用React构建Flutter应用## 使用 React 构建 Flutter 应用 探索新一代渲染技术 Kraken  元彦 https://github.com/yuanyan FSD 淘系前端团队 ## • 2011 - 2013年 • WebQQ • QQ0 码力 | 39 页 | 2.13 MB | 2 年前3
OpenShift Container Platform 4.4 构建(build)### OpenShift Container Platform 4.4 ## 构建(build) 在 OpenShift Container Platform 中执行构建并与之交互 Powered by TCPDF (www.tcpdf.org) 在 OpenShift Container Platform 中执行构建并与之交互 ## 法律通告 Copyright $ \copyright $ Container Platform 中的构建和构建配置,并且说明了执行和管理构建的各种方法。 ## 目录 第1章 理解镜像构建 ..... 4 1.1. 构建 (BUILD) ..... 4 第2章 了解构建配置 ..... 6 2.1. BUILDCONFIG ..... 6 第3章 创建构建输入 ..... 8 3.1. 构建输入 ..... 8 3.2. DOCKERFILE 凭证用于私有 REGISTRY ..... 23 3.9. 构建环境 ..... 25 3.10. 什么是 SECRET? ..... 26 3.11. 服务用(SERVICE SERVING)证书 SECRET ..... 30 3.12. SECRET 限制 ..... 31 第4章 管理构建输出 ..... 32 4.1. 构建输出 ..... 32 4.2. 输出镜像环境变量0 码力 | 101 页 | 1.12 MB | 2 年前3
基本数据类型## PyTorch ## 基本数据类型 主讲人:龙良曲 ## All is about Tensor |python|PyTorch| |---|---| |Int|IntTensor of size()| |float|FloatTensor of size()| |Int array|IntTensor of size \[d1, d2, ...]| |Float array|FloatTensor0 码力 | 16 页 | 1.09 MB | 2 年前3
夏歌-使用Rust构建LLM应用## RUST CHINA CONF 2023 第三届中国 Rust 开发者大会 6.17-6.18 @Shanghai ## 使用 Rust 构建 LLM 应用 夏歌 ## 😍  ## Bojan Tunguz 












