Data.Graph transitive closure
Carter Schonwald
carter.schonwald at gmail.com
Fri Jun 21 18:44:29 UTC 2019
i've definitely used the efficient SCC bits of Data.Graph in the past.
graphs are just such a rich area that it seems doubtful that there'll ever
be a one true library
On Fri, Jun 21, 2019 at 2:21 PM David Feuer <david.feuer at gmail.com> wrote:
> The big problem is that when it was broken off into containers, there was
> no attempt to add appropriate abstraction barriers. So it's ... awkward.
>
> On Fri, Jun 21, 2019, 2:10 PM Johannes Waldmann <
> johannes.waldmann at htwk-leipzig.de> wrote:
>
>>
>> > I've actually wondered why Data.Graph existed since it is obviously not
>> > written for serious/heavy usage.
>>
>> But it was!
>>
>> As I understand, it was originally part of GHC
>> (ghc-0.29/ghc/compiler/utils/Digraph.lhs)
>> for computing SCCs (in the graph of dependencies of declarations).
>>
>> So we can assume that it does this well.
>>
>> And I guess it's used for the very same purpose in Cabal and Agda.
>>
>> - J.
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190621/4403289f/attachment.html>
More information about the Libraries
mailing list