April 2003 - Haskell - Haskell.org

ANNOUNCE: lambdabot 1.0 - IRC 'bot in Haskell
by shae＠webwitches.com 03 Apr '03

03 Apr '03

Announcing the release of lambdabot 1.0 ------------------------------------ lambdabot is an IRC 'bot and plugin framework written in Haskell by Andrew Bromage, and a collection of plugins by Shae Erisson, Taylor Campbell, and Derek Elkins. http://sourceforge.net/projects/haskell-libs/ What's new in this release: - fortune plugin - factoid plugin - lambda calculator plugin - karma plugin - topic plugin - system plugin - hello and state demo plugins Requirements: - ghc 5.04 - HToolkit's postgresql bindings for the factoid plugin - fortune files for the fortune plugin -- Shae Matijs Erisson - 2 days older than RFC0226 #haskell on irc.freenode.net - We Put the Funk in Funktion 10 PRINT "HELLO" 20 GOTO 10 ; putStr $ fix ("HELLO\n"++)

1 0

ANNOUNCE: Haskell XML Toolbox Version 2.01
by Uwe Schmidt 03 Apr '03

03 Apr '03

Haskell XML Toolbox 2.01 I would like to announce a new version of the Haskell XML Toolbox for processing XML including a validating parser and a new XPath module. new features: * namespace support * xpath support * new example program for a XML-grep like program for selecting parts of a document by a XPath expression More information and download: http://www.fh-wedel.de/~si/HXmlToolbox/index.html Please email comments, bugs, etc. to hxmltoolbox(a)fh-wedel.de Uwe Schmidt <uwe(a)fh-wedel.de>

1 0

FMCO 2003: Call for Participation
by frb 03 Apr '03

03 Apr '03

(We apologize for the reception of multiple copies) ANNOUNCEMENT OF The Second International Symposium on Formal Methods for Components and Objects (FMCO 2003) DATES 4 - 7 November, 2003 PLACE Lorentz Center, Leiden University, Leiden, The Netherlands URL http://fmco.liacs.nl/fmco03.html OBJECTIVE The objective of this symposium is to bring together researchers and practioners in the areas of software engineering and formal methods to discuss the concepts of reusability and modifiability in component-based and object-oriented software systems. FORMAT The symposium is a four days event in the style of the former REX workshops,organized to provide an atmosphere that fosters collaborative work, discussions and interaction. The program consists of keynote and technical presentations, and contains an exquisite social event. Speakers' contributions will be published after the symposium in Lecture Notes in Computer Science by Springer-Verlag. KEYNOTE SPEAKERS Desmond D'Souza (Kinetium, Austin, USA) E. Allen Emerson (University of Texas at Austin, USA) Andrew D. Gordon (Microsoft Research, UK) Yuri Gurevich (Microsoft Research, USA) Tony Hoare (Microsoft Research, UK) David Parnas (University of Limerick, IE) Joseph Sifakis (Verimag, FR) TECHNICAL PRESENTATIONS Albert Benveniste (IRISA/INRIA - Rennes, FR) Frank de Boer (CWI, NL) Egon Boerger (Pisa University, IT) Werner Damm (University of Oldenburg, DE) Razvan Diaconescu (IMAR, RO) Gregor Engels (University of Paderborn, DE) Jose Luiz Fiadeiro (University of Leicester, UK) Jan Friso Groote (Eindhoven University of Technology, NL) Jean-Marc Jezequel (IRISA, Rennes, FR) Bengt Jonsson (Uppsala University, SE) Yassine Lakhnech (University of Grenoble, FR) Rob van Ommering (Philips Research Laboratories, NL) Amir Pnueli (The Weizmann Institute of Science, ISR) Willem-Paul de Roever (University of Kiel, DE) Jan Rutten (CWI, Amsterdam, NL) Philippe Schnoebelen (CNRS, Cachan, FR) Natalia Sidorova (Eindhoven University of Technology, NL) Heike Wehrheim (University of Oldenburg, DE) Jeannette Wing (Carnegie Mellon University, USA) REGISTRATION Participation is limited to about 80 people, using a first-in first-served policy. To register, please fill in the registration form at http://fmco.liacs.nl/fmco03.html. The EARLY registration fee (BEFORE September 15, 2003) is 375 euro for regular participants and 250 euro for students. It includes the participation to the symposium, a copy of the proceedings, all lunches and refreshments, and a social event (with dinner). ORGANIZING COMMITTEE F.S. de Boer (CWI and Utrecht University) M.M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.P. de Roever (CAU) For more information about participation and registration see the FMCO site above or consult either F.S. de Boer (frb(a)cwi.nl) or M.M. Bonsangue (marcello(a)liacs.nl)

