- Haskell - Haskell.org

Say�n haskell ,
by abdyesilkart.com 13 Jun '02

13 Jun '02

1 0

Binary question
by alexey_rod 12 Jun '02

12 Jun '02

Hi! I am using the ghc compiler for my final project and i am having some problems. I need some amount of serialization for my project so i decided to use drift to generate binary instances. I downloaded a port of the binary class for ghc but i am afraid it is outdated and probably not working correctly. My first question would be if someone has a working version of binary for ghc 5.02.2. In the meantime i have a temporary version of binary but its performance is not what i would like. Let me paste some of it class Binary a where put :: WCarrier -> a -> IO () get :: RCarrier -> IO a data RCarrier = RCarrier {handle::Handle ,byte::IORef Integer ,remb::IORef Int ,temp::IORef Integer} getBits :: RCarrier -> Int -> IO Integer getBits c w = if w == 0 then do x <- readIORef . temp $ c writeIORef (temp c) 0 return x else do r <- readIORef . remb $ c n <- readIORef . byte $ c t <- readIORef . temp $ c if w <= r then do let n' = n `shiftL` w .&. 255 r' = r - w t' = t `shiftL` w + n `shiftR` (8 - w) writeIORef (remb c) $! r' writeIORef (byte c) $! n' writeIORef (temp c) 0 return t' else do let w' = w - r t' = t `shiftL` r + n `shiftR` (8 - r) b <- hGetChar . handle $ c writeIORef (byte c) $! (toInteger (ord b)) writeIORef (remb c) 8 writeIORef (temp c) $! t' getBits c w' data WCarrier = WCarrier {whandle::Handle ,wbyte::IORef Integer ,wremb::IORef Int} ones n = (bit n) - 1 putBits :: WCarrier -> Int -> Integer -> IO () putBits (WCarrier ch cb cr) w n = f w n where f w n = if w == 0 then return () else do b <- readIORef cb r <- readIORef cr if w < r then do let b' = b `shiftL` w + n r' = r - w writeIORef cb $! b' writeIORef cr $! r' else do let n' = ones w' .&. n b' = b `shiftL` r + (n `shiftR` w' .&. ones r) w' = w - r hPutChar ch $! (chr (fromInteger b')) writeIORef cb 0 writeIORef cr 8 n' `seq` b' `seq` f w' n' My second question is how to optimize this piece of code. I suppose that the main performance bottleneck is the use of hPutChar. I did some profiling but some guidance will be really helpful. Regards, Alexey ------------------------------------- Comparte e interactua con personas de tus mismos intereses en: http://www.comunidadesweb.com

2 1

TIP'02: Call for Participation
by Peter Thiemann 12 Jun '02

12 Jun '02

