September 2007 - Haskell-Cafe

Hawiki articles
by Henning Thielemann 04 Sep '07

04 Sep '07

In the current Haskell Wiki (haskell.org/haskellwiki) I found references to articles of the old Hawiki (haskell.org/hawiki) like OnceAndOnlyOnce and SeparationOfConcerns. Are the files still available somewhere?

7 14

Haskell as an extension language
by Yuri D'Elia 04 Sep '07

04 Sep '07

Hello everyone; I've been using haskell for quite some time now, but, as usual, I still find myself resorting to c code too much often due to the performance penalty introduced. FFI is all nice and dandy, yet, the need to compile the code and separate the implementation in two is a mayor development issue I'd like to eliminate along with batch compilation. In the way I like to work, I only use the interpreter (I mainly started with this approach with ocaml); just program interactively; close the whole session and pretend to resume the work next time I reopen the interpreter. Unfortunately, the interpreted performance is, many times, not sufficient for my purposes. In the past I've been coding several programs that would allow the user to extend the functionality at runtime through real c code. The "host" program itself could start an internal editor that accepted c code. The code would then be sent to the system compiler, generating a dynamic object that would be loaded in the current program (and executed) immediately. With some voodoo usage of "unexelf", I could create a simple runtime environment with very good performance (except for the initial compilation delay), interactivity and persistence, but, as you might expect, almost no resilience to errors and difficult debugging issues. I would like to resume this idea. Programming the core (minimal) application in c and then adding an extension mechanism always led to better and faster programs in my experience than trying to use directly an higher-level language and (ab)use the various forms of FFI. UI latency was one of the primary reasons in many cases. The amount of c code needed was always lower too, in the end, as the code was extended beyond the original minimal requirements. The extensions, being wrapped around the core data structures, tended to be more specialized and concise than general all-purpose libraries. Has anyone experienced similar situations? Is there some documentation about integrating an haskell interpreter in host programs that would allow session persistence and some minimal form of debugging? Which interpreter works better in this context? Thanks

5 8

Re: [Haskell-cafe] GHC 6.6.1 and SELinux issues
by Alexander Vodomerov 04 Sep '07

04 Sep '07

On Tue, Aug 28, 2007 at 08:53:05PM -0600, Stuart Jansen wrote: > On Wed, 2007-08-29 at 00:59 +0400, Alexander Vodomerov wrote: > > In what domain do you run GHC? > > Sorry about that, should've dug deeper. And here we have the difference: > > $ ls -Z /usr/lib/ghc-6.6.1/ghc-6.6.1 > -rwxr-xr-x root root > system_u:object_r:unconfined_execmem_exec_t /usr/lib/ghc-6.6.1/ghc-6.6.1 This explains that GHC works fine. unconfined_execmem_exec_t gives permission to map memory with PROT_EXEC and PROT_WRITE simultaneously. I've put GHC in unconfined_execmem_t and it started to work fine. But the problem is not in GHC -- it is in programs compiled by GHC. They also require exec/write memory. Only root can grant unconfined_execmem privileges, so simple user can not run binaries compiled by GHC. How do you solve this problem? Does Fedora GHC package has any additional patches? With best regards, Alexander.

6 8

ANN: HPDF 1.0
by alpheccar 04 Sep '07

04 Sep '07

I am pleased to release the version 1.0 of my PDF library that you can find on hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HPDF-1.0 This email is mainly an opportunity for me to thanks apfelmus who, a very very long time ago when I released HPDF for the first time, gave me very good advices. When you're new to a language, that kind of help from the community is always very appreciated. Christophe.

1 0

Closures and pointfree functions
by Lars Oppermann 04 Sep '07

04 Sep '07

Dear all, In the Haskell Wiki at http://www.haskell.org/haskellwiki/Closure there is an example for a function returning a closure given as f x = (\y -> x + y) Another way to achieve the same effect would be to write f' x = (+) x which to me as a beginner looks somewhat like pointfree style. Would f' be considered to return a closure? Bests, Lars

2 3

Update on monad subexpressions
by Chris Smith 04 Sep '07

04 Sep '07

