- Haskell-Cafe - Haskell.org

RE: defining (-> Bool) as a set
by Hal Daume III 26 Apr '02

26 Apr '02

Would there be any problems if there were an artificial "<-" type constructor in Haskell which was basically: type a <- b = b -> a but not a type synonym so you could define it to be instances of classes, but then those get applied "backwards" to ->? Okay, that made no sense. I'll try again. Type lambda = bad (undecidable). What about only type lambda on function types and not even type lambda; simply allow partial application to the second argument *only* on ->? This would solve my problem and I believe that of an earlier poster who wanted to define catamorphisms (I think; don't feel like checking), but couldn't because of this restriction. Is this still "too loose" to be made to work? -- Hal Daume III "Computer science is no more about computers | hdaume(a)isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume On Mon, 22 Apr 2002, Simon Peyton-Jones wrote: > Hal, > > [I think this sort of question would be better on the haskell-cafe > list.] > > I don't think what you want can be done directly. It's the old > thing about not having lambdas at the type level. You want: > > instance Eq a => Coll (\x. x -> Bool) a where ... > > and you just can't do that. You *can* abstract the second argument > of (->): > > instance Eq a => Coll ((->) Bool) a where ... > > but not the first. It's a well known shortcoming in Haskell, that you > can > partially apply type constructors, but you can't do argument > permutation. > > I know of no good solution. Adding type lambdas in their full glory > makes type inference pretty much impossible. What we'd like is > a compromise. Maybe someone can invent one. But take care. > The ground is littered with corpses. > > Simon > > > | -----Original Message----- > | From: Hal Daume III [mailto:hdaume@ISI.EDU] > | Sent: 23 April 2002 01:30 > | To: Jorge Adriano > | Cc: Haskell Mailing List > | Subject: Re: defining (-> Bool) as a set > | > | > | Yeah, both options suggested are valid, of course. But I > | really don't want to have a constructor and I'm using Edison > | where Coll is defined something like: > | > | class Coll c e where > | empty :: c e > | insert :: c e -> e -> c e > | > | etc., which precludes the fun dep solution. > | > | - Hal > | > | -- > | Hal Daume III > | > | "Computer science is no more about computers | hdaume(a)isi.edu > | than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume > | > | On Tue, 23 Apr 2002, Jorge Adriano wrote: > | > | > > | > > class Collection e ce | ce -> e where > | > > empty :: ce > | > > insert :: e -> ce -> ce > | > > member :: e -> ce -> Bool > | > > > | > > instance Eq a => Collection a (a -> Bool) where > | > > empty = (\x -> False) > | > > insert e f = (\x -> if x == e then True else f x) > | > > member e f = f e > | > > | > This is way better than my solution... > | > > | > I had never used multi-parameter classes before, so I forgot the > | > functional > | > dependency (right name? the "|ce->e"), and there was > | obviously no need for my > | > extra constructor. > | > > | > J.A. > | > > | > | _______________________________________________ > | Haskell mailing list > | Haskell(a)haskell.org http://www.haskell.org/mailman/listinfo/haskell > | >

1 0

RE: lazy comparison for equality ?
by Konst Sushenko 24 Apr '02

24 Apr '02

