- Haskell-Cafe - Haskell.org

Re: Representing cyclic data structures efficiently in Haskell
by Sarah Thompson 12 Jul '03

12 Jul '03

>>From reading your message, it seems you want a graph library of sorts. > The important bit is 'of sorts', unfortunately! Most graph libraries I've seen to date (although I must admit that they have been written in C and C++, including one I perpetrated personally) don't really work that well for circuits because, for anything other than trivially simple components, the connections between nodes need to be labelled. A component representing something simple like (say) an 'and' gate would be easy enough to represent as a node of an ordinary directed graph. In such a case, an incoming arrow would always be an input of the gate, and an outgoing arrow would always be the output. I need to be able to represent more complex components, up to and including the complexity of things like CPUs, where you might have lots and lots of inputs and outputs with substantially different meanings. In the case of a CPU, it would never be acceptable to (for example) swap a chip select output for an address or data line. This makes me think that an off-the-shelf graph library won't quite be what I'm after, so I will almost certainly need to write the code. What I'm more interested in at the moment is a view on the best kinds of approach that might be appropriate. I'd considered something like embedding the type in the IO monad, with links between components implemented as IORefs, but I'd really prefer something cleaner (pure functional). If the code ends up horribly complicated in order to get decent performance, I might as well fold and use C++ instead. I'm currently wondering about going for an adjacency list approach (as used by most graph libraries), with the tuples in the adjacency list extended to include input/output labels, resulting in a 4-ary tuple rather than the usual 2-ary. But, I don't want to be stuck with representing this as a list -- I really need log N lookups or performance will stink horribly as circuits get big. Maybe a pair of finite maps, allowing the edges to be traversed in either direction? >If FGL seems like overkill to you, I have my own little mini graph >library which basically looks like: > > - An ADT, Node: newtype Node = Node Int deriving ... > - The 'Graph n e' data structure, containing: > - a FiniteMap from n -> Node > - an (growable?) array of type IOArray (Node,Node) e > >the array represents the edges in the top half (i do some index fiddling >to get this efficient) and the finitemap represents the node labellings. >It's a pretty stupid interface and works a lot better when the graphs >are fixed size (that way you don't need to grow the array). But it >works. > > The finite map from n to Node seems like a good idea. Does representing the adjacency list as a flat array cause any problems? Sarah -- ---------------------------------------------- / __ + / Sarah Thompson **** / / (_ _ _ _ |_ / * / / __)(_|| (_|| ) / sarah(a)telergy.com * / / + / http://findatlantis.com/ / ---------------------------------------------- -- ---------------------------------------------- / __ + / Sarah Thompson **** / / (_ _ _ _ |_ / * / / __)(_|| (_|| ) / sarah(a)telergy.com * / / + / http://findatlantis.com/ / ----------------------------------------------

4 3

accessing Haskell-Cafe from oe
by Jeff Aimt 12 Jul '03

12 Jul '03

Hello, I discovered recently (thanks google) that Haskell Cafe was also named "fa.haskell", but can't find a news server which would let me access it like any other newsgroup. If someone accesses haskell cafe using a free news server, could he say me which one ? Thanks by advance.

3 2

RE: Template Haskell question
by Simon Peyton-Jones 12 Jul '03

12 Jul '03

Yes, sorry, as Ian says, type splices just aren't implemented at the moment. The error message is uninformative. This is useful info though -- someone wants type splices! Simon | -----Original Message----- | From: haskell-cafe-admin(a)haskell.org [mailto:haskell-cafe-admin@haskell.org] On Behalf Of Ashley | Yakeley | Sent: 27 June 2003 23:57 | To: haskell-cafe(a)haskell.org | Subject: Template Haskell question | | Can anyone tell me what's wrong with this? | | -- ghc -fglasgow-exts -c TH.hs | module TH where | { | import Language.Haskell.THSyntax; | | class HasZero a where | { | zero :: a; | }; | | aninstance :: TypQ -> Q [Dec]; | aninstance t = [d| | | instance HasZero $t where -- error here | { | zero = 0; | }; | | |]; | | $(aninstance [t|Int|]) | $(aninstance [t|Integer|]) | } | | | $ ghc -fglasgow-exts -c TH.hs | TH.hs:14: Malformed context in instance header | | All I want to do is spin off a number instances for a number of types... | | -- | Ashley Yakeley, Seattle WA | | _______________________________________________ | Haskell-Cafe mailing list | Haskell-Cafe(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe

2 1

Hugs Humor
by Steffen Mazanek 12 Jul '03

12 Jul '03

Hello, a quit funny hugs session: Prelude> 0.5::Rational 1 % 2 Prelude> 0.1::Rational 13421773 % 134217728 Prelude> 13421773/134217728 0.1 I do not know how this fraction is calculated, but it does not fit my expectations :-) Ok, ok, it is no bug... Ciao, Steffen -- Steffen Mazanek - www.steffen-mazanek.de - GPG: 791F DCB3 Haskell, that's where I just curry until fail, unwords any error, drop all undefined, maybe break, otherwise in sequence span isControl and take max $, id: (d:[])

9 19

-------|�Ż��|------
by webmaster 12 Jul '03

12 Jul '03

�װ��ѣ� ��ã� ��б��Ƽ��޹�˾��ʺ��л��տ��ʼ��ϵ�ϣ�� ܳ�Ϊ��ڹ��Ҫ��顣��һ�Ҳ��¼��ᾧ��о��ƹ�ͷ�չ �¼��ڻ��Ϣ��ע��ĸ��¼��ҵ�� :http://www.host-china.com ��˾��2003��ȫ��ʻ��Ƴ��²�Ʒ��пռ䶼֧�� ݿ⣨linux+PHP+Mysql;NT+asp+acess��⽫��ֵ��ѡ�� 1.30M�ռ�+30M��ҵ�ʾ� + ��һ�� ȫ�棬��198Ԫ/�ꡣ ��2.120M�ռ䣫120M��ҵ��䣫1��ȫ�棬��330Ԫ/�ꡣ 3.200M�ռ䣫50M��ҵ��䣫1��ȫ�棬��450Ԫ/�ꡣ 4.300M�ռ䣫50M��ҵ��䣫1��ȫ�棬��580Ԫ/�ꡣ �� Ǿ��Ϊ��ṩ��õķ��񡣣��ų��ʧ��Ը�� ˿Ҳ��Ϊ��һ��Ĳ��ġ��ǳ�ŵ��ⰴʵ�� ˿�벻Ҫֱ�ӻظ�,�ظ��뷢:jinjin732@sohu.com ��ף��ģ�˳�� webmaster of http://www.host-china.com ��б��Ƽ��޹�˾ http://www.host-china.com �绰��0592-5915491��ߣ� 0592-5652685�� 棺0592-5652687�� ϵ�ˣ�� С�� --------------------------------------------------------------- �е�Ⱥ��ʼ�,��ר��(http://www.21cmm.com) ��CMM��У(http://www.21cmm.com)��Ŀ��ר��

1 0

Re:Decimal Literals
by jmaessen＠alum.mit.edu 11 Jul '03

11 Jul '03

Ketil Z. Malde <ketil(a)ii.uib.no> writes: > I.e. for 3.14, allow any rational number in [3.14,3.15), or > perhaps (3.135,3.145]? Or restrict it to just the rational number in > range with the least total digits? We can get this effect using a version of (%) adapted specifically for converting decimal floating-point constants. Thus: Data.Ratio> 31415926536%1000000000 3926990817 % 125000000 Data.Ratio> let n %% d = approxRational (n%d) (1%(2*d)) in 31415926536 %% 10000000000 312689 % 99532 We can imagine the compiler replacing floating constants by fromRational (n%%d) rather than fromRational (n%d). Of course, then trailing zeros suddenly become significant: Data.Ratio> let n %% d = approxRational (n%d) (1%(2*d)) in 314 %% 100 22 % 7 Data.Ratio> let n %% d = approxRational (n%d) (1%(2*d)) in 3140 %% 1000 135 % 43 This might be good or bad, depending on your perspective. -Jan-Willem Maessen jmaessen(a)alum.mit.edu

1 0

constructors in O'Haskell
by Peter Padawitz 11 Jul '03

11 Jul '03

How may I hide constructors in O'Haskell 'cause export lists don't work in this language? Peter

1 0

Monad constructors
by Peter Padawitz 11 Jul '03

11 Jul '03

Why must every Monad instance be a datatype or newtype, even if there will be just a single constructor? Peter

1 0

Re: Representing cyclic data structures efficiently in Haskell
by C.Reinke 08 Jul '03

08 Jul '03

> What is the best way to represent cyclic data structures in Haskell? There used to be some work on direct cyclic representations at UCL: Dynamic Cyclic Data Structures in Lazy Functional Languages Chris Clack, Stuart Clayman, David Parrott Department of Computer Science, University College London, October 1995 The link to the project, from http://www.cs.ucl.ac.uk/staff/C.Clack/research/report94.html is broken, but the paper seems to be online at http://www.cs.ucl.ac.uk/teaching/3C11/graph.ps If you want to go for this direct cyclic representation, the interplay with lazy memo functions is also interesting: J. Hughes, Lazy memo-functions, Functional Programming Languages and Computer Architecture, J-P. Jouannaud ed., Springer Verlag, LNCS 201, 129-146, 1985. (lazy memo-functions remember previous input-output pairs based only on pointer-info, which is sufficient to write functions over cyclic structures that, instead of infinitely unrolling the cycles, produce cyclic results) (not online?-( Claus

1 0

I NEED YOUR HELP
by johnmboma＠sify.com 08 Jul '03

08 Jul '03

Dear Sir, I need your help,I am John Mboma the son of a Late minister during the reign of mobutu seseko, I came to know you in the course of my search for a reliable and God fearing partner and I decide to contact you because I believe you are a reputable person and I felt you can help us over this confidential matter. I count on your intergrity and honesty to be able to handle this business. My father was a minister in Democratic Republic of Congo during the reign of Late President Mobutu. Our father was killed during the rebel attack and our house was burnt. We manage to escape to South Africa with my mother and two of my sisters where we are now taking refuge.Before the death of my father he deposited US$30.5 MILLION, with a security company in Europe.The money is kept in a trunk boxes and was registered as precious substance. Thus there is nobody that knows that it is money that is in the box. All the document with which the money was deposited is with us. I am looking for somebody to that is capable and willing to travel to Europe Country to receive the two trunk boxes of money on behalf of my family from the security company. We need a trust worthy and experience person that will help us to invest this money in your country and take us as one family and will also buy a house for us over there where we can live safely. We are expecting to hear from you.Please contact me on this Email Address: john.mboma1(a)caramail.com Thanks for your anticipated cooperation.please include your telephone number and fax number in your reply Best Regards, JOHN MBOMA

1 0