I know a lot of you are very interested in my planned work on implementing monad subexpressions -- that is, (<- f) notation -- in the GHC compiler. Unfortunately, it's becoming clear that I'm not going to get to it any time soon. Between having a full time job, being a full time student, applying to graduate schools, and some volunteer work that I'm not willing to give up, I simply have no remaining time, and won't until about December or later. If someone else wants to pick up this project, please go for it. Otherwise, I'll get to it when I do. Sorry! -- Chris Smith

1 0

Closures in Haskell and closures in set theory
by Peter Verswyvelen 04 Sep '07

04 Sep '07

If I'm not mistaken, in set theory, a closure of R with respect to some property P is the smallest superset R* that has the property P. To me, intuitively, a closure C in programming languages is a function that has bindings to variables declared in "parent" functions; so the inner function can not exist on its own, it needs a "parent environment". This seems to be related to set theory if we define R as the set of parameters of C, and R* as this set extended with the "parent variables" to which C binds, and P as the property "C can be evaluated". Does this make any sense at all?

1 0

gtk library installation from ubuntu repository
by Vikrant 04 Sep '07

04 Sep '07

Hi, I am using ubuntu 7.04. If I try to install libghc6-gtk-dev package using apt-get (or aptitude) my installation hangs at following stage building GHCi library /usr/lib/haskell-packages/ghc6/lib/gtk- 0.9.10.5/HSgtk.o... it doesn;t move later and machine just slogs! Then I have no other way than killing the process which in turn does not allow me install anything later. In last three days I have installed ubuntu with haskell on three different machines and it seems I have always got this problem whenever I tried to install libghc6-soegtk-dev. does anybody know that the package @ ubuntu repository is faulty or something wrong here? any fix to this problem! (probably I should put this on ubuntu users list... but putting mail here because if it is problem with libghc6-soegtk-dev, then somebody from you must have experienced it!) Thanks N Regards, VIkrant

4 3

Definition of the Haskell standard library
by Chris Smith 03 Sep '07

03 Sep '07

Can someone clarify what's going on with the standard library in Haskell? As of right now, I can download, say, GHC from haskell.org/ghc and get a set of libraries with it. I can visit http://haskell.org/ghc/docs/latest/html/libraries/, linked from the haskell.org home page, and see descriptions of all of those libraries. I can build with --make (or if I'm feeling masochistic, add several lines of -package options) and it works. That's all great. I've seen some stuff lately on -libraries and this list indicating that there's an effort to change this. People asking whether something should be included in the standard library are being told that there is no standard library really. I'm hearing that the only distinction that matters is "used by GHC" or "not used by GHC", and that being on hackage is as official as it gets. Am I misunderstanding? Is there something awesome about Hackage that I'm not seeing? I hope one of those two is the case. Otherwise, there's a serious mistake being made here. Having a web site where people can download any of hundreds of independent libraries is not the same thing as having a good standard library for the language. I don't want to see the day when setting up Haskell involves a day-long effort of figuring out what libraries to download and install from Hackage, and in what order to do it to satisfy all the dependencies, and new Haskellers poring over web sites for the thousandth time before realizing that so-and-so's GUI library hasn't actually been touched since they finished their class project in 1998 and doesn't build with the latest version of Qt or whatever. -- Chris Smith

17 32

APLAS07 - Call for Participation
by Shin-Cheng Mu 03 Sep '07

03 Sep '07

