- Published on
从 Scheme 语言的角度探讨编程语言中类型的本质及其与内存模型的关系。
Type-systems
All Posts
- python (23)
- mysql (12)
- java (10)
- database (8)
- postgresql (7)
- linux (6)
- performance (6)
- reflection (6)
- odoo (6)
- source-code (6)
- personal (5)
- life (5)
- programming (4)
- concurrency (4)
- 数据库 (4)
- data-structures (4)
- asyncio (4)
- email (4)
- delta (4)
- storage (3)
- best-practices (3)
- networking (3)
- optimization (3)
- coroutine (3)
- asynchronous-programming (3)
- 安全 (3)
- centos (2)
- compile (2)
- raid (2)
- 生活 (2)
- shell (2)
- query-optimization (2)
- explain (2)
- configuration (2)
- 配置 (2)
- c (2)
- 脚本 (2)
- 监控 (2)
- 主从复制 (2)
- 高可用 (2)
- rest (2)
- literature (2)
- encoding (2)
- coding-style (2)
- software-development (2)
- sql (2)
- reading (2)
- philosophy (2)
- orm (2)
- web-framework (2)
- generators (2)
- algorithms (2)
- programming-languages (2)
- javascript (2)
- imap (2)
- protocol (2)
- imaplib (2)
- standard-library (2)
- snowflake (2)
- distributed-systems (2)
- id-generation (2)
- macos (2)
- image-processing (2)
- security (2)
- 认证 (2)
- 异常处理 (2)
- spring (2)
- spring-security (2)
- proxy (2)
- ssh (2)
- dart (2)
- ffi (2)
- editor (2)
- appflowy (2)
- install (1)
- source (1)
- mdadm (1)
- disk (1)
- jbod (1)
- 感悟 (1)
- 思考 (1)
- 寂寞 (1)
- 焦虑 (1)
- 历史 (1)
- lvm (1)
- disk-management (1)
- pv (1)
- vg (1)
- lv (1)
- snapshot (1)
- bash (1)
- scripting (1)
- tips (1)
- array (1)
- variable (1)
- style (1)
- transaction (1)
- isolation-level (1)
- consistency (1)
- phantom-read (1)
- architecture (1)
- storage-engine (1)
- connection (1)
- caching (1)
- dns (1)
- domain-name-system (1)
- recursive-query (1)
- iterative-query (1)
- load-balancing (1)
- aliasing (1)
- lamp (1)
- apache (1)
- php (1)
- xcache (1)
- performance-testing (1)
- ab (1)
- server-planning (1)
- capacity-planning (1)
- hardware-selection (1)
- ssd (1)
- hdd (1)
- cost-analysis (1)
- file-system (1)
- subquery (1)
- query-performance (1)
- related-subquery (1)
- unrelated-subquery (1)
- semi-join (1)
- materialization (1)
- replication (1)
- master-slave (1)
- asynchronous-replication (1)
- semi-synchronous-replication (1)
- mysql-55 (1)
- vim (1)
- 编辑器 (1)
- 插件 (1)
- windows (1)
- 开发环境 (1)
- 进程管理 (1)
- 自动化运维 (1)
- 慢查询 (1)
- 日志分析 (1)
- 邮件通知 (1)
- ipset (1)
- iptables (1)
- 防火墙 (1)
- 网络管理 (1)
- ip地址 (1)
- 数据库对比 (1)
- 李敖 (1)
- 上山上山爱 (1)
- 读书笔记 (1)
- 爱情 (1)
- 哲学 (1)
- 源码编译 (1)
- 安装 (1)
- 性能视图 (1)
- pg_stat_activity (1)
- pg_stat_database (1)
- pg_stat_all_tables (1)
- 数据库监控 (1)
- xtrabackup (1)
- binlog (1)
- 中文分词 (1)
- 词频分析 (1)
- jieba (1)
- 文本处理 (1)
- nlp (1)
- 流复制 (1)
- 主从同步 (1)
- execution-plan (1)
- benchmarking (1)
- pgbench (1)
- pandas (1)
- data-analysis (1)
- dataframe (1)
- data-types (1)
- poetry (1)
- leanote (1)
- notes (1)
- markdown (1)
- blogging (1)
- tools (1)
- string (1)
- unicode (1)
- character-sets (1)
- copy (1)
- deepcopy (1)
- memory-management (1)
- threading (1)
- thread-safety (1)
- decorators (1)
- closures (1)
- functional-programming (1)
- clean-code (1)
- performance-tuning (1)
- travel (1)
- wuxi (1)
- jiangyin (1)
- window-functions (1)
- analytics (1)
- book-review (1)
- future (1)
- technology (1)
- yuval-noah-harari (1)
- exception-handling (1)
- request-handling (1)
- startup (1)
- loading (1)
- culture (1)
- society (1)
- semantics (1)
- template (1)
- report (1)
- qweb (1)
- machine-learning (1)
- vae (1)
- classification (1)
- prediction (1)
- deep-learning (1)
- set (1)
- list (1)
- dict (1)
- time-complexity (1)
- review (1)
- summary (1)
- work (1)
- movies (1)
- bug-fix (1)
- product-management (1)
- binary-search (1)
- search (1)
- scheme (1)
- lisp (1)
type-systems (1)
- memory-model (1)
- tornado (1)
- love (1)
- relationships (1)
- wang-xiaobo (1)
- career (1)
- goals (1)
- wealth (1)
- event-loop (1)
- nodejs (1)
- github (1)
- guide (1)
- time-zone (1)
- internationalization (1)
- i18n (1)
- datetime (1)
- smtp (1)
- tcp (1)
- connection-pool (1)
- epoll (1)
- sorting (1)
- timsort (1)
- partitioning (1)
- primary-key (1)
- uuid (1)
- auto-increment (1)
- dynamic-typing (1)
- static-typing (1)
- mypy (1)
- parsing (1)
- mime (1)
- embedded-images (1)
- cid (1)
- xcode (1)
- opencv (1)
- setup (1)
- birthday (1)
- password-storage (1)
- hashing (1)
- salting (1)
- bcrypt (1)
- pbkdf2 (1)
- file-formats (1)
- annotation (1)
- metadata (1)
- api (1)
- 设计 (1)
- https (1)
- web-development (1)
- forms (1)
- html (1)
- clock-skew (1)
- ntp (1)
- fsm (1)
- state-pattern (1)
- design-pattern (1)
- 编码 (1)
- 解码 (1)
- base64 (1)
- spring-boot (1)
- exceptionhandler (1)
- controlleradvice (1)
- responsestatus (1)
- responseentityexceptionhandler (1)
- 风控 (1)
- 健康 (1)
- 保险 (1)
- 政治 (1)
- 代码规范 (1)
- 可复用代码 (1)
- 代码质量 (1)
- 日志 (1)
- google-drive (1)
- nginx (1)
- upload (1)
- troubleshooting (1)
- git (1)
- socks5 (1)
- network (1)
- 搬瓦工 (1)
- 狗云 (1)
- hostodo (1)
- oracle (1)
- 速度测试 (1)
- cpp (1)
- 跨语言调用 (1)
- cas (1)
- aba (1)
- atomicstampedreference (1)
- keychain (1)
- ssh-agent (1)
- 后端 (1)
- 家庭 (1)
- 怀念 (1)
- 亲情 (1)
- 全栈开发 (1)
- 前后端分离 (1)
- 技术选型 (1)
- 最佳实践 (1)
- angular (1)
- typescript (1)
- golang (1)
- enum (1)
- error-handling (1)
- context (1)
- openresty (1)
- lua (1)
- quill (1)
- 富文本 (1)
- 协作编辑 (1)
- 数据存储 (1)
- node-tree (1)
- 富文本编辑 (1)
- json (1)
- rust (1)
- flutter (1)
- ios (1)
- android (1)
- 跨平台 (1)
- flutter_rust_bridge (1)