现代编程思想 泛型与⾼阶函数 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 可以看做从类型上的函数：类型构造器

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 <函数名> (<参数名>: <类型>, <参数名>: <类型>, ...) -> <类型> <表达式块> 定义的函数接⼝让其他使⽤者⽆需关注内部实现

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 目 目 目标 标 标受 受 受众 众 众 本教程面向已经熟悉函数式语言（如 奈奡女 奫 奥 奬 奬 或 奏 奃

......................... 67 函数 ............................................................................................................................. 74 调用函数 .............................. ............................ 76 定义函数 ..................................................................................................................... 78 函数的参数 ................................ ................................................................................. 83 递归函数 ............................................................................................................

413 前端 427 知识图谱可视化技术在美团的实践与探索 427 终端新玩法：技术栈无关的剧本式引导 459 自动化测试在美团外卖的实践与落地 483 深入理解函数式编程（上） 512 深入理解函数式编程（下） 541 Android 对 so 体积优化的探索与实践 568 从 0 到 1：美团端侧 CDN 容灾解决方案 589 美团高性能终端实时日志系统建设实践 为了进一步提升回归精度，YOLOv6 采用了 SIoU[9] 边界框回归损失函数来监督网络 的学习。目标检测网络的训练一般需要至少定义两个损失函数：分类损失和边界框回 归损失，而损失函数的定义往往对检测精度以及训练速度产生较大的影响。 近年来，常用的边界框回归损失包括 IoU、GIoU、CIoU、DIoU loss 等等，这些损 失函数通过考虑预测框与目标框之前的重叠程度、中心点距离、纵横比等因素来衡量 量 两者之间的差距，从而指导网络最小化损失以提升回归精度，但是这些方法都没有考 虑到预测框与目标框之间方向的匹配性。SIoU 损失函数通过引入了所需回归之间的 向量角度，重新定义了距离损失，有效降低了回归的自由度，加快网络收敛，进一步 提升了回归精度。通过在 YOLOv6s 上采用 SIoU loss 进行实验，对比 CIoU loss， 平均检测精度提升 0.3% AP。 10 > 2022年美团技术年货

稀疏性很强，而准确的交叉特征对 模型的效果又至关重要。所以寻找一种高效的特征提取方式就变得十分重要，我们借 鉴 AutoInt[3] 的方法，采用 Transformer Layer 进行特征的高阶组合。 模型结构 我们的模型结构参考 AutoInt[3] 结构，但在实践中，根据美团搜索的数据特点，我们 对模型结构做了一些调整，如下图 2 所示： 图 2 Transformer&Deep Transformer 在排序中的应用进行了一些探索，既取得了一 些技术沉淀也在线上指标上取得比较明显的收益，不过未来还有很多的技术可以探索。 ● 在特征工程上，引入 Transformer 层进行高阶特征组合虽然没有带来收益， 但是在这个过程中也再次验证了没有万能的模型对所有场景数据有效。目前搜 索团队也在探索在特征层面应用 BERT 对精排模型进行优化。 ● 在行为序列建模上，目前的 DSSM[26] 及其扩展模型属于基于表示的语义匹配 方法，美团搜索借鉴 DSSM 的双塔结构思想，左边塔输入 Query 信息，右边塔输入 POI、品类信息，生成 Query 和 Doc 的高阶文本相关性、高阶品类相关性特征，应 用于排序模型中取得了很好的效果。此外，比较有代表性的表示匹配模型还有百度提 出 SimNet[27]，中科院提出的多视角循环神经网络匹配模型（MV-LSTM）[28]

测试多返回值函数的错误 5.3 switch 结构 5.4 for 结构 5.5 Break 与 continue 5.6 标签与 goto 第6章：函数（function） 6.1 介绍 6.2 函数参数与返回值 6.3 传递变长参数 6.4 defer 和追踪 6.5 内置函数 6.6 递归函数 6.7 将函数作为参数 6.8 闭包 6.9 应用闭包：将函数作为返回值 应用闭包：将函数作为返回值 6.10 使用闭包调试 6.11 计算函数执行时间 6.12 通过内存缓存来提升性能 第7章：数组与切片 7.1 声明和初始化 7.2 切片 7.3 For-range 结构 7.4 切片重组（reslice） 7.5 切片的复制与追加 7.6 字符串、数组和切片的应用 第8章：Map 8.1 声明、初始化和 make 8.2 测试键值对是否存在及删除元素 8.3 for-range 第二个例子：读和写 11.9 空接口 11.10 反射包 11.11 Printf 和反射 11.12 接口与动态类型 11.13 总结：Go 中的面向对象 11.14 结构体、集合和高阶函数 第12章：读写数据 12.1 读取用户的输入 12.2 文件读写 12.3 文件拷贝 12.4 从命令行读取参数 12.5 用 buffer 读取文件 - 4 - 本文档使用 书栈(BookStack

返回与跳转 异常 包与导入 类与对象 类 继承 属性 接口 函数式（SAM）接口 可见性修饰符 扩展 数据类 密封类与密封接口 泛型：in、out、where 嵌套类 枚举类 内联类 对象表达式与对象声明 委托 属性委托 类型别名 函数 函数 lambda 表达式 内联函数 1.8.5.4 1.8.6 1.8.7 1.8.8 1.8.9 1 10.4.3 1.10.2.10.4.4 1.10.2.11 与 C 语言互操作性 映射来自 C 语言的原始数据类型——教程 映射来自 C 语言的结构与联合类型——教程 映射来自 C 语言的函数指针——教程 映射来自 C 语言的字符串——教程 创建使用 C 语言互操作与 libcurl 的应用——教程 与 Objective-C 互操作性 与 Swift/Objective-C 互操作性 集合转换操作 过滤集合 加减操作符 分组 取集合的一部分 取单个元素 排序 聚合操作 集合写操作 List 相关操作 Set 相关操作 Map 相关操作 选择加入要求 作用域函数 时间度量 官方库 协程（kotlinx.coroutines） 1.12.1.1 1.12.1.2 1.12.1.3 1.12.1.4 1.12.1.5 1.12.1.6 1.12

基本类型 概述 数字 布尔 字符 字符串 数组 无符号整型 类型检测与类型转换 控制流程 条件与循环 返回与跳转 异常 包与导入 类与对象 类 继承 属性 接口 函数式（SAM）接口 可见性修饰符 扩展 3 1.8.4.8 1.8.4.9 1.8.4.10 1.8.4.11 1.8.4.12 1.8.4.13 1.8.4.14 1.8.4.15 1.6 1.9.1.7 数据类 密封类与密封接口 泛型：in、out、where 嵌套类 枚举类 内联类 对象表达式与对象声明 委托 属性委托 类型别名 函数 函数 lambda 表达式 内联函数 操作符重载 类型安全的构建器 空安全 相等性 this 表达式 异步程序设计技术 协程 注解 解构声明 反射 多平台开发 Kotlin 多平台用于 iOS 1.10.2.13.1 1.10.2.13.2 1.10.2.13.3 1.10.2.13.4 1.10.3 1.10.3.1 1.10.3.2 1.10.3.3 映射来自 C 语言的函数指针——教程 映射来自 C 语言的字符串——教程 创建使用 C 语言互操作与 libcurl 的应用——教程 与 Objective-C 互操作性 与 Swift/Objective-C 互操作性