Learning sum types, value constructors, and type constructors by proxying values with types

Lobsters·2 points·bitemyapp·over 12 years ago·bitemyapp.com

Read the full article at bitemyapp.com →

#types #constructors #value #sum #proxying #learning sum #value constructors #sum types

Related stories

Union vs sum typesviralinstruction.com
Lobsters · 7 points · 14 days ago
Implementing a key-value store, part 1: Linear Hashingsamrat.me
Lobsters · 6 points · almost 9 years ago
Defining Types in Shenbluishcoder.co.nz
Lobsters · 11 points · about 7 years ago
TypeScript Generic Default Types in 2026: The Underused Feature That Cleans Up Your Component Prop Signaturesdev.to
DEV Community · 0 points · 10 days ago
Show HN: Frost – frosted-glass Linux icons where file types say what they aregithub.com
Hacker News · 13 points · 14 days ago
DuckDB extension: typed Jev answers as real SQL typesgithub.com
Hacker News · 2 points · 13 days ago

Related topics

haskell64 programming465 typescript55 chdb3 ai2524 content41 plt72 clickhouse9 data378 encoding11