马天琦-探索类型友好的Node.jsWeb框架GOTC深圳会场48页.pdf

「大前端新趋势」专场

本期议题：探索类型安全的Node.jsWeb框架

马天琦2021年08月01日

自我介绍

马天琦

探索类型安全的Node.jsWeb框架•字节跳动WebInfra团队成员

•Farrow核心开发者

探索类型安全的Node.jsWeb框架

•类型安全

•Node.jsWeb框架现状现状

•当前API设计中的类型问题

•Farrow的类型安全方案

•Farrow未来的规划

•总结

类型安全WhatWhy?

类型安全

什么是类型安全

定义：变量的行为与它的类型相匹配，不存在运行时的类型错误

•例子0：访问null的属性（null.foo()）

•例子1：将string类型当作number类型做运算

•例子2：调用对象中不存在的方法

类型安全

为什么要追求类型安全

Welltypedprogramscannotgowrong.——《ATheoryofTypePolymorphismin

Programming》RobinMilner1978.

•尽可能在编译期通过类型检查提前捕获可能的程序错误，提高代码的健壮性

•配合编辑器类型提示，类型检查是比单元测试反馈更快、更早、覆盖更全面的实时测试

•符合类型安全准则的代码，往往是设计更合理、质量更高、编写更优雅的、表达更清晰的

Node.jsWeb框架现状

现状

Node.jsWeb框架

当前API设计中的类型问题

Express

类型问题

HangingRequest

•可以不响应

•可以远远挂起请求

•无法在编译期得到约束和提醒

类型问题

WrongResponse

•无法在编译期约束header-body

的响应次序

•无法在编译期约束只发送一次body

类型问题

MonkeyPatching

•修改req/res污染全链路中间件的

类型

•动态追加属性或方法，与静态标注

的类型有本质矛盾

•静态类型决定能否赋值给属性，而

非属性赋值决定是否包含特定类型

类型问题

NoRuntimeValidation

•TypeScript类型在编译后都被抹去

•在Input/Output，parse/stringify

中需要运行时类型检查

类型问题

PoorTypeInference

•类型推导不友好

•自动类型转换不友好

•需要编写繁琐的类型转换和防御逻

辑

类型问题

总结

•HangingRequest（请求意外挂起）

•WrongResponse（错误响应内容）

•MonkeyPatching（篡改对象属性）

•NoRuntimeValidation（无运行时验证）

•PoorTypeInference（不友好的类型推导）

•etc...

类型问题

总结

•HangingRequest（请求意外挂起）