PHP基本语法 —条件、循环、函数 杨亮 程序的基本结构 输⼊入 输出 程序 运算（+ - x / & | ! …） 逻辑（条件、循环、递归） 辅助（变量、数组、函数） ⼩小测验 ⽤用你熟悉的程序找出 1~1000中的所有质数 我们直接看代码好了 1 函数库，或者代码⽚片段 1 '; 4 ?> 1 函数 • 代码的可读性 • 代码的可重⽤用性 • 实现功能的模块化 • 实现递归调⽤用 • 使变量名不⾄至于太⻓长（作⽤用域） PHP中的函数 $res = my_function($val1, $val2); functon my_function($param1

现代编程思想 函数, 列表与递归 Hongbo Zhang 1 基本数据类型：函数 2 函数 在数学上，描述对应关系的⼀种特殊集合 对于特定的输⼊，总是有特定的输出 在计算机中，对相同运算的抽象，避免⼤量重复定义 计算半径为1的圆的⾯积： 3.1415 * 1 * 1 计算半径为2的圆的⾯积： 3.1415 * 2 * 2 计算半径为3的圆的⾯积： 3.1415 * 3 * * 3 …… fn ⾯积(半径: Double) -> Double { 3.1415 * 半径 * 半径 } 3 函数 计算半径为1、2、3的圆的⾯积： 1. let surface_r_1: Double = { let r = 1.0; pi * r * r } 2. let surface_r_2: Double = { let r = 2.0; pi * r * r } 3. let surface_r_3) 使⽤函数后 1. fn area(radius: Double) -> Double { pi * radius * radius } 2. let result = (area(1.0), area(2.0), area(3.0)) 4 顶层函数的定义 fn <函数名> (<参数名>: <类型>, <参数名>: <类型>, ...) -> <类型> <表达式块> 定义的函数接⼝让其他使⽤者⽆需关注内部实现

现代编程思想 泛型与⾼阶函数 Hongbo Zhang 1 设计良好的抽象 软件⼯程中，我们要设计良好的抽象 当代码多次重复出现 当抽出的逻辑具有合适的语义 编程语⾔为我们提供了各种抽象的⼿段 函数、泛型、⾼阶函数、接⼝…… 2 泛型函数与泛型数据 3 堆栈 栈是⼀个由⼀系列对象组成的⼀个集合，这些对象的插⼊和删除遵循后进先出原则 （Last In First Out） } 12. } 我们希望存储很多很多类型在堆栈中 每个类型都要定义⼀个对应的堆栈吗？ IntStack 和 StringStack 似乎结构⼀模⼀样？ 7 泛型数据结构与泛型函数 泛型数据结构与泛型函数以类型为参数，构建更抽象的结构 1. enum Stack[T] { 2. Empty 3. NonEmpty(T, Stack[T]) 4. } 5. fn Stack::empty[T]() 泛型数据结构与泛型函数 我们⽤ [<类型1>, <类型2>, ...] 来定义泛型的类型参数 enum Stack[T]{ Empty; NonEmpty(T, Stack[T]) } struct Pair[A, B]{ first: A; second: B } fn identity[A](value: A) { value } Stack 与 Pair 可以看做从类型上的函数：类型构造器

