Fish Touching🐟🎣
Search
Search
Dark mode
Light mode
Explorer
Blog
Books
Algorithm Unlock Book Review
SICP Review
01-Linux and Command Line
02-Vim
A Gentle Introduction to MTU and MSS
Ergonomics
Fast inverse square root
GDB Crash Course
Introduction to Floating Point Number
Invent UTF-8 From Scratch
Learn C in 1 Hour
marginnote
Performance Share
Programming Language
Pseudo Random Number Generator
Roast Programming Language
为什么女性是美的
什么是尊敬
大学的 CS 教育
女生不适宜学习理工科吗？
我的大学
我的大学(2)
我的大学(3)
编程语言随想
论学习
论学习(2)
论审核
论时间
论焦虑
论英语阅读和学习
论闲书
Notes
Book
ITOC
乔布斯传 书评
Collage
IELTS
参数估计
哈密顿图
握手定理
格和布尔代数
欧拉图
欧拉定理
速度 加速度分解
马克思主义原理
Courses
6.824
6.828
Life
Exercises
Project
Next Blog
Obsidian Frontmatter Add Links
Portfolio
VSCode WhichKey
1NF
2-3-4 Tree
2NF
3NF
4NF
6.828 Lab1 Utilities
6.828 Lab2 System calls
6.828 Lab3 Page tables
6.828 Lab4 file system
6.828 Lab5 network driver
ABI
Ablation Study
Abstract Algebra
Abstract Type
Abstraction
Acceptance Testing
ACID
Actor Model
Adjugate matrix
Agile Development
Agnosticism
AJAX
Algebraic Data Type
Algebraic Structure
Algorithm
Amortized analysis
Anonymous Function
Apache Skywalking
Arena Allocation
Arm
Armstrong Axiom
ARP
Artificial Intelligence
Assembler
Assembly Code
Asymmetric Cryptography
Async Safe
Asynchronous
AudioBookShelf
Automatic Semicolon Insertion
Autonomous System
AVL Tree
B Tree
B+ Tree
Backend
Backpack
Backus-Naur Form
Basic Block
Basic Css
Bayes Theorem
BCNF
BDD
BDP
Bellman-Ford algorithm
Bezout's Identity
BFS
BGP
bias
BigInt
Binary
Binary Decision Diagram
Binary Search Tree
Binomial Coefficient
Binomial theorem
bison
Bitmap
Blogger in China Mainland
Bloom Filter
Boolean Algebra
BOOTP
Bottom up Parsing
Broadcast
Broadcast Domain
Browser Extension
Buffer Management
Byte Order
C enum
C Macros
C Typedef
C++
C++ Cast
C++ Class
C++ Const
C++ Deque
C++ error handling
C++ File
C++ Friend
C++ Header File
C++ Iterator
C++ Lambda Expression
C++ library
C++ Locks
C++ Map
C++ move
C++ Move Semantics
C++ Namespace
C++ new
C++ OOP
C++ OOP Inheritance
C++ Operator Overload
C++ Override and Final
C++ Pair
C++ Polymorphism
C++ Queue
C++ Range
C++ Rules and Idiom
C++ Smart Pointer
C++ Sort
C++ Static
C++ STL
C++ string
C++ Template
C++ Testing
C++ this pointer
C++ Time
C++ Time Measuring
C++ Tuple
C++ unordered_set
C++ Virtual Table
Cache
Cache Line
Caddy
Calculus
Calendar
Canonical Cover
CAP Theorem
Catamorphism
Category Theory
CFS
ChaCha
Chain Rule
ChatRoom
Cheat Sheet
Checksum
Chinese Remainder Theorem
chromium
Church Encoding
CIDR
Circular Buffer
Closure
Cloud Native
Cloudflare KV
CMake
CMU 15-445
Code Generation
Coding Style
Collision Domain
Combinator Calculus
Combinatory Logic
Communication System
Compilation
Compiler
Compiler Course
Compression
Computation Theory
Concurrency
Condition Code
Condition Variable
Congestion Avoidance
Congestion Control
Constant Folding
Context Free Grammar
Continuation Passing Style
Convolution
Copy Elision
Core Dump
Coroutine
CORS
Coset
Counting sort
CPU Instruction
CPU Pipeline
CRC
Cross Product
Cryptography
CS242
CSAPP
CSP
CSRF
CSS
CSS at Rule
CSS Flexbox
CSS Selectors
Cyclic Groups
Data Flow Analysis
Data Structure
Database Anomaly
Database Architecture
Database Atomicity
Database Buffer Pool
Database Consistency
Database Deadlock
Database Errors
Database Garbage Collection
Database Index
Database Isolation
Database Latches
Database Locks
Database Logging
Database Pages
Database Query Optimization
Database Query Processing
Database Recovery
Database Scheduling
Database Serializability
Database Sharding
Database Storage
Database Transation
DB File Management
DBMS
Deadlock
Decision Tree
Decorator Pattern
Dependency Injection
Design Pattern
DFS
DHCP
Dialectics
Diffie Hellman
Dijkstra’s algorithm
Dijkstra’s Banker's Algorithm
Directed Acyclic Graph
Dirty Page
Discrete Logarithm
Discrete Math
Discrete Math Algebra
Distributed System
Divide and Conquer
DNF and CNF
DNS
Docgen
Docker
Docker Command
Docker Projects
Docker Volume
DockerFile
Document Database
Document Driven Development
Draft
DrRacket
dune
DWARF
Dynamic Programming
eBPF
egcd
ELF
ElGamal
Encoding
Epistemology
epoll()
Equivalence relation
ER Model
Error Handling
ESLint
Essay
Essentials of Programming Language
Ethernet
Ethics
Euler formula
Exception
Expectation
Exponential backoff
Ext4
Extendible Hashing
External Hashing
External Sort
Extraneous
Extreme Programming
Factory Pattern
False Sharing
Fast Recovery
Fast Retransmit
Fermat's Little Theorem
File System
Finite Automata
First and Follows Sets
flex
Floating Point Representation
Floating Point Rounding
Fold
Font
Formatter
Forward Error Correction
Fourier Series
Fourier Transform
Frontend
FTP
Functional Combinator
Functional Dependency
Functional Programming
Functor
Garbage Collection
gcc
GCD
gdb
Generalized Algebraic Data Type
Generator
GFS
GHC
Git
Git Branch
Git Command
Git Hacks
Git Tag
GitHub Actions
GitOps
Go Bench
Go Channel
Go cobra
Go Command
Go Concurrency Pattern
Go Context
Go Data and Variable
Go defer
Go doc
Go Error Handling
Go Function
Go Generic
Go GMP
Go Interface
Go Interfaces
Go Linkname
Go Log
Go Loop and Conditions
Go Map
Go Module
Go Package
Go rand
Go Reflect
Go Slice
Go String
Go Struct
Go Struct Tag
Go sync
Go Testing
Go Thread Pool
Go Type Assertion
Golang
Golden Test
Google Test
Goroutine
Gradient Descent
Gradient Vector
Graph Algorithm
Graph Relax
Graph Theory
GraphQL
Greedy
Green Thread
Group
Group Theory
gRPC
GRUB
Hamming Code
Hardware
Hashing
Hashing Algorithms
Hashtable
Haskell
Haskell Function
Heap Data Structure
High Availability
Historical Materialism
Homotopy Type Theory
HTML Body
HTML Element
HTML Head
HTTP Code
HTTP Headers
HTTP Persistent Connection
HTTP Version
Huffman Tree
Huge Page
Hyper Threading
HyperLogLog
Hypertext Transfer Protocol
IaC
ICMP
IDEA IDE
Idealism
IGMP
Independent
Information Theory
Inline Function
inode
Insertion sort
Instruction Level Parallelism
Integer Polynomial
Inter Process Communication
Intermediate Representation
Internet Course
Interpreter
Interrupt
Interview
Inverted Index
IO
IO Model
IO Multiplexing
IP
IPv6
Isomorphism
Iterator
iTerm2
IU Compiler Course
Java
Java Annotation
Java Boxing
Java Class and Object
Java Collection
Java Container
Java GC
Java Generic
Java Idiom
Java Interface
Java IO
Java Iterator
Java Lambda
Java OOP
Java Optional
Java Package
Java Serialization
Javadoc
JavaScript
JavaScript Array
JavaScript Arrow Function
JavaScript Async Await
JavaScript Build
JavaScript Callback
JavaScript Class
JavaScript Data
JavaScript Date Object
JavaScript Error Handling
JavaScript Event
JavaScript Event Loop
JavaScript For Loop
JavaScript Hoisting
JavaScript JEST
JavaScript Map and Set
JavaScript Mixin
JavaScript Module
JavaScript Numbers
JavaScript Object
JavaScript Promise
JavaScript String
JavaScript Symbol
JavaScript Template Literal
JavaScript Tricks
Jetbrains
JIT Compiler
Journaling file system
JSON Parsing
JVM
JWT
Karatsuba Algorithm
Key Derivation Function
kitty
KMP Algorithm
Knight problem
Knowledge
Knuth Shuffle
Kruskal Algorithm
Kubernetes
Lagrange's theorem
Lagrange’s Theorem
Lambda Calculus
lazy evaluation
Lazygit
Left Leaning Red Black Tree
Linear Algebra
Linear Congruential Generator
Linear Feedback Shift Register
Linear Regression
Linguistics
Linked list
Linker
Linux
Linux Kernel
Linux Namespaces
Linux Network Command
Linux Permission
Linux Storage
Linux User
Liskov Substitution Principle
List Comprehension
Literal Programming
LL Parsing
Lock
Log Structured Merge Tree
Logging
Lossless Decomposition
Lua
LZW Compression
MAC Address
MacOS
Macros
Makefile
malloc
Manchester Coding
Manjaro
MapReduce
Martin Löf Type Theory
Marxism
Masking
Master Theorem for Divide and Conquer
Materialism
Mathematical Induction
Maven
maximum segment lifetime
Memory
Memory Aliasing
Memory Barrier
Memory Management
Memory Mapped File
Memory Model
Memory Page
Memory Segmentation
Memory Timing
Merge Sort
Message Broker
Message Oriented
Message Passing
Message Queue
Meta Programming
Metaphysics
Microservice
Middleware
Minecraft
Minecraft Iron Farm
MiniSearch
Minor Cofactor 余子式 代数余子式
MIPS
Modern Linux Command
Modular Arithmetic
Modulation
Monad
MongoDB
Monkey Patching
Monotone Stack
Moonbitlang
Move Semantics
MQTT
MSS
MTU
Multi Threading
Multicast
MurmurHash
MVC
MVC Controller
MVCC
MySQL
MySQL 面试
N Queens
N 维随机变量概率
Nagle Algorithm
NaN Boxing
NAT
Neovim Plugins
Netmask
Network Bridge
Network Layer
Network Topology
Networking
Networking Error
Networking Flow Control
NextJS
NextJS Setup
NixOS
NodeJS
NodeJS File
Nodejs Module
NodeJS Package Manager
Nomifactory
Normal Form
NoSQL
Notification
NP and P Problem
Object Files
Observability
OCaml
OCaml Array
OCaml Boxing
OCaml Error Handling
OCaml Functions
OCaml GC
OCaml JSON
OCaml List
OCaml Memory
OCaml Module
OCaml Object and Class
OCaml Operator
OCaml Preprocessors
OCaml Record
OCaml S Expression
OCaml Type
OCaml Variant
OOP
opam
Open Addressing
Open Closed Principle
Open Recursion
Operating System
Optimistic Concurrency Control
Optimization
Origin Policy
ORM
OS 面试
OSPF
Packet
Packet Switching
Page Cache
Page Fault
Page Replacement Policy
Page Table
Pager
Paper
Parallelism
Parser Combinator
Parsing
Partial Derivative
Partial Evaluator
Pattern Matching
Peano Axioms
perf
pgwatch
Philosophy
pipe
PMTUD
Pointer
Poisson distribution
poll()
Polling
Postgresql
Postgresql Indexes
Pratt Parsing
Prim's Algorithm
Primality Test
Prime
Primitive Root
Primorial
Prisma
Probability
Process
Process Table
Profiling
Programming Language Theory
Programming paradigm
Promise
Proof
Protection Ring
Prototype
PVE
Python
Python Anaconda
Python argparse
Python asyncio
Python Built-in Functions
Python Built-in Keywords
Python collections
Python Control Flow
Python Datatypes and Storage
Python Decorator
Python Dictionary
Python Division
Python Error and Exceptions
Python F-string
Python File
Python Flask
Python Function
Python Functional Programming
Python Generator
Python GIL
Python heapq
Python Iterator
Python Lambda
Python List
Python Magic Method
Python Match
Python Matplotlib
Python Module
Python Namespace
Python Numpy
Python Numpy array
Python Numpy Random
Python OOP
Python OS
Python Pandas
Python Special Variable
Python String
Python sys
Python Testing
Python Virtualenv
Quadratic Residue
Queue
QUIC
QuickSelect
Quicksort
Quote
Racket
Radix Sort
Radix Trie
Raft
RAID
RAII
Random Sampling
Randomized Algorithm
ranger
Rate Limit
RCU
React Component
React Hooks
React State
Reactive Programming
ReactJS
Reactor 面试
Recursion
Red Black Tree
Red Black Tree Deletion
Red Black Tree Insert
Redis
Redis 面试
Reflection
regex
register
Regular Expression
Relational Algebra
Relational Database
Return Early
Ring
RIP
RISCV
Robin Hood Hashtable
Routing
rpc
RSA
rsync
RTP
Rust
Rust Arc
Rust Attributes
Rust Box
Rust Cargo
Rust Closure
Rust Collections
Rust Compiler
Rust Concurrency
Rust CoW
Rust Error Handling
Rust Flow Control
Rust Functional Programming
Rust Generics
Rust Iterator
Rust Lifetime
Rust Macros
Rust Module
Rust OOP
Rust Ownership
Rust Rc
Rust ref Pattern
Rust RefCell
Rust Regex
Rust Smart Pointer
Rust String
Rust Struct
Rust Thread
Rust Traits
Rust Type
RYU Algorithm
Scheduler
Scheme
SCSS
Search Obsidian In Google
Security
select()
Selective ACK
SELinux
Semantics of Programming Language
Semaphore
Series
Service Mesh
Set Theory
Shallow copy Deep copy
Shell
ShellSort
Signals
significand
SIMD
Simply Typed Lambda Calculus
Single Responsibility Principle
Single Source Shortest Path
Singleton Pattern
SIP
size_t
SKI Combinator Calculus
Skip List
Slow Start
SLR Parsing
SNMP
Socket
Socket Programming
Software Engineering Course
SOLID Design Principle
Sorting Algorithm
sourcemap
SPDK
Splay Tree
SQL
SQL Aggregate
SQL Common Table Expression
SQL JOIN
SQL Join Algorithm
SQL Nested Query
SQL ORDER BY
SQL Query
SQL SELECT
SQL Testing
SQL View
SQL WHERE
SQL Window Function
Sqlite
SSH
SSH Port Forwarding
Stack
Stack Data Structure
State Machine
Static Single Assignment
Strict Aliasing Rule
String Algorithm
Structured Concurrency
Structured Programming
Subgroups
Subtyping
Supervised Learning
Svelte
SwissTable
Syscall
systemd
Tagged Union
Tail Call
Tail Recursive
Tailscale
Tailwind
TCP
TCP Buffer
TCP Handshake
tcpdump
TDD
Technically 的翻译
Test Mocking
Testing
Tex
TF-IDF
The equation of the plane
Thread
Thread Local Storage
Threaded Binary Tree
Threading Model
Timestamp Ordering Concurrency Control
TLB
TLS
TLS Hnadshake
tokenizer
Topological Sort
Total Order
Trait Object
Transcendental Number
Trap
Tree
Trie
True Sharing
Turing
Two Phase Lock
Type Theory
TypeClass
TypeScript
TypeScript Config
TypeScript Functions
Typescript Generics
TypeScript Modules
TypeScript Object
TypeScript Type
UDP
Unboxed Type
Unicast
Unicode
Unsupervised Learning
UTF
UTF-8
UTF-16
Variable Scope
Variadic Functions
vdso
Vim
Virtual Address Space
Virtual Memory
VLAN
VSCode
VSCode Extension
Vuejs
Vuejs Basis
Vuejs Method
Web request
Web Security
Web Worker
Webhook
WebSocket
Wireshark
Write Ahead Log
x86 Assembly Calling Convention
XML
XPath
xxHash
yaml
Zig
Zotero
算法题
网络 面试
面经
Now
Home
❯
Notes
❯
OCaml S Expression
OCaml S Expression
Aug 22, 2024
1 min read
module
Sexp
:
sig
type
t
=
|
Atom
of string
|
List
of t
list
end
Graph View
Backlinks
OCaml