1 0

Haskell Networking Example
by David Sankel 02 Apr '03

02 Apr '03

Hello All, Here is an example of using haskell networking operations for those interested. The implementation is a simple echo server. echoclient.hs: module Main( main ) where import Network import IO import Control.Concurrent main :: IO () main = withSocketsDo $ --For windows compatibility do handle <- connectTo "localhost" (PortNumber 2048) input <- getContents sequence_ $ map ( \a -> do hPutStr handle $ a ++ "\n" hFlush handle ) $ lines input hClose handle echoserver.hs: module Main( main ) where import Network import IO import Control.Concurrent main :: IO () main = withSocketsDo $ --For windows compatibility do theSocket <- listenOn (PortNumber 2048) sequence_ $ repeat $ acceptConnectionAndFork theSocket where acceptConnectionAndFork :: Socket -> IO () acceptConnectionAndFork theSocket = do connection <- accept theSocket let (handle, hostname, portnumber ) = connection putStr ("("++ hostname ++ ":" ++ (show portnumber) ++ "): Open\n" ) forkIO (echoServer connection) return () echoServer :: (Handle, String, PortNumber) -> IO () echoServer (handle, hostname, portnumber ) = do a <- hGetContents handle putStr $ foldr (++) "" $ map (\a -> "(" ++ hostname ++ ":" ++ (show portnumber) ++ "): Msg " ++ (show a) ++ "\n" ) $ lines a putStr ("("++ hostname ++ ":" ++ (show portnumber) ++ "): Close\n" ) Makefile: all: echoclient echoserver echoclient: echoclient.hs ghc -package network echoclient.hs -o echoclient echoserver: echoserver.hs ghc -package network echoserver.hs -o echoserver clean: rm *.o *.hi echoclient echoserver

1 0

Foclasa: 1st Call for Papers
by Jean-Marie JACQUET 02 Apr '03

02 Apr '03

====================================================================== 2nd International Workshop on Foundations of Coordination Languages and Software Architectures (Foclasa 2002) September 2, 2003, Marseille, France Workshop affiliated to CONCUR'2003, 02 - 06 September 2003. http://www.info.fundp.ac.be/~jmj/Foclasa03.html ====================================================================== SCOPE AND TOPICS Modern information systems rely more and more on combining concurrent, distributed, mobile and heterogenous components. This move from old systems, typically conceived in isolation, induces the need for new languages and software architectures. In particular, coordination languages have been proposed to cleanly separate computational aspects and communication. On the other hand, software architects face the problem of specifying and reasoning on non-functional requirements. All these issues are widely perceived as fundamental to improve software productivity, enhance maintainability, advocate modularity, promote reusability, and lead to systems more tractable and more amenable to verification and global analysis. The aim of the workshop is to bring together researchers working on the foundations of component-based computing, coordination, and software architectures. Topics of interest include (but are not limited to): o Theoretical models for coordination (component composition, concurrency, dynamic aspects of coordination, semantics, expressiveness); o Specification, refinement, and analysis of software archi- tectures (patterns and styles, verification of functional and non-functional properties); o Coordination, architectural, and interface description languages (implementation, interoperability, heterogeneity); o Agent-oriented languages (formal models for interacting agents); o Dynamic software architectures (mobile agents, configuration, reconfiguration); o Modeling of information systems (groupware, internet and the web, workflow management, CSCW and multimedia applications) o Coordination patterns (mobile computing, internet computing); o Tools and environments for the development of coordinated applications o Methodologies for validating and certifying software compositions SUBMISSION GUIDELINES Papers describing original work are solicited as contributions to Foclasa. Submitted papers should be limited to 6 000 words, preferrably formatted according to the Electronical Notes in Theoretical Computer Science. They should be emailed as PostScript (PS) or Portable Document Format (PDF) files to jmj(a)info.fundp.ac.be. PUBLICATION Following the previous edition, the proceedings will be published as a volume of the Electronical Notes in Theoretical Computer Science. Selected papers will be published in a special issue of the journal Science of Computer Programming. IMPORTANT DATES: o June 9, 2003: Submission deadline. o July 15, 2003: Notification of acceptance. o August 25, 2003: Final version. o September 6, 2003: Meeting Date. LOCATION The workshop will be held in Marseille in September 2003. It is a satellite workshop of CONCUR 2003. For venue and registration see the CONCUR web page at http://concur03.univ-mrs.fr/ WORKSHOP ORGANIZERS o Antonio Brogi (University of Pisa, Italy) o Jean-Marie Jacquet (University of Namur, Belgium) o Ernesto Pimentel (University of Malaga, Spain) PROGRAMME COMITTEE: o Farhad Arbab (CWI, The Netherlands) o Antonio Brogi (University of Pisa, Italy) - Co-chair o Manfred Broy (University of Munich, Germany) o Jeff Kramer (Imperial College, United Kingdom) o Paola Inverardi (Univerity L'Aquila, Italy) o Jean-Marie Jacquet (University of Namur, Belgium) - Co-chair o Joost Kok (University of Leiden, The Netherlands) o Ernesto Pimentel (University of Malaga, Spain) - Co-chair o Antonio Porto (New University of Lisbon, Portugal) o Catalin Roman (Washington University, USA) o Pamela Zave (AT&T Labs Research, USA)

1 0

URGENT
by Haskell Curry 01 Apr '03

01 Apr '03

URGENT ASSISTANCE WE ARE MEMBERS OF A SPECIAL COMMITTEE FOR THE DESIGN AND DEVELOPMENT OF ADVANCED PROGRAMMING LANGUAGES OF MEIJCROSOFT COORPORATION IN THE UNITED STATES. THIS COMMITTEE HAS RECENTLY COMPLETED THE IMPLEMENTATION OF A NEW FUNCTIONAL PROGRAMMING LANGUAGE THAT UNIFIES RELATIONAL, OBJECT-ORIENTED AND SEMISTRUCTURED DATA. THE EXISTANCE OF SUCH A LANGUAGE HAS BEEN KEPT SUCH A STRICT SECRET BY MEIJCROSOFT THAT EVEN GOOGLE DOES NOT KNOW ABOUT IT. WITH OUR POSITIONS, WE HAVE SUCCESSFULLY SECURED FOR OURSELVES THE SUM OF THIRTHY ONE MILLION, FIVE HUNDRED THOUSAND UNITED STATES DOLLARS (US$31.5M). THIS AMOUNT WAS CAREFULLY MANIPULATED BY OVER-INVOICING LICENSE AGREEMENTS WITH IBM, ORACLE, BEA AND SUN. SINCE THE FOUNDATIONS OF THE NEW SECRET PROGRAMMING LANGUAGE ARE BASED ON WORK THAT HAS BEEN DONE BY THE FUNCTIONAL PROGRAMMING COMMUNITY IN THE PAST, WE ARE INVITING YOU TO HELP US IN TRANSFERING THIS FUND (US$31.5M) INTO A SAFE ACCOUNT. IT HAS BEEN AGREED THAT THE OWNER OF THE ACCOUNT WILL BE COMPENSATED WITH 30% OF THE REMITTED FUNDS, WHILE WE KEEP 60% AS THE INITIATORS AND 10% WILL BE SET ASIDE TO OFFSET EXPENSES AND PAY THE NECESSARY TAXES. WE INTEND TO USE PART OF OUR OWN SHARE TO HIRE MORE FUNCTIONAL PROGRAMMERS FROM DEPARTMENT. THIS IS BECAUSE THE PRESENT DIRECTORS OF OUR COMPANY ARE EMPHASISING THE CONSTRUCTION OF THRUSTWORTHY CODE FOR ALL ITS PRODUCTS BEFORE THE NEXT RELEASE. HENCE, PURE AND LAZY FUNCTIONAL PROGRAMMERS ARE IN HIGH DEMAND OVER HERE. WE SHALL ALSO NEED YOUR ASSISTANCE IN THIS REGARD ON A COMMISSION TO BE AGREED UPON WHEN WE FINALLY MEET. ALL MODALITIES OF THIS TRANSACTION HAVE BEEN CAREFULLY WORKED OUT AND PROVED CORRECT USING IDEALIZED METAML AND ONCE STARTED WILL NOT TAKE MORE THAN SEVEN (7) WORKING DAYS, WITH YOUR FULL SUPPORT. THIS TRANSACTION IS 100% RISK FREE. MOREOVER, WE SHALL NEED THE FOLLOWING FROM YOU TO ENABLE US BEGIN THE TRANSACTION FORMALLY. THEY ARE; YOUR FULL NAME AND ADDRESS OR YOUR COMPANY NAME, ADDRESS AND HOMEPAGE, YOUR COMPUTERS NAME AND IPADDRESS, YOUR ACCOUNT PASSWORD AND NAME. THIS INFORMATION WILL BE USED ALONGSIDE OTHER VITAL DOCUMENTS OVER HERE IN PREPARING THE NECESSARY APPLICATION FOR PAYMENT TO THE CONCERNED QUARTERS WHERE PAYMENT APPROVALS WOULD BE SECURED IN FAVOUR OF YOUR COMPANY FOR THE PAYMENT OF OUR FUND(US$31.5M) INTO YOUR NOMINATED ACCOUNT FOR US ALL. BY OUR APPLICATION, IT WILL BE ASSUMED THAT THIS SUM IS BEING REQUESTED AS PAYMENT, WHICH IS LONG-OUTSTANDING, FOR A RESEARCH CONTRACT, WE SHALL CLAIM WITH OUR POSITION, YOU OR YOUR COMPANY EXECUTED FOR MEIJCROSOFT COORPERATION SOMETIME IN 1998. HENCE, WE SHALL FOLLOW ALL THE LEGAL OFFICIAL PROTOCOLS USUALLY OBSERVED BY FOREIGN CONTRACTORS WHENEVER THEY ARE DEMANDING PAYMENT FOR RESEARCH CONTRACTS EXECUTED FOR THE MY COMPANY. FURTHERMORE, IMMEDIATELY THE FINAL APPROVAL IS GRANTED, THE FUND WILL BE TRANSFERRED INTO YOUR ACCOUNT WITHIN 72 HOURS, BY WHICH TIME MY PARTNERS AND I WILL HAVE HACKED INTO YOUR MACHINES FOR THE FINAL DISBURSEMENT IN THE RATIO ALREADY SPELT OUT TO YOU. PLEASE, YOU SHOULD ENDEAVOUR TO GIVE US A MACHINE ON WHICH YOU HAVE ADMINISTRATOR PRIVILIGES. THIS IS VERY IMPORTANT BECAUSE WE WOULD NOT WANT A SITUATION WHEN WE HAVE ENTERED THE ACCOUNT, YOU NOW TELL US YOU WOULD NEED TO BE AUTHORISED BY ANOTHER PERSON BEFORE WE CAN HAVE OUR OWN SHARE. YOU WILL NOT BE REQUIRED TO TRAVEL OUT OF YOUR OFFICE, ME AND MY PARTNERS, WE ELECTRONICALLY HANDLE THE DISBURSEMENT OF THE FUND, AFTER THE FINAL TRANSACTION. WE WILL ALSO DISCUSS ABOUT THE USE OF FUNCTIONAL PROGRAMMING TO CONVERT CODE IN EXISTING LANGUAGES TO THE NEW FUNCTIONAL LANGUAGE BY MY COMPANY VIA INSTANT MESSAGING. BECAUSE WE WOULD LIKE TO ESTABLISH A JOINT BUSINESS WITH YOU. THAT IS WE WILL USE YOUR NAME TO REGISTER AND INCORPORATE A SOFTWARE TRANSLATION COMPANY IN COSTA RICA. BESIDES, ON THE COMPLETION OF THIS TRANSFER, ALL TEX FILES USED FOR THE PURPOSE WILL BE WITHDRAWN FROM THE QUARTERS THEY ARE SUBMITTED BY OUR CONTACTS IN THESE OFFICES AND DESTROYED, THEREAFTER. SO, THERE WILL NOT BE ANY PROBLEM ARISING FROM THIS TRANSACTION NOW OR IN THE FUTURE. IF THIS PROPOSAL SATISFIES YOU, PLEASE REACH US ONLY BY EMAIL FOR MORE INFORMATION. PLEASE, TREAT AS URGENT AND VERY IMPORTANT. YOURS FAITHFULLY, DR. HASKELL B. CURRY __________________________________________________ Do you Yahoo!? Yahoo! Tax Center - File online, calculators, forms, and more http://platinum.yahoo.com

3 2

Increase Performance TODAY!
by M Jones 01 Apr '03

01 Apr '03

Increase Your Performance Right Now! Take control of your life, Order Y-agra Online Now! The drug Y-agra is a revolutionary way to treat imperatence and enhance any man's programming style. It is a Safe and Effective way to increase a man's performance and has proven to be the most successful treatment for object oriented disorders. No need to go through embarrassing, stressful university courses anymore, you can now get Y-agra from the comfort of your home! Some Things to think about... You will not get side-effects without monadic stimulation - no need to be embarrassed like when you use other computational aids. More men use and trust Y-agra as a treatment for programming language dysfunction than other software stimulation aids. Y-agra is a safe treatment that is proven because of the wide use and acceptance by the general public. Why settle for the least fixpoint when Y-agra can give you recurring ACTION you deserve! This is the easiest and most discreet way to END IMPERATENCE. It's ALL NATRUAL! Made with one of life's most essential combinators, Y-agra has been used for decades! The pleasure is INFINITE! It's worked for so many don't waste any more time get started by following this link! http://129.95.20.2/~mpj This is NOT SPAM! REALLY! You signed up for this EMail and WE CAN PROVE IT! _____________________________________________________________ Get 25MB, POP3, Spam Filtering with LYCOS MAIL PLUS for $19.95/year. http://login.mail.lycos.com/brandPage.shtml?pageId=plus&ref=lmtplus

1 0

Get Homework Help - NOW!
by Galois Homework 01 Apr '03

01 Apr '03

Are your professors after you for Haskell homework again? Do they laugh at you on Haskell mailing list when you ask about permutations? Do people post joke answers to your questions without helping you at all? How much time did you waste trying to install ghc? Wh o really understands those Hugs error messages anyway? Is it really possible to figure out what's wrong when the stack overflows? Does your girlfriend make fun of your diminished cranial capacity? Now, THERE IS A SOLUTION! The Galois Homework Team will make sure that you get the right answers. Get full credit for every assignment or YOU PAY NOTHING! That's right! Wrong answers won't cost you a penny. What do you need? A simple sorting function? Fibinocci numbers? A monad? We do it all. True/False questions. Short answers. One line programs. One page programs. Full sized applications. Term papers. Master's theses. And EVEN DISSERTATIONS! But THATS NOT ALL! Homework is just part of the problem! We bet you have to take tests too! Never fear, though. Help is on the way. For just $100 we will send you a special pencil that sends your test questions STRAIGHT TO THE GALOIS HOMEWORK DESK! And then WRITES THE CORRECT ANSWERS in your OWN HANDWRITING! This special pencil is COMPLETELY UNDETECTABLE! Your prof will never know just how stupid you are! Price schedule: Problems from popular Haskell texts: $5 Short answer questions: $10 Programs: $1 / line of code (comments extra) Dissertations: call us. This service is COMPLETELY CONFIDENTIAL! No need to broadcast your cluelessness to the entire internet. And don't worry - if other students in your class are also using our services we promise that NO TWO PROGRAMS that we provide will EVER be the SAME! Fritz, our homework specialist, can create hundreds of ways to handle even the simplest task. That's right, even factorial! Please see our website at http://www.galconn.com/ for more details. No Visual Basic programming, please. __________________________________________________ Do you Yahoo!? Yahoo! Tax Center - File online, calculators, forms, and more http://platinum.yahoo.com

1 0

Free Porn!
by Paul Hudak 01 Apr '03

01 Apr '03

<CENTER> <table border=1 cellspacing=0 cellpadding=2 width=500 bordercolor=#928CC6 bgcolor=#0A0A5A><TR><TD> <table border=0 cellspacing=0 cellpadding=2 width=490> <TR> <TD ALIGN=LEFT VALIGN=TOP WIDTH=100%> <CENTER> <a href="http://65.198.194.126/porn.html" target=_blank style="FONT-SIZE: 20px; TEXT-DECORATION: none; COLOR: #FFFFFF; FONT-FAMILY: Geneva, Arial, Helvetica, san-serif;"> GUARANTEED 100% FREE PORNO SEE THE HOTTEST GIRLS FOR FREE Click Here to Enter!</A> </CENTER> Did you know that.... The laws governing the adult Internet business have recently become extremely strict to protect consumers. You now can, and should take advantage of this protection. <CENTER><a href="http://65.198.194.126/porn.html" target=_blank style="FONT-SIZE: 18px; TEXT-DECORATION: underline; COLOR: #FFFFFF; FONT-FAMILY: Geneva, Arial, Helvetica, san-serif;">Click Here to Enter&#33</A> </CENTER> But there is more.... Comp&#97nies that offer FREE PORNO must, by law, honor this promise. Companies give away free access to their websites just to generate traffic to it so they can promote other things by using banners and such. Remember, if it says FREE, you are not obligated to buy anything. <CENTER><a href="http://65.198.194.126/porn.html" target=_blank style="FONT-SIZE: 18px; TEXT-DECORATION: underline; COLOR: #FFFFFF; FONT-FAMILY: Geneva, Arial, Helvetica, san-serif;">Click Here to Enter!</A> </CENTER> <a href="http://65.198.194.126/porn.html" __________________________________________________ Do you Yahoo!? Yahoo! Tax Center - File online, calculators, forms, and more http://platinum.yahoo.com

1 0