3 ms·
Abstract algebra has a strong crossover into type theory, it you think of types as sets. Maybe not strictly useful while bashing out python code but it's nice t
by adammarples 4y ago
Abstract algebra has a strong crossover into type theory, it you think of types as sets. Maybe not strictly useful while bashing out python code but it's nice to have an elegant mental model