H AP T E R 1 I d r i s 教程 本文档为 奉 奤 奲 奩 女 的教程，它简单介绍了如何用 奉 奤 奲 奩 女 语言编程。 文档中覆盖了该语言的核心特性，并假 定你至少熟悉一门函数式编程语言，如 奈奡女 奫 奥 奬 奬 或 奏 奃 奡奭 奬 。 注 注 注解 解 解: 奉 奤 奲 奩 女 文档已按照 创 创 创作 作 作共 共 共用 用 用 C C 0 许 许 许可 可 可协 Vect n a， 其中 a 为元素的类型，而 n 为该列表的长度且可以任意 长。 当类型包含了描述其性质的值（如列表的长度）时，它就能描述函数自身的性质了。 比如连接两个列 表的操作，它拥有性质：结果列表的长度为两个输入列表的长度之和。 因此我们可以为 app 函数赋予 如下类型，它用于连接向量（奖奥 奣 奴 奯奲 ）： app : Vect n a -> Vect m a -> Vect (n + 本教程介绍了 奉 奤 奲 奩 女 ，一个通用的依赖类型函数式编程语言。奉 奤 奲 奩 女 项目旨在为可验证的通用编程打造一 个依赖类型的语言。 为此，奉 奤 奲 奩 女 被设计成了编译型语言，目的在于生成高效的可执行代码。 它还拥有 轻量的外部函数接口，可与外部 C 库轻松交互。 1. 1. 1 目 目 目标 标 标受 受 受众 众 众 本教程面向已经熟悉函数式语言（如 奈奡女 奫 奥 奬 奬 或 奏 奃

12 -i foo-%03d.jpeg -s WxH foo.avi 这里的语法 foo-%03d.jpeg 指明使用3位数字来补充完整文件名，不足3位以0补齐。这类似 于C语言的printf函数中的格式，但只接受常规整数作为部分。 当导入一个图片序列时， -i 也支持shell的通配符模式(内置的)，这需要同时选择 image2的特性选项 -pattern_type glob ：例如下面就利用了所有匹配 前导和尾随的空格字符除非专门由引号引用或者转义，否则都会在解析字符串时移除。 注意在使用命令行或者脚本时，你可能需要2级转义，这取决于你shell环境支持的语法。 声明在 libavutil/avstring.h 中的函数 av_get_token 被用于任务分析中的引用和转义处理。 ffmpeg源码中的工具 tools/ffescape 被用于自动处理引用和转义。 转义 Crime d'Amour 中的 400x240 ‘fwqvga’ 432x240 ‘hvga’ 480x320 ‘qhd’ 960x540 指定视频的帧速率，除了用每秒帧数表示外，还可以用 frame_rate_num/frame_rate_den 这样的格式字 符串表示，此外还有一些预定义的帧率名字符串。 下面就是一些预定义的帧率名及对应的帧率: ‘ntsc’ 30000/1001 ‘pal’ 25/1 ‘qpal’

应用在账户体系、 交易签名、数据隐私保护等方面，主要以ECC(椭圆曲线密码体系)以及多种 Hash散列算法为基础，发展出的一个单独的模块。 密码学基础 哈希函数 加密哈希函数(Hash Function) 是适用于密码学的哈希散列函数，是现代密码学 的基本工具。它是一种数学算法，将任意大小的数据（通常称为“消息”）映 射到固定大小的二进制串（称之为“散列值”，“散列”或“消息摘要”），并且 对于XuperChain中的智能合约，Initialize是一个必须实现的方法，当且仅当合 约被部署的时候会运行一次，我们这里采用“每个摄影师部署自己的合约来存 储自己需要的作品”这种方式，将一些和上传者相关的初始化操作放在函数中 Save、Query和Initialize方法的具体实现可以参考代码样例 合约使用方法 合约部署（Deploy） 编译并部署合约的过程可以参考 部署wasm合约 章节，注意资源消耗可以一 31536000, "ratio": 1 }, "gas_price": { "cpu_rate": 1000, "mem_rate": 1000000, "disk_rate": 1, "xfee_rate": 1 }, "new_account_resource_amount": 1000, "genesis_consensus":{

应用在账户体系、 交易签名、数据隐私保护等方面，主要以ECC(椭圆曲线密码体系)以及多种 Hash散列算法为基础，发展出的一个单独的模块。 密码学基础 哈希函数 加密哈希函数(Hash Function) 是适用于密码学的哈希散列函数，是现代密码学 的基本工具。它是一种数学算法，将任意大小的数据（通常称为“消息”）映 射到固定大小的二进制串（称之为“散列值”，“散列”或“消息摘要”），并且 对于XuperChain中的智能合约，Initialize是一个必须实现的方法，当且仅当合 约被部署的时候会运行一次，我们这里采用“每个摄影师部署自己的合约来存 储自己需要的作品”这种方式，将一些和上传者相关的初始化操作放在函数中 Save、Query和Initialize方法的具体实现可以参考代码样例 合约使用方法 合约部署（Deploy） 编译并部署合约的过程可以参考 部署wasm合约 章节，注意资源消耗可以一 31536000, "ratio": 1 }, "gas_price": { "cpu_rate": 1000, "mem_rate": 1000000, "disk_rate": 1, "xfee_rate": 1 }, "new_account_resource_amount": 1000, "genesis_consensus":{

应用在账户体系、 交易签名、数据隐私保护等方面，主要以ECC(椭圆曲线密码体系)以及多种 Hash散列算法为基础，发展出的一个单独的模块。 密码学基础 哈希函数 加密哈希函数(Hash Function) 是适用于密码学的哈希散列函数，是现代密码学 的基本工具。它是一种数学算法，将任意大小的数据（通常称为“消息”）映 射到固定大小的二进制串（称之为“散列值”，“散列”或“消息摘要”），并且 对于XuperChain中的智能合约，Initialize是一个必须实现的方法，当且仅当合 约被部署的时候会运行一次，我们这里采用“每个摄影师部署自己的合约来存 储自己需要的作品”这种方式，将一些和上传者相关的初始化操作放在函数中 Save、Query和Initialize方法的具体实现可以参考代码样例 合约使用方法 合约部署（Deploy） 编译并部署合约的过程可以参考 部署wasm合约 章节，注意资源消耗可以一 31536000, "ratio": 1 }, "gas_price": { "cpu_rate": 1000, "mem_rate": 1000000, "disk_rate": 1, "xfee_rate": 1 }, "new_account_resource_amount": 1000, "genesis_consensus":{

应用在账户体系、 交易签名、数据隐私保护等方面，主要以ECC(椭圆曲线密码体系)以及多种 Hash散列算法为基础，发展出的一个单独的模块。 密码学基础 哈希函数 加密哈希函数(Hash Function) 是适用于密码学的哈希散列函数，是现代密码学 的基本工具。它是一种数学算法，将任意大小的数据（通常称为“消息”）映 射到固定大小的二进制串（称之为“散列值”，“散列”或“消息摘要”），并且 对于XuperChain中的智能合约，Initialize是一个必须实现的方法，当且仅当合 约被部署的时候会运行一次，我们这里采用“每个摄影师部署自己的合约来存 储自己需要的作品”这种方式，将一些和上传者相关的初始化操作放在函数中 Save、Query和Initialize方法的具体实现可以参考代码样例 合约使用方法 合约部署（Deploy） 编译并部署合约的过程可以参考 部署wasm合约 章节，注意资源消耗可以一 31536000, "ratio": 1 }, "gas_price": { "cpu_rate": 1000, "mem_rate": 1000000, "disk_rate": 1, "xfee_rate": 1 }, "new_account_resource_amount": 1000, "genesis_consensus":{

牵扯到xchain的数据跟虚拟机里 面数据的交换，在实现上是通过WASM自己的模块机制实现的，xchain实 现了一个虚拟的WASM模块，合约代码执行到外部模块调用的时候就转到 对应的xchain函数调用，由于xchain和合约代码的地址空间不一样，还是 牵扯到序列化和反序列化的动作。 WASM合约 2.1.2. PB接口 合约暴露的代码接口 1 2 3 service NativeCode int64(argv)}) fmt.Println(ret) return err } 转换后的c代码最终会编译成一个动态链接库来给XVM运行时来使用，在每个 生成的动态链接库里面都有如下初始化函数。 这个初始化函数会自动对wasm 里面的各个模块进行初始化，包括全局变量、内存、table、外部符号解析等。 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 ，只需要设置基础的堆栈分 布以及一些系统函数还有emscripten的运行时函数即可。 c++合约的内存分布 c++合约的内存分布 普通调用如何在xvm解释 xvm符号解析 3.4.2. go运行环境 go合约运行时结构 3.5. XuperBridge对接 XVM跟XuperBridge对接主要靠两个函数 call_method，这个函数向Bridge传递需要调用的方法和参数