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
Curve文件系统元数据Proto(接口定义)curve文件系统元数据proto(代码接口定义,已实现) ## 1、 代码结构和代码目录 curve文件系统是相对于curve块设备比较独立的一块,在当前curve项目的目录下,增加一个一级目录curvefs,curvefs下有自己独立的proto\src\test。  ## 2、 文件系统proto定义 #### 2.1 mds.proto mds.proto /* * Copyright (c) 2020 NetEase Inc. * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use0 码力 | 15 页 | 80.33 KB | 1 年前3
GIAC2019 Dubbo SpringCloud重新定义微服务治理0 码力 | 31 页 | 1.69 MB | 1 月前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
16-Nocalhost重新定义云原生开发环境-王炜## Nocalhost - 重新定义云原生开发环境 ## 前言 随着业务的快速发展,技术部门的组织架构在横向及纵向不断扩大和调整,与此同时,企业的生产资料:应用系统,也变得越来越庞大。为了让应用系统适配企业组织架构的调整,梳理组织架构对于应用权责的边界,大部分组织会选择使用“微服务”架构来对应用系统进行横向拆分,使得应用系统的维护边界适配组织架构的权责边界。 一般来说,越庞大的组织架构,应 jpg) ## Nocalhost - 重新定义云原生开发环境 Nocalhost 是一个云原生开发环境,希望让开发云原生应用像开发单体应用原始又简单。 Nocalhost 重新梳理了开发过程所涉及到的角色和资源: 团队管理人员 • 开发者 • 应用 · 集群 • 开发空间 通过对这些角色和资源的重新整合,Nocalhost重新定义了云原生开发环境,并带来了全新的云原生开发体验。 为了快速理解 Nocalhost 重新定义的云原生开发环境,让我们首先站在不同的角色来看 Nocalhost 能给他们带来什么。 开发人员: - 摆脱每次修改需要重新 build 新镜像以及长时间的循环反馈,修改代码立即生效 • 一键部署开发环境,摆脱本地环境搭建和资源不足的限制 - 本地 IDE 编辑器和开发环境联动,支持远程调试 - 图形化的 IDE 插件,无需熟悉 kubectl0 码力 | 7 页 | 7.20 MB | 1 年前3
古月《ROS入门21讲》15.服务数据的定义与使用.pdf## ROS入门 21讲 ### 15. 服务数据的定义与使用 主讲人:古月 ## 服务模型  服务模型(服务端/客户端) ## • 自定义服务数据 ## 如何自定义服务数据 string name uint8 age uint8 uint8 sex uint8 unknown = 0 uint8 male = 1 uint8 female = 2 ... string result Person.srv ## 定义srv文件; ### 在package.xml中添加功能包依赖message_generation message_runtime catkin_package(..... message_runtime) ## ➢ 编译生成语言相关文件 return 0; ## • 创建服务器代码(C++) * 该例程将执行 /show_person 服务,服务数据类型 learning_service::Person */ #include#include "learning_service/Person.h" 0 码力 | 9 页 | 1.29 MB | 2 年前3
古月《ROS入门21讲》12.话题消息的定义与使用.pdf### 12. 话题消息的定义与使用 主讲人:古月 ## 话题模型  话题模型(发布/订阅) ## • 自定义话题消息 ## 如何自定义话题消息 string name uint8 sex uint8 age uint8 unknown unknown = 0 uint8 male = 1 uint8 female = 2 Person.msg ## 定义msg文件; ### 在package.xml中添加功能包依赖message_generation message_runtime ### 在CMakeLists NDENCIES std_msg) • catkin_package(…… message_runtime) ## ➢ 编译生成语言相关文件 * 该例程将发布/person_info话题,自定义消息类型learning_topic::Person*/ ## • 创建发布者代码(C++) #include#include "learning_topic/Person 0 码力 | 9 页 | 1.34 MB | 2 年前3
曾宇星 如何实现 Istio 服务网格自定义扩展功能## 如何基于Istio 实现Mesh自定义扩展功能 曾宇星 阿里云云原生架构师 ## 自我介绍 ## • 阿里云技术专家、云原生架构师 - 长期从事服务端开发和架构工作,10多年分布式领域后台开发经验,目前主要关注于云原生、高性能、高可用分布式架构。 - 有多年 Service Mesh 、Envoy 网关、Kubernetes 容器平台等云原生领域相关开发工作经验。目前在阿里云服务网格团队从事 团队从事 Service Mesh 云产品研发和架构设计工作。 ## Agenda - 为什么需要自定义扩展能力 - Istio 下几种自定义扩展方式详细介绍 • 开发/运维人员使用最佳实践 • 总结 为什么Mesh需要自定义扩展能力? ## 为什么Mesh需要自定义扩展能力? ➢ 业务应用的多样性和差异性,导致Mesh用户需求的多样性 Istio 社区功能和用户实际需求有差异,需要补齐,特别是长尾非通用的小众需求 [Image](/uploads/documents/6/b/7/3/6b73080f855fb39690d8fd5aeba538d3/p8_2.jpg) ## I stio 下自定义扩展方式详细介绍 ## 自定义扩展方式之一:Wasm - kubectl create configmap new-filter \ --from-file=new-filter.wasm=mycode.wasm0 码力 | - 页 | 3.36 MB | 1 年前3
带给你“一份应用需求定义,到处交付”的云原生交付体验## 带给你“一份应用需求定义,到处交付”的云原生应用交付体验 ## 手 Kubernetes Community Days  王国东(骁奕) 技术专家 阿里云  ## 云原生IaC方式定义服务 传统云上白屏化运维方式: 繁杂的手动操作,且无法快速复制 












