> There’s a gap between how often software engineers could use graphs and how little our programming ecosystems support them. Where are all the graph types?
They've been there for quite a while :-) https://www.erlang.org/doc/man/digraph.html https://www.erlang.org/doc/man/digraph_utils
And if you want to do some set theoretical stuff you're covered as well: https://www.erlang.org/doc/man/sofs.html