[Haskell-cafe] Re: Collections

apfelmus apfelmus at quantentunnel.de
Mon Jun 25 14:46:09 EDT 2007

Andrew Coppin wrote:
> Lennart Augustsson wrote:
>> If you don't run into graphs you are either solving very peculiar
>> problems, or you don't recognize them when you see them.  They are
>> everywhere.
> I see lots of *trees*, but no general graphs. (As in, *data* structures
> having cycles in them. My *code* is often cyclic...)

So what does a compiler do to typecheck it? It represents your code as a
graph and calculates strongly connected components.


More information about the Haskell-Cafe mailing list