Fish Touching🐟🎣
Search
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
Chat Room in 3 Languages - A abstraction's Perspective
Ergonomics
Fast inverse square root
GDB Crash Course
Introduction to Floating Point Number
Learn C in 1 Hour
marginnote
Programming Language
Random Number Within a Given Range
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
Abstraction
Acceptance Testing
ACID
Actor Model
Adjugate matrix
Agile Development
Agnosticism
AJAX
Algebraic Data Type
Algorithm
Amortized analysis
Apache Skywalking
Arena Allocation
Armstrong Axiom
ARP
Artificial Intelligence
Assembler
Assembly Code
Asymmetric Cryptography
Async Safe
Asynchronous
Autonomous System
AVL Tree
B Tree
B+ Tree
Backend
Backpack
Backus-Naur Form
Basic Css
Bayes Theorem
BCNF
BDD
BDP
Bellman-Ford algorithm
Bezout's Identity
BGP
bias
Binary
Binary Search Tree
Binomial Coefficient
Binomial theorem
Bitmap
Blogger in China Mainland
Bloom Filter
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++ 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
Caddy
Calculus
Calendar
Canonical Cover
CAP Theorem
Catamorphism
CFS
Chain Rule
Cheat Sheet
Checksum
Chinese Remainder Theorem
chromium
CIDR
Circular Buffer
Closure
Cloud Native
Cloudflare KV
CMake
CMU 15-445
Coding Style
Collision Domain
Communication System
Compilation
Compiler
Compiler Course
Compression
Computation Theory
Concurrency
Condition Code
Condition Variable
Congestion Avoidance
Congestion Control
Context Free Grammar
Convolution
Copy Elision
Core Dump
Coroutine
CORS
Coset
Counting sort
CPU Instruction
CRC
Cross Product
Cryptography
CSAPP
CSP
CSS
CSS at Rule
CSS Flexbox
CSS Selectors
Cyclic Groups
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
Decorator Pattern
Dependency Injection
Design Pattern
DFS
DHCP
Dialectics
Diffie Hellman
Dijkstra’s algorithm
Dijkstra’s Banker's Algorithm
Dirty Page
Discrete Logarithm
Discrete Math
Discrete Math Algebra
Distributed System
Divide and Conquer
DNF and CNF
dns
Docker
Docker Command
Docker Projects
Docker Volume
DockerFile
Document Database
Document Driven Development
Draft
dune
DWARF
Dynamic Programming
eBPF
egcd
ELF
ElGamal
Encoding
Epistemology
epoll()
Equivalence relation
ER Model
ESLint
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
Floating Point Representation
Floating Point Rounding
Font
Forward Error Correction
Fourier Series
Fourier Transform
Frontend
FTP
Functional Dependency
Functional Programming
Garbage Collection
gcc
GCD
gdb
Generator
GFS
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 Interface
Go Interfaces
Go Log
Go Loop and Conditions
Go Map
Go Module
Go Package
Go reflect
Go Slice
Go String
Go Struct
Go Struct Tag
Go sync
Go Testing
Go Thread Pool
Go Type Assertion
Golang
Google Test
Goroutine
Gradient Descent
Gradient Vector
Graph Algorithm
Graph Relax
Graph Theory
GraphQL
Greedy
Group
Group Theory
gRPC
GRUB
GSimply Typed Lambda Calculus
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
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
iTerm2
Java
Java Annotation
Java Boxing
Java Class and Object
Java Collection
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 Cache
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
Key Derivation Function
kitty
KMP Algorithm
Knight problem
Knowledge
Kruskal Algorithm
Kubernetes
Lagrange's theorem
Lagrange’s Theorem
Lambda and Anonymous Function
Lambda Calculus
lazy evaluation
Lazygit
Left Leaning Red Black Tree
Linear Algebra
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
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 Allocation in C
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
MQTT
MSS
MTU
Multi Threading
Multicast
MurmurHash
MVC
MVC Controller
MVCC
Mysql
MySQL 面试
N Queens
N 维随机变量概率
Nagle Algorithm
NAT
Neovim Plugins
Netmask
Network Bridge
Network Layer
Network Topology
Networking
Networking Error
Networking Flow Control
NextJS
NextJS Setup
NodeJS
NodeJS File
Nodejs Module
NodeJS Package Manager
Nomifactory
Normal Form
NoSQL
Notification
NP and P Problem
Object Files
Observability
OCaml
OCaml Functions
OCaml Module
OCaml Operator
OCaml Type
OOP
Open Addressing
Open Closed Principle
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
Parsing
Partial Derivative
Pattern Matching
pgwatch
Philosophy
pipe
PMTUD
Pointer
Poisson distribution
poll()
Polling
Postgresql
Postgresql Indexes
Prim's Algorithm
Primality Test
Prime
Primitive Root
Primorial
Prisma
Probability
Process
Process Table
Profiling
Programming paradigm
Promise
Proof
Protection Ring
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 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
Radix Sort
Radix Trie
Raft
RAID
RAII
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
Routing
rpc
RSA
rsync
RTP
Rust
Rust Arc
Rust Attributes
Rust Box
Rust Cargo
Rust Closure
Rust Collections
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 Thread
Rust Traits
Rust Type
Scheduler
Scheme
SCSS
Search Obsidian In Google
Security
select()
Selective ACK
SELinux
Semaphore
Series
Service Mesh
Set Theory
Shallow copy Deep copy
Shell
ShellSort
Signals
significand
Single Responsibility Principle
Singleton Pattern
SIP
size_t
Skip List
Slow Start
SLR Parsing
SNMP
Socket
Socket Programming
Software Engineering Course
SOLID Design Principle
Sorting Algorithm
sourcemap
SPDK
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
String Algorithm
Subgroups
Subtyping
Supervised Learning
Svelte
SwissTable
syscall
systemd
Tailscale
Tailwind
TCP
TCP Buffer
TCP Handshake
tcpdump
TDD
Technically 的翻译
Test Mocking
Testing
Tex
TF-IDF
The equation of the plane
Thread
Threaded Binary Tree
Timestamp Ordering Concurrency Control
TLB
TLS
TLS Hnadshake
tokenizer
Topological Sort
Transcendental Number
Trap
Tree
Trie
Turing
Two Phase Lock
Type Theory
TypeScript
TypeScript Config
TypeScript Functions
Typescript Generics
TypeScript Modules
TypeScript Object
TypeScript Type
UDP
Unicast
Unicode
Unsupervised Learning
Variable Scope
vdso
Vim
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
Zotero
算法题
网络 面试
面经
Now
Home
❯
Notes
❯
Algebraic Data Type
Algebraic Data Type
Nov 30, 2023
1 min read
formed by combining other types
Example
Product types
aka tuples or records
Sum types
Graph View
Table of Contents
Example
Product types
Sum types
Backlinks
Functional Programming