In addition to what Hal said, I think that even assuming that you want to write a function like that that is only supposed to be applied to finite lists (like, say, prelude's 'and' function, which does not terminate on an infinite list of True values) you still cannot do it because haskell lists are not like C lists. There is no notion, to my understanding, of list circularity. There are finite and infinite lists. Your example of a list that you call a circular list is just a definition of a recursive function that produces an infinite list. So what you are almost asking is how to write a function that checks if a list has repeated sub-sequences, which is not of course precisely the same that you asked (because even a finite list can have repeated sub-sequences), but close. And this is just one of many problems taken care of by various string search algorithms. konst > -----Original Message----- > From: Hal Daume III [mailto:hdaume@ISI.EDU] > Sent: Wednesday, April 24, 2002 12:38 PM > To: klusacek(a)atrey.karlin.mff.cuni.cz > Cc: haskell-cafe(a)haskell.org > Subject: Re: lazy comparison for equality ? > > > I don't think you can write such a function. For instance, > how would you > know whether [1..] is circular or not? In order to know that it's not > you'd need to evaluate it fully. > > -- > Hal Daume III > > "Computer science is no more about computers | hdaume(a)isi.edu > than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume > > On Wed, 24 Apr 2002 klusacek(a)atrey.karlin.mff.cuni.cz wrote: > > > > > Hi - > > I'm a Haskell beginner and I have a problem. > > > > Let's have a list which may be normal list > > list1 = [1,2,3] > > or a circular list > > list2 = 1:2:list2 > > > > Now I'd like to have a function which tells me whether the > > given list is circular or not. This doesn't work: > > > > circ l = l l > > circ2 l [] = False > > circ2 l (_:as) | l==as = True > > | True = (circ2 l as) > > > > > > It seems that comparison l==as really compares element by > element thus > > falling into an infinite loop. I would need to compare > pointers instead of > > values. > > > > Does anybody know how this could be done ? > > > > Thanks. > > > > > > > > > > > > _______________________________________________ > > Haskell-Cafe mailing list > > Haskell-Cafe(a)haskell.org > > http://www.haskell.org/mailman/listinfo/haskell-cafe > > > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >

1 0

lazy comparison for equality ?
by klusacek＠atrey.karlin.mff.cuni.cz 24 Apr '02

24 Apr '02

Hi - I'm a Haskell beginner and I have a problem. Let's have a list which may be normal list list1 = [1,2,3] or a circular list list2 = 1:2:list2 Now I'd like to have a function which tells me whether the given list is circular or not. This doesn't work: circ l = l l circ2 l [] = False circ2 l (_:as) | l==as = True | True = (circ2 l as) It seems that comparison l==as really compares element by element thus falling into an infinite loop. I would need to compare pointers instead of values. Does anybody know how this could be done ? Thanks.

2 1

RE: "do" notation and ">>"
by Simon Marlow 24 Apr '02

24 Apr '02

> I was not suggesting that the Haskell'98 report should > change or even give a warning -- I was giving a warning to > compiler implementors, that this simple change might have > disastrous effects. > > BTW, I remember a similar discussion along these lines on > the Haskell mailing list that happened in 1997 I think, but > I cannot find the archives. > > Another comment one can make here is the following: if > Haskell does not care about sharing, why is the monomorphism > restriction there? One difference is that when the compiler gives you *less* sharing than you were expecting, then it is in some sense worse than getting more sharing. More sharing might result in space leaks, but in practice (in my experience anyway) this isn't as noticeable as the time leaks you get when sharing is lost. GHC has implemented almost-full-laziness for a long time, and I don't recall anyone ever complaining about space leaks introduced as a result. The monomorphism restriction, on the other hand, is concerned with the user getting no less than the amount of sharing he/she was expecting (personally I think this should be a compiler warning rather than a language restriction, but I'm aware there are other reasons for wanting the MR too). Cheers, Simon

1 0

how to call Fortran procedures in Haskell program?
by Zhe Fu 21 Apr '02

21 Apr '02

Does anybody know how to call Fortran procedures in Haskell program? I tried Green Card, but seems it only works with C codes. Thanks.

1 0

�𾴵��Ͽͻ��Ǻ�!
by web 20 Apr '02

20 Apr '02

