sets_in_go

Nobody has yet discovered a branch of mathematics that has successfully resisted formalization into set theory. (Thomas Forster, Logic Induction and Sets, p. 167)

Boolean logic and set theory are closely related

- gen: type-driven code generation for Go
- golang-set: a simple set type for the Go language. Used in Docker. coding talk

- Good intro to logic & set theory textbooks (Twitter thread)
- Sometimes I miss generics (@francesc) (Twitter thread)
- unique: package unique provides primitives for sorting slices removing repeated elements.
- Go sets in practice (slides in PT-BR)

sets_in_go.txt · Last modified: 2018/04/21 16:30 by luciano