- Haskell-Cafe - Haskell.org

RE: Question about Haskell lexer and parser.
by Simon Marlow 28 May '03

28 May '03

> Question is really about layout rules. > If the first lexeme of a module is not a "module" keyword, we insert > {n}, where n is the indentation of first lexeme. Then we apply > function L to the list of lexemes and stack of layouts: > > L ({n}:lexemes) [] > > One of first case definitions of L covers this situation: > L ({n}:ts) [] > | n>0 = {:L ts [n] -- n>0 means that layout isn't explicit. > It's obvious that after our first {n} comes usual lexeme, like Var. > This situaiton is covered in the following L rule: > > L (t:ts) (m:ms) > | m /= 0 = }:L (t:ts) ms -- Haskell Report says that we here > -- should recognize parsing errors > -- but how we can do that in lexer? This rule only applies if there is a parse error on the next token (t). The report explains what this means in "Note 5". It does mean that layout processing can't be done entirely in the lexer, the parser has to be involved too. This is what makes parsing layout in Haskell hard. Take a look at some of the existing Haskell parsers to see how it can be done: there are two in GHC's source tree (one in GHC itself, another in libraries/haskell-src). Hugs's parser is written in C but uses similar techniques. nhc98's parser uses parsing combinators IIRC. Cheers, Simon

2 1

Re: Haskell Employers
by David Barton 27 May '03

27 May '03