[ATTENTION: date changed!] Call for Participation Workshop on Types in Programming (TIP'02) Dagstuhl, Germany, July 8, 2002 Colocated with MPC'02 http://www.informatik.uni-freiburg.de/~thiemann/tip02/ Modern programming languages rely on type systems with static type checking to detect common errors at compile time. While the benefits of statically checked type systems have long been recognized, there are some areas where the type systems of modern programming languages are not expressive enough. Some interesting programs will always be rejected, despite their semantical soundness. There are several remedies to this situation, ranging from dependent types (where types may contain values) through intersection types to types with modalities. These systems are well-investigated from a theoretical point of view by logicians and type theorists. However, the impact of these developments on practical programming has been small, partly because they are trading simplicity against expressivity. The objective of the workshop is to make researchers in programming languages aware of new developments and research directions on the theory side while at the same time pointing out problems arising in practical uses to theorists. Technical topics include, but are not limited to: * Type systems in all variants: polymorphic, dependent, intersection, modal, linear. * Annotated type systems. * Low-level type systems. * Advanced uses and applications. Workshop Program: Monday, July 8, 2002 10:40 Welcome 10:45 Regular Expression Types for Strings in a Text Processing Language, Naoshi Tabuchi, Eijiro Sumii, and Akinori Yonezawa (University of Tokyo, Japan) 11:15 Syntactic Type Soundness for HM(X), Francois Pottier (INRIA Rocquencourt, France). Christian Skalka (Johns Hopkins University, USA) 11:45 Set Types and Applications, Christian Skalka and Scott Smith (Johns Hopkins University, USA) 12:15 Lunch 14:00 Break [Tour de France] 16:00 Rank 2 Types for Term Graph Rewriting, Steffen van Bakel (Imperial College, UK) 16:30 Using kinds to type partially-polymorphic methods, Daniel Bonniot (INRIA, France) 17:00 The Impact of Linearity Information on the Performance of TyCO, Francisco Martins (University of Azores, Portugal). Luis Lopes (University of Porto, Portugal). Vasco T. Vasconcelos (University of Lisbon, Portugal) 17:30 Compatibility Checking with Typed Autonomous Agents, Michael Zapf (Fraunhofer Gesellschaft, Germany) 18:00 Dinner Program Committee: Gilles Barthe, INRIA Sophia-Antipolis, France [co-chair] Jacques Garrigue, Kyoto University, Japan Eugenio Moggi, University of Genova, Italy Zhong Shao, Yale University, USA Peter Thiemann, Universität Freiburg, Germany [co-chair] Joe Wells, Heriot-Watt University, Edinburgh, Scotland

1 0

Re: ANNOUNCE: hIDE version 0.1346269
by Krasimir Angelov 12 Jun '02

12 Jun '02

Hello, Jonas Is there any chance to run the hIDE under Windows? __________________________________________________ Do You Yahoo!? Yahoo! - Official partner of 2002 FIFA World Cup http://fifaworldcup.yahoo.com

3 2

读邮件收支票
by None＠haskell.org 12 Jun '02

12 Jun '02

http://www.FastCashEmail.com/cgi-bin/signup.cgi?r=y47@sina.com ×¢²á·œ·š£º µã»÷ÉÏÃæµÄÁŽœÓ£¬ÔÚYour e_mail address:ÏÂÊäÈëÄãµÄµç×ÓÓÊÏä£¬°ŽContinueŒÌÐø ŽËºóÒ»·ÖÖÓÄãµÄÖž¶šÐÅÏäœ«ÊÕµœFastCashEmail.comµÄÈ·ÈÏÐÅ£¬ÔÚÐÅÖÐ°ŽÈ·¶šÁ¬œÓ£¬ŽËÊ±ÒªÊäÈëÄãµÄ ÈçÏÂµÄ žöÈËÐÅÏ¢£º£šÆäÖÐŽø¡°*¡±µÄÎª±ØÌîÏîÄ¿£©£º First ÄúµÄÃû×Ö LastÄúµÄÐÕ £šÐÕÃû±ØÐëÓÃÆŽÒô£¬²»ÄÜÓÃºº×Ö£© Addr 1 µØÖ·£šÇëÓÃÓ¢ÎÄ»òÆŽÒôÌîÐŽÕæÊµµÄµØÖ·£¬·ñÔòÊÕ²»µœÖ§Æ±£© CityËùÔÚ³ÇÊÐ State Ñ¡¡°Not in US or Canada¡± ZipÓÊÕþ±àÂë Country¹úŒÒ£šÑ¡China£© Emailµç×ÓÓÊŒþµØÖ·£š±ØÐë×ŒÈ·ÓÐÐ§£© Day Phoneµç»°ºÅÂë PasswordµÇÂŒÃÜÂë£šÇëŒÇÀÎ£¬ÒÔºó µÇÂŒ²éÕÊÊ±ÐèÕâžöÃÜÂë£© Gender / MaritalÐÔ±ðºÍ»éÒö×Ž¿ö Birthday³öÉúÔÂ/ÈÕ/Äê œÓÏÂÀŽÒªÄúÑ¡ÔñÄúËùžÐÐËÈ€µÄ¹ãžæÀà±ð£¬¹²130¶àÖÖ£¬×î¶à¿ÉÑ¡10ÖÖ¡£ Ëæ±ãÑ¡Âú10ÖÖ£¬ÒÔÔöŒÓ¹ãžæÁ¿¡£ ÌîÐŽºó£¬°Ž¡°Submit Info¡±°Ž Å¥ŸÍ×¢²áÍê±Ï¡£œÓÏÂÀŽŸÍµÈ×ÅÊÕEMAIL ºÍÃÀÔªÁË£¡žÏ¿ìÐÐ¶¯°É£¡

1 0

reverse function application
by Hal Daume III 12 Jun '02

12 Jun '02

i have a function: (*==) :: B -> (C -> IO a) -> IO a basically, it takes b, does something to it to make c, performs the action on c and returns the value. the Bs are basically Doubles, so we'll consider them as such for now. suppose I want to string together a bunch of these things...i can write: 5 *== \x -> 6 *== \y -> somefunctiononxandy x y but i'd really like to be able to write: 5 *== 6 *== somefunctiononxandy or, secondarily 5 *== (6 *== somefunctiononxandy) but i can't seem to get this to work and my brain is beginning to hurt. i suppose this is basically the same as wanting to write something like: action1 >>= action2 >>= somefunction instead of action1 >>= \x -> action2 >>= \y -> somefunction x y so if it can be done for >>=, i can make it to work. any advice? - 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

2 1

FM Radio Station
by Frank Bellamy 11 Jun '02

11 Jun '02

Hello Dawg; My name is Frankieb I own and operate Low Power (150-300 Watts) Pirate FM radio stations in Columbus & Yougstown..we play all uncut raw dog music...mostly Hip Hop. We have a very large and loyal listener base...some people say that we are famous and making history by what we do. Our Columbus Station is 96.7 fm in Youngstown we are at 107.7fm our broadcast dates & hours vary..however our listers are ALWAYS searching the dial for us because we are the SHIT!!!!!!!!!!!!!!!...Our Dj's are Frankieb & CoCo...plus about 10 other Dj's total..We are known as THE UNDERGROUND with Frankieb & CoCo...make some phone calls about us you will be pleased with your findings..Our Mailing Address is THE UNDERGROUND P.O. Box 6843 Columbus, OH 43205 (614) 275-1993 We would like to do Give-Aways to help you pump your stuff up. Keep in Touch!!!!!!!!!! Thanks, Frankieb _________________________________________________________________ Join the worlds largest e-mail service with MSN Hotmail. http://www.hotmail.com

1 0

FMCO: New Symposium on Objects and Components
by F.S.de.Boer＠cwi.nl 11 Jun '02

11 Jun '02

We apologize for the reception of multiple copies. **************************CALL FOR PARTICIPATION******************************* First International Symposium on FORMAL METHODS FOR OBJECTS AND COMPONENTS (FMCO 2002) http://fmco.liacs.nl/fmco02.html IMPORTANT DATES - The symposium will be held November 5-8, 2002. - Deadline for REGISTRATION is September 15, 2002 PLACE Leiden, The Netherlands INVITED SPEAKERS Tutorials Manfred Broy (Technical University of Munchen) Werner Damm (University of Oldenburg) David Harel (The Weizmann Institute of Science) Bertrand Meyer (ETH Zurich and ISE) Perdita Stevens (Edinburgh University) Clemens Szyperski (Microsoft Research) Jos Warmer (Klasse Objecten) Technical presentations Erika Abraham-Mumm (CAU) Farhad Arbab (CWI) David Garlan (Carnegie Mellon University) John Hatcliff (Kansas State University) Jozef Hooman (University of Nijmegen) Bart Jacobs (University of Nijmegen) Paul Klint (CWI) Leslie Lamport (Microsoft Research) Gary Leavens (Iowa State University) Rustan Leino (Microsoft Research) Ugo Montanari (Pisa University) Oscar Nierstrasz (University of Berne) Ernst-Ruediger Olderog (University of Oldenburg) Amir Pnueli (The Weizmann Institute of Science) Bernhard Rumpe (Technical University of Munchen) Emil Sekerinski (McMaster University) Kaisa Sere (Åbo University) Joseph Sifakis (Verimag) Martin Wirsing (Ludwig-Maximilians-Universität München) THEME Large and complex software systems provide the necessary infrastucture in all industries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are encapsulated into software units which are integrated into large systems by means of various techniques supporting reusability and modifiability. This encapsulation principle is essential to both the object-oriented and the more recent component-based sofware engineering paradigms. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modeling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. 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. The following issues related to modifiability and reusability in components and objects will be discussed by leading experts in the fields of Formal Methods and Software Engineering: - Specification - Verification - Validation - Modeling techniques - Architectures - Programming languages - Semantics - Type theory - Design methodology - Compositionality - Refinement - Theorem-proving - Model checking - Tools 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. Lectures are given by the invited speakers listed above. Participation is limited to about 80 people. The program consists of invited tutorials and more technical presentations, and contains an exquisite social event. Both tutorial and technical contributions will be published after the workshop in a proceedings of Lecture Notes in Computer Science by Springer-Verlag. ORGANISING COMMITTEE F.S. de Boer (CWI) M.M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.-P. de Roever (CAU) *****************************PARTICIPATION*********************************** For more information about participation and registration see the FMCO site http://www.liacs.nl/~marcello/FMCO/fmco02.html. For further information consult F.S. de Boer (frb(a)cwi.nl) or M.M. Bonsangue (marcello(a)liacs.nl)

1 0

ANNOUNCE: hIDE version 0.1346269
by Jonas Svensson 11 Jun '02

11 Jun '02

Hello everybody, I'd like to announce hIDE version 0.1346269. hIDE is a GUI-based Haskell IDE written using gtk+hs. It does not include an editor but instead interfaces with NEdit, vim or GNU emacs. Some of the features: * Module tree * Basic CVS support * Extraction of TODO style comments from code * Creation of callgraphs (if graphviz is installed) * Find where a function is used * Find functions and modules by name and type See: http://www.dtek.chalmers.se/~d99josve/hide for screenshots, documentation, source code and binaries for linux and solaris. Please send suggestions, comments and questions to d99josve(a)dtek.chalmers.se Cheers, //Jonas -- %http://www.dtek.chalmers.se/~d99josve/ - d99josve(a)dtek.chalmers.se

1 0

ADV: Stop Smoking in 7 Days Guaranteed
by stopsmoking＠nic-o-quit.com 10 Jun '02

10 Jun '02

1 0