Call for Participation The Fifth Asian Symposium on Programming Languages and Systems November 29 - December 1, 2007 Singapore http://www.comp.nus.edu.sg/~aplas07/ http://flint.cs.yale.edu/aplas2007/ Scope of the Conference ----------------------- APLAS aims at stimulating programming language research by providing a forum for the presentation of recent results and the exchange of ideas and experience in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming languages community. The APLAS series is sponsored by the Asian Association for Foundation of Software (AAFS), which has recently been founded by Asian researchers in cooperation with many researchers from Europe and the USA. The past formal APLAS symposiums were successfully held in Sydney (2006, Australia), Tsukuba (2005, Japan), Taipei (2004, Taiwan) and Beijing (2003, China) after three informal workshops held in Shanghai (2002, China), Daejeon (2001, Korea) and Singapore (2000). Proceedings of the past symposiums were published in Springer-Verlag's LNCS 2895, 3302, 3780, and 4279. Conference Location ------------------- APLAS'07 will be held at Kent Ridge Guild House, National University of Singapore. Singapore is a dynamic city rich in contrast and color where you'll find a harmonious blend of culture, cuisine, arts and architecture. A bridge between the East and the West for centuries, Singapore, located in the heart of fascinating Southeast Asia, continues to embrace tradition and modernity today. Brimming with unbridled energy and bursting with exciting events, the city offers countless unique, memorable experiences waiting to be discovered. Registration ------------ The early registration deadline is set on 28Sept07. The registration fees will cover conference proceeding, banquet dinner, and lunches/teas. Deadline Full Fees Student Fees early 28Sep07 S$600 S$400 online 23Nov07 S$650 S$425 on-site 29Nov07 S$700 S$450 Payment can be made with credit cards. Exchange rate (subject to fluctuation) is approx. US$1 = S$1.53 Online registration can be made at: http://www.comp.nus.edu.sg/~aplas07/local.html#registration Accommodation ------------- A special rate S$155 per nite (excluding taxes but inclusive of daily breakfast) is applicable to attendees of APLAS 2007 at Rendezvous Hotel Singapore: http://www.rendezvoushotels.com/singapore/ The hotel is located in city center. A free daily shuttle bus will be provided between this hotel and the conference site (at NUS) during the conference period. Our block of rooms is guaranteed till 28Sept07, so advanced booking is encouraged as some rooms may be released after this date. For reservation, please use a special form that can be found at: http://www.comp.nus.edu.sg/~aplas07/Hotel.APLAS07.pdf We have also reserved a limited number of cheaper twin/double shared rooms (S$280 for 4-nights) on NUS campus. Priority will be given to students and poster participants. Deadline for application is 20Sep07. Details will be given on our web in early Sept. Poster Session -------------- APLAS07 will include a poster session. Submission deadline is 14 Sept 2007. For details, please see: http://www.comp.nus.edu.sg/~aplas07/posters.html Conference Program ------------------ 29 Nov (Thu) ------------ 915- 930 Opening note 930-1030 Invited Talk X10: Programming Parallel Machines, Productively Vijay Saraswat (IBM TJ Watson Research Lab) 1100-1230 Session 1 The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification Paritosh Shroff (Johns Hopkins University), Christian Skalka (University of Vermont) and Scott F. Smith (Johns Hopkins University) Local Reasoning for Storable Locks and Threads Alexey Gotsman (University of Cambridge), Josh Berdine (Microsoft Research), Byron Cook (Microsoft Research), Noam Rinetzky (Tel Aviv University) and Mooly Sagiv (Tel Aviv University) Monadic, Prompt Lazy Assertions in Haskell Frank Huch (CAU Kiel) and Olaf Chitil (University of Kent) 1345-1515 Session 2 Translation Correctness for First-Order Object-Oriented Pattern Matching Burak Emir (EPFL Lausanne), Qin Ma (OFFIS) and Martin Odersky (EPFL Lausanne) Persistent Oberon: A Programming Language with Integrated Persistence Luc Blaser (ETH Zurich) More Typed Assembly Languages for Confidentiality Dachuan Yu (DoCoMo Communication Laboratories USA) 1515-1630 Poster Session 1630-1730 Session 3 A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics Lingzhong Zhao (Guilin University of Electronic Technology), Tianlong Gu (Guilin University of Electronic Technology), Junyan Qian (Guilin University of Electronic Technology) and Guoyong Cai (Guilin University of Electronic Technology) On a Tighter Integration of Functional and Logic Programming Frank Huch (CAU Kiel) and Bernd Brassel (CAU Kiel) 1800-2000 Reception 30 Nov (Fri) ------------ 930-1030 Invited Talk Scalable Simulation of Biological Signaling Networks Vincent Danos (University of Paris VII & CNRS) 1100-1230 Session 4 Timed, Distributed, Probabilistic, Typed Processes Martin Berger (Imperial College London) and Nobuko Yoshida (Imperial College London) A Probabilistic Applied Pi-Calculus Jean Goubault-Larrecq (ENS Cachan), Catuscia Palamidessi (Ecole Polytechnique) and Angelo Troina (ENS Cachan & Ecole Polytechnique) Type-Based Verification of Correspondence Assertions for Communication Protocols Daisuke Kikuchi (Tohoku University) and Naoki Kobayashi (Tohoku University) 1400-1530 Session 5 Deriving Compilers and Virtual Machines for a Multi-Level Language Atsushi Igarashi (Kyoto University) and Masashi Iwaki (Kyoto University) Finally Tagless, Partially Evaluated (Tagless Staged Interpreters for Simpler Typed Languages) Jacques Carette (McMaster University), Oleg Kiselyov (FNMOC) and Chung-chieh Shan (Rutgers University) Polymorphic Delimited Continuations Kenichi Asai (Ochanomizu University) and Yukiyoshi Kameyama (University of Tsukuba) 1600-1730 Session 6 Adjunct Elimination in Context Logic for Trees Cristiano Calcagno (Imperial College London), Thomas Dinsdale-Young (Imperial College London) and Philippa Gardner (Imperial College London) Positive Arithmetic without Exchange is a Subclassical Logic Stefano Berardi (University of Torino) and Makoto Tatsuta (National Institute of Informatics, Japan) Mixed Inductive/Coinductive Types and Strong Normalization Andreas Abel (University of Munich) 1900-2100 Banquet 1 Dec (Sat) ------------ 930-1030 Invited Talk Static and Dynamic Analysis : Better Together Sriram Rajamani (Microsoft Research India) 1100-1230 Session 7 The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer Neil Jones (University of Copenhagen) and Rene Rydhof Hansen (University of Copenhagen) An Efficient SSA-based Algorithm for Complete Global Value Numbering Jiu-Tao Nie (Peking University) and Xu Cheng (Peking University) A Systematic Approach to Probabilistic Pointer Analysis Alessandra Di Pierro (University of Verona), Chris Hankin (Imperial College London) and Herbert Wiklicky (Imperial College London) 1400-1530 Session 8 Complete Lattices and Up-to Techniques Damien Pous (ENS Lyon) A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract Alwen Tiu (Australian National University) CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence Frank Valencia (Ecole Polytechnique), Cinzia Di Giusto (University of Bologna), Jesus Aranda (Ecole Polytechnique) and Mogens Nielsen (University of Aarhus) 1600-1700 Session 9 Call-by-Name and Call-by-Value in Normal Modal Logic Yoshihiko Kakutani (University of Tokyo) Call-by-Value is Dual to Call-by-Name, Extended Daisuke Kimura (National Institute of Informatics, Japan) 1700-1715 Closing note Organization ------------- GENERAL CHAIR Joxan Jaffar (National University of Singapore, Singapore) PROGRAM CHAIR Zhong Shao (Yale University, USA) PROGRAM COMMITTEE Lars Birkedal (IT University of Copenhagen, Denmark) Martin Hofmann (Univ of Munich, Germany) Kohei Honda (Queen Mary, University of London, UK) Atsushi Igarashi (Kyoto University, Japan) Suresh Jagannathan (Purdue University, USA) Annie Liu (State University of New York at Stony Brook, USA) Shin-Cheng Mu (Academia Sinica, Taiwan) Henrik Nilsson (University of Nottingham, UK) Michael Norrish (NICTA, Australia) Jens Palsberg (University of California, Los Angeles, USA) G. Ramalingam (Microsoft Research, India) Zhendong Su (University of California, Davis, USA) Martin Sulzmann (National University of Singapore, Singapore) Eijiro Sumii (Tohoku University, Japan) Jerome Vouillon (CNRS, France) Kwangkeun Yi (Seoul National University, Korea) Jian Zhang (Chinese Academy of Sciences, China) POSTER SESSION CHAIR Eijiro Sumii (Tohoku University, Japan) LOCAL ARRANGEMENT CHAIR Wei-Ngan Chin (National University of Singapore, Singapore)

1 0