#+title: C-like types

[[file:20200709233224-c_programming_language.org][C]]-like types are types that are more for the satisfaction of the compiler than
of data. With C-like types, behavior is not specified, unlike [[file:20210518215229-haskell_like_types.org][Haskell-like
types]], and incorrect programs can still be written.