�𾴵��Ͽͻ��Ǻ�! ��繫˾h(ttp://www.315dns.com)��վ��¸İ棬��ҵ�ʾֹ��ϵͳҲ�� °汾(IMail Server Web Messaging v7.04)��Ϊ��С��ҵ��ṩ�Լ۱��ŵ� ��Ʒ��ڴ��Ƴ��²�Ʒ�� 1��200M ��HTML�ռ�+1��ʶ��150Ԫ/�� 2��100M ASP��ռ�+100��ҵ�ʾ�+1��ʶ��+20M ACCESS��ݿ⣬��288Ԫ/�� 3��300M ASP��ռ�+300��ҵ�ʾ�+1��ʶ��+100MACCESS��ݿ⣬��488Ԫ/�� ҹ�˾�Ŀռ䣬��ֲ��˾ע��ģ�ֻ�뽫��DNS�ĳ��ǹ�˾�Ļ�� ֱ��ת��˾��Ŷ��в��֮��Ÿ�֪��䣬�Ա㼰ʱ��ҵ��ʼ��б��ɾ��! �ɹ��Żݶ�ࡣ��ӭ��Ҷ��0592-5567025ת81��QQ��755139��ѯ�� Ʒ��ѡ��----- ��棺http://www.315dns.com --------------------------------------------------------------- �е�Ⱥ��ʼ�,��ר��(http://www.21cmm.com) ��CMM��У(http://www.21cmm.com)��Ŀ��ר��

1 0

Hi.
by wooil 19 Apr '02

19 Apr '02

How I can register for the mailing list? Philip

2 1

Re: [HOpenGL] ANNOUNCE: FunGEn-0.1 released!
by Sven Panne 19 Apr '02

19 Apr '02

[ Moved from haskell to haskell-cafe ] Cool! :-) I just had a quick test on my Solaris box, and most things went fine. Just some small hints: * The Makefile contains WinDoze CR/LF, which *nix-makes don't really like. * There were uppercase/lowercase mismatches in the file names of the bitmaps for the worms game. Well, WinDoze doesn't care, but "real" OSes do. :-) * The easiest way to compile FunGEn and the examples is probably: ghc --make -O -fglasgow-exts -package HOpenGL -o game game.hs ( cd pong ; ghc --make -O -package HOpenGL -i.. -o pong pong.hs ) ( cd worms ; ghc --make -O -package HOpenGL -i.. -o worms worms.hs ) At least if you have a recent GHC + an installed HOpenGL package... Cheers, S.

1 0

Question on style - Implicit parameters
by Jorge Adriano 18 Apr '02

18 Apr '02

Hi all, Lately I've found implicit parameters to be extremely usefull in many situations. The most simple and obvious is when you need to calculate some values that depend on specific parameters, in some context where these same parameters constant. There is no poblem if all the calculus are defined in the scope of those 'constant' parameters, but if you need to define functions outside their scope then you have to pass them as arguments, and sometimes that complicates type signatures. Now my question. I've end up in situations where I need to write something like --------- step :: Inst-> Train->Inst step inst train = changeInst deltaW deltaV inst where deltaW = someSemiConst1 with ?inst=inst; ?train train deltaV = someSemiConst2 with ?inst=inst; ?train train --------- Ok the problem is that both deltaV and deltaW are assigned some constants that implicitly depend on the arguments 'inst' and 'train'. Now imagine that someSemiConst1 = f n someSemiConst2 = g n for some n that also depends implicitly on 'inst' and 'train'. In this case 'n' would (could? haven't actually tried it) be calculated twice, one fro the first semiConst, another for the second. It would be nice to have something like with ?inst=inst; ?train train { deltaW = someSemiConst1 deltaV = someSemiConst2 } My solution was to define some function (deltaW, deltaV)=calculateDeltas with ?inst=inst; ?train=train And in this function I simple does (deltaW, deltaV)= (someSemiConst1, someSemiConst2) In case you're wondering, why not just call the 'step' function bounding it's context to 'inst' and 'train'. It doesn't makes much sense to me in this case, becouse the whole purpose of this function is to change a 'inst' acording to some 'train' (in fact it is beeing used in a foldl). How do you usually handle this situations? Is there an elegant solution for this? J.A.

1 1

Your message to Cvs-nofib awaits moderator approval
by cvs-nofib-admin＠haskell.org 18 Apr '02

18 Apr '02

Your mail to 'Cvs-nofib' with the subject How are you Is being held until the list moderator can review it for approval. The reason it is being held: Message body is too big: 134653 bytes but there's a limit of 40 KB Either the message will get posted to the list, or you will receive notification of the moderator's decision.

1 0