Ashley Yakeley writes: > So are there companies that pay people to write in Haskell, or indeed in > any functional language? I do know of Galois Connections in Oregon; are > there others? > > As a Haskell developer looking for a job, this would certainly be useful > information... I can't say we are using Haskell (well, we have for a small thing or two, but not enough to justify hiring someone for it). However, I think that the use of higher level languages in general are increasing. We'll be looking for someone soon to develop, not only in C++ or Java, but also in a new systems design language called Rosetta (http://www.sldl.org) I predict that the use of such languages will increase in the next few years --- slowly at first, then faster --- particularly in the systems and hardware design arenas, even more than in software. Dave Barton EDAptive Computing

1 0

Happy
by Pablo Dejuan 27 May '03

27 May '03

Hi. I've just started using haskell and I've some problems with the generated file of happy, the example.hs. When I try to load it, It complains that isAlpha, isDigit and isSpace are variables not in scope. This means I should import a particular module to do so? TIA

2 1

failure notice
by MAILER-DAEMON＠foshan.net 27 May '03

27 May '03

Hi. This is the qmail-send program at foshan.net. I'm afraid I wasn't able to deliver your message to the following addresses. This is a permanent error; I've given up. Sorry it didn't work out. <hauj(a)foshan.net>: Sorry, no mailbox here by that name. vpopmail (#5.1.1) --- Below this line is a copy of the message. Return-Path: <haskell-cafe(a)haskell.org> Received: (ctmail 25865 invoked from network); 27 May 2003 09:57:10 -0000 Received: from unknown (HELO hauj) (218.13.218.251) by 0 with SMTP; 27 May 2003 09:57:10 -0000 From: "haskell-cafe" <haskell-cafe(a)haskell.org> Subject: =?GB2312?B?VE+jumhhdWpAZm9zaGFuLm5ldLvh1LHK1SE=?= 17:52:54:7 To: hauj(a)foshan.net Content-Type: text/html;charset="GB2312" Sender: haskell-cafe <haskell-cafe(a)haskell.org> Reply-To: wangxiao1999(a)163.com Date: Tue, 27 May 2003 17:52:54 +0800 X-Priority: 4 X-Mailer: Microsoft Outlook Express 5.50.4133.2400 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD> <META http-equiv=Content-Type content="text/html; charset=gb2312"> <META content="MSHTML 6.00.2462.0" name=GENERATOR></HEAD> <BODY>     ÄúºÃ£¡     CCTV-2£º·ÇµäŽÙœø¡¢ÉýÎÂÐÅÏ¢»¯£¬µç×ÓÉÌÎñÐÎÊÆŽóºÃ£¬ÄúžÐÊÜÏ²ÔÃÁËÂð£¿     ÔÚÖøÃûÉÌÃ³ÍøÕŸÖÐÇáËÉÑ°ÕÒÂò·œÓëÂô·œµÄÁªÏµ·œÊœ£š¹«ËŸ¡¢µç»°¡¢Ž«Õæ¡¢ÁªÏµÈË¡¢ÓÊŒþ¡¢µØÖ·µÈ£©£¬²¢ÓëÎŽÀŽ¿Í»§È¡µÃÁªÏµ£¬ÊÇ×îÓÐÐ§¡¢×î¿ìœÝ¡¢×îµÍ³É±ŸµÄÓªÏú·œ·š¡£     ÉÌÖÇµç×ÓÉÌÎñÈíŒþŸÍÄÜ°ïÄúÊµÏÖÍêÃÀ£¡Íš¹ý»¥ÁªÍøÀŽ»ñÈ¡ÒµÎñ¶©µ¥µÄµç×ÓÉÌÎñÓÅÐãÈíŒþ£¬ÄÜÊ¹ÄúÔ¶Àë·ÇµäÀ§ÈÅ£¬Íš¹ý»¥ÁªÍøÀŽÊµÏÖÓ¯Àû£¡     Ö»ÐèŒž·ÖÖÓ£¬ÉÌÖÇµç×ÓÉÌÎñÈíŒþ¿Éœ«ÄúµÄ²úÆ·»òÏîÄ¿ÐÅÏ¢ÔÚ1554ŒÒ¹©ÇóÐÅÏ¢ÆœÌš·¢²Œ¡¢2147ŒÒÍøÕŸÖÐËÑË÷ÄúÎŽÀŽµÄ¿Í»§¡£ÒÔ×îµÍµÄ³É±Ÿ¡¢ÓÃ×î¹ãµÄ×ÊÔŽ¡¢ŽŽ×îºÃµÄÐ§Òæ.ÈíŒþ×¢²áºÅ£ºÉîÛÚDGY-2002-0321     »¶ÓÏÂÔØÈíŒþÊÔÓÃ£¬Ãâ·ÑË÷È¡ÓÃ»§ÃûÓëÃÜÂë.³ÏÕ÷ºÏ×÷»ï°é¡£     ÇëÓÊŒþ»òÔÚÏßQQ:39398668 3203821 33669329  ÍõÐ¡œã Â¬ÏÈÉú</BODY></HTML> ÉÌÖÇµç×ÓÉÌÎñÈíŒþÉÌÎñ×ÉÑ¯

1 0

I am just starting out
by Andy Schmidt 27 May '03

27 May '03

Hi, my name is Andy Schmidt and I stumbled across this website as I started my quest for the best programming language. I am only in college and I am trying to learn as many languages as I can. I hope haskell will be the one I stick with. -Andy _________________________________________________________________ Help STOP SPAM with the new MSN 8 and get 2 months FREE* http://join.msn.com/?page=features/junkmail

11 16

Re:For All Educational Personnel
by epcinquire＠epcparts.com 27 May '03

27 May '03

For all Educational Personnel Re: 50% Off Electronic Parts Company is offering a limited supply of top of the line brand new Laptop and Desktop computers to all Educational personnel at 50% off MSRP. All Computers are brand-new packed in their original boxes and come with a full manufacturer's warranty plus ePC's 100% satisfaction guarantee. These computers are fully equipped with the latest 2003 technology to make these the best performing computers money can buy. ePC is offering these computers with the latest Intel technology at a remarkable price to those who call: 1.888.399.3744 by Wednesday May 28th, 2003 by 6 p.m. All desktops come with minimum:(Upgrades are available) * 1.3 Intel Processor * 128 MB SDRAM * 52x CD-ROM Drive * 20 GB UDMA Hard drive * Intel 3D Graphics * Sound Blaster 64v Sound * Floppy disk Drive * Keyboard, Speakers, Mouse * Motorola 56.6 V90 Fax Modem * Windows XP * Internet ready * Award winning tech support and customer service Retail..........$798.00 Your Cost............. $399.00 All laptops come with minimum:(Upgrades are available) * 1.0 GigaPro CPU, 512KB L2 cache * 128 MB SDRAM * CD-ROM * 10 GB UDMA Hard drive * Sound Card and Video Card * 14.1 XGA TFT Liquid Screen * Soft touch keyboard * 56.6 V90 Fax Modem * Windows XP * Internet ready * Bundled PC essentials software package * Award winning tech support and customer service Retail..........$1394.00 Your Cost............. $697.00 How to qualify 1. All computers will be available on a first-come first-served basis. 2. You must call 1.888.399.3744 by 6 P.M. Wednesday May 28th. and we will hold the computers you request on will call. 3. You are not obligated in any way 100% Satisfaction Guarantee. To take advantage of this offer please call 1.888.399.3744 To order online visit http://www.epcparts.com use promo code ENS4592

1 0

re: re: 你好
by 高明 26 May '03

26 May '03

1 0

Italian-crafted Rolex - only $65 - $140!! Free SHIPPING ! !
by james＠hello.com 26 May '03

26 May '03

1 0

monomorphism restriction
by John Meacham 24 May '03

24 May '03

Just a random thought, What would be the effect of lifting the monomorphism restriction under the condition that assignments which would normally be subject to the restriction must be memoized on the class constraint parameter by the implementation? it seems that this would solve the problems which inspired the monomorphism restriction since the value can be shared among all instantiations when the type is the same. I am posting this to haskell-cafe because it might just be half-baked. John -- --------------------------------------------------------------------------- John Meacham - California Institute of Technology, Alum. - john(a)foo.net ---------------------------------------------------------------------------

1 0

Shooting yourself in the foot, a contribution
by Alain Cremieux 23 May '03

23 May '03

Hi, If I may contribute to the language definitions (http://burks.brighton.ac.uk/burks/language/index.htm) concerning *Haskell* : You shoot yourself in the foot. The gun fires half an hour later (lazy evaluation), blows your hand instead of your foot (polymorphism), and leaves you in a state of total amnesia (memory leaks). Alain

8 8