「Linux」工具的使用 流编辑器——sed 工作流 读取： sed 从输入流（文件，管道或者标准输入）中读取一行并且存储到一个叫作 模式空间（patter

「Git」操作技巧 基本概念 三种状态和三个区 已提交（commited） 已修改（modified） 以暂存（staged） 工作区（working d

Build mkdir build && cd build cmake .. \ -DCMAKE_C_COMPILER=clang \ -DCMAKE_CXX_COMPILER=clang++ \ -DWASI_SYSROOT=/usr/bin/wasi-sdk-14.0/share/wasi-sysroot \ -GNinja \ -DRN_SUPPORT ninja jwst && ninja jwst-rt-wasm-command Compile wasm file ./jwst -f <bundle.js> --emit-bitcode -o bundle.bc llc -filetype obj -o bundle.raw.wasm --relocation-model=pic wasm-ld bundle.wasm build/jwst-rt.ext.wasm ${WASI_SYSROOT}/lib/wasm32-wasi/crt1-command.o ${WASI_SYSROOT}/lib/wasm32-wasi/libc.a -L${WASI_SYSROOT}/lib/wasm32-wasi -lc -m wasm32 -o bundle.link.wasm Testing Android applications To test the Android applications, you should prepare an ARM64 mobile phone with Android operating system, with at least API level 24 (Android 7.

Haskell 是一个强类型语言 类型与数据 常见类型 Bool ：两个值 True False ，逻辑非是 not Haskell 中约定类型的名字与该类型的数据（类型构造器）的首字母要大写 Char ：使用单引号，还

$\lambda$ 演算是什么 是一套从数学逻辑中发展，以变量绑定和替换的规则，来研究函数如何抽象化定义、函数如何被应用以及递归的形式系统。—— WikiPédi

Intro 从$\lambda$ 演算开始，到 Lisp Scheme ML，函数式编程的历史比 C 语言要久远得多。1987 年的函数式编程与计算机体系结构的会议 上，Haskel