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
- bitset: a mapping between non-negative integers and boolean values, stored as bits on slices of uint64.
- go-set: type-safe, zero-allocation sets for Go.

- 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)
- math/bits: standard library package for bitwise operations on uint types, introduced in Go 1.9

sets_in_go.txt · Last modified: 2018/10/03 05:29 by luciano