Henning Thielemann <schlepp...@henning-thielemann.de> writes:

> Heinrich Apfelmus schrieb:
>
>> Ivan Miljenovic wrote:
>
>>> I'm not sure I understand what you're saying here: first you said you
>>> wanted to be able to specify a vertex type, now you're saying that you
>>> don't want to know what the vertex type even is (except that it's some
>>> abstract Node type)?  Whilst this would make graph usage safer/more
>>> robust, this seems to contradict your earlier arguments...
>> 
>> I'd be happy with either one. :) In both cases, I want to specify a
>> custom vertex type.
>> 
>> I can either do that directly if the library permits, though I think the
>> solution with associated types is too cumbersome to be useful for my
>> make  example.
>> 
>> Or I get an abstract  Node  type and the library provides just the right
>> functions that make it easy to manage a custom vertex type myself. I had
>> hoped that the  Data.Graph.Inductive.NodeMap  module provides this,
>> which it doesn't.
>> 
>> In other words, the abstractness of  Node  forces the library to provide
>> a well-designed set of functions to work with them, and that's what I'm
>> after. In my  make  example, I spent the most time thinking about how to
>> manage the  Int  nodes, finally settling with  Data.Map.findIndex , and
>> I prefer the library to think about that for me.
>
> Full acknowledge!

I have no idea what this is meant to mean...

-- 
Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com
IvanMiljenovic.wordpress.com
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to