3 ms·
Is "Universal Construction" a well-known term? I don't recall ever encountering it in my Comp. Sci. degree, and some quick searching only leads me to more acade
by 0xffff2 7y ago
Is "Universal Construction" a well-known term? I don't recall ever encountering it in my Comp. Sci. degree, and some quick searching only leads me to more academic papers.
- FisDugthop 7y agoI only know them from category theory and abstract algebra. You could think of them as polymorphic constructions from some set of assumptions. As an example, given some type of elements, the type of lists of those elements is a monoid (the free monoid) on those elements.
- rhacker 7y agoIt's horribly over garbled. The Github repo doesn't do a better job of explaining anything. This is a horrible news item.
- ajkjk 7y agoIt's mentioned on https://en.wikipedia.org/wiki/Non-blocking_algorithm https://en.wikipedia.org/wiki/Non-blocking_algorithm, at least.