编程语言理论

传奇开心果编程

【Compose Multiplatform跨端声明式UI实用技术】第1课：CMP 全景解读——为什么选择声明式跨平台UI本课是系列课程的开篇。我们将从技术本质、范式演进、平台矩阵和实战决策四个维度，建立对 CMP 的完整认知框架。本课内容基于 CMP 1.12.1。文末附有15道配套习题与本课知识点总结。

传奇开心果编程

【React Native娓娓道来】第7课表单与用户输入：TextInput、表单校验与键盘处理前六课的应用大多是"展示型"的：显示文本、渲染列表、页面跳转。数据要么写死，要么从服务器拉。但真实应用离不开"用户输入"。登录要填账号密码，注册要填手机号邮箱，发布动态要写文字，搜索要输入关键词。没有输入，App 就只是一个单向的信息展示板。

传奇开心果编程

【React Native娓娓道来】第9课动画与手势：Animated、Reanimated 与 Pressable 进阶前八课的界面大多是静态的。点按钮，内容瞬间切换；打开页面，元素直接出现。能用，但不够自然。真实的应用需要动画来传达信息：按钮按下时的轻微缩放，让用户知道"我点到了"；列表项删除时的淡出，让用户知道"这项没了"；页面切换时的滑动，让用户知道"我从哪里来，要到哪里去"。

传奇开心果编程

【声明式UI开发实用技术学与练】第2课状态建模：把界面拆成可预测的数据适用技术栈：React、Vue、SwiftUI、Flutter、Jetpack Compose。以 React 为主要教学语言，思维跨框架通用。

传奇开心果编程

【React Native娓娓道来】第3课组件组合与列表渲染：把界面拆成可复用的函数第2课我们讲透了一句话：一个组件就是一个函数。它接收状态和 props，返回界面描述。状态变，函数重新执行，界面自动更新。

传奇开心果编程

【声明式UI开发实用技术学与练】第6课副作用管理：Effect 的正确用法适用技术栈：React、Vue、SwiftUI、Flutter、Jetpack Compose。以 React 为主要教学语言，思维跨框架通用。

传奇开心果编程

【React Native娓娓道来】第4课副作用与数据获取：useEffect、网络请求与加载状态前三课我们反复强调一句话：组件是函数，接收状态，返回视图描述。状态变，函数重新执行，界面自动更新。但真实应用不只是"根据状态显示界面"。打开页面要从服务器拉数据，提交表单要发请求，倒计时需要定时器，页面离开要取消未完成的请求。这些事情有一个共同点：它们不是"计算界面"，而是"在界面之外做点什么"。

传奇开心果编程

【React Native娓娓道来】第10课数据持久化与本地存储：AsyncStorage、SecureStore 与文件系统前九课的应用有一个共同的"缺陷"：数据活不过一次重启。待办事项，用户添加了十项，关掉再打开，全没了。登录页面，用户登录成功，关掉再打开，又要重新登录。设置页面，用户切成暗色模式，关掉再打开，又变回亮色。

传奇开心果编程

【React Native娓娓道来】第5课导航与多页面：用 React Navigation 组织页面流前面四课，所有代码都写在一个组件里。状态、副作用、列表、组件组合，都在同一个屏幕内完成。但真实的 App 不可能只有一个页面。电商应用有首页、商品列表、商品详情、购物车、个人中心；社交应用有动态流、消息列表、聊天窗口、个人主页。用户需要在多个页面之间跳转、返回、传递数据。

传奇开心果编程

【SwiftUI提高练中学】第19课推送与远程通知进阶：APNs、通信通知与专注过滤入门第17课你学过本地通知和后台任务。本课把通知做到生产级：远程推送、通知服务扩展、通知内容扩展、通信通知、专注过滤、分组与摘要、时间敏感与重要警报。完成后，你的“我的书库”能通过服务器推送新书提醒、显示带封面的通知、在专注模式下智能过滤，并支持用户不打开 App 就能操作。

传奇开心果编程

【SwiftUI提高练中学】第9课安全与隐私本课目标：把 App 的安全和隐私做到上架级别——安全存储 token、Face ID 验证、数据加密、隐私合规。

传奇开心果编程

【声明式UI开发实用技术学与练】第10课用状态机建模复杂交互适用技术栈：React、Vue、SwiftUI、Flutter、Jetpack Compose。以 React 为主要教学语言，思维跨框架通用。

【PL理论深化】(2) 语法分析 (Syntax) | 编程语言的语法结构：文法 | 语义结构 (Sematics)目录0x00 语法分析（syntax analysis）0x01 编程语言的语法结构：文法（grammar）

【PL理论】(33) 类型系统：推导树证明 φ ⊢ e∶t | 继续定义关系：γ ⊢ e∶t目录0x00 推导树证明 𝝓 ⊢ 𝒆 ∶ 𝒕0x01 继续定义关系：𝚪 ⊢ 𝒆 ∶ 𝒕对于程序，如果我们能画出一个推导树来证明：

我是有底线的