📕 subnode [[@ryan/20210518215236 c_like_types]]
in 📚 node [[20210518215236-c_like_types]]
Clike 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.
📖 stoas
- public document at doc.anagora.org/20210518215236-c_like_types
- video call at meet.jit.si/20210518215236-c_like_types