March 2010 - Haskell - Haskell.org

ANNOUNCE: ioctl 0.0.1
by Maciej Piechotka 13 Sep '15

13 Sep '15

A package for type-safe I/O control. Currently only ioctl is supported. Currently simply a extract from my tuntap fork TODO: - Return the integer as well as structure (will break the API) - Port for Windows Network.Socket.IOCtl (as soon as I manage to setup some sane environment on this platform) - Wrapping around DeviceIoControl Example (in hsc): data NotRead = NotRead instance NotRead Int where ioctlReq _ = #const FIONREAD notRead s = ioctlsocket' s NotRead Regards

2 1

Announcing Djinn, version 2004-12-11, a coding wizard
by Lennart Augustsson 07 Apr '11

07 Apr '11

Howdy, y'all! I've written a small program that takes a (Haskell) type and gives you back a function of that type if one exists. It's kind of fun, so I thought I'd share it. It's probably best explained with a sample session. calvin% djinn Welcome to Djinn version 2005-12-11. Type :h to get help. # Djinn is interactive if not given any arguments. # Let's see if it can find the identity function. Djinn> f ? a->a f :: a -> a f x1 = x1 # Yes, that was easy. Let's try some tuple munging. Djinn> sel ? ((a,b),(c,d)) -> (b,c) sel :: ((a, b), (c, d)) -> (b, c) sel ((_, v5), (v6, _)) = (v5, v6) # We can ask for the impossible, but then we get what we # deserve. Djinn> cast ? a->b -- cast cannot be realized. # OK, let's be bold and try some functions that are tricky to write: # return, bind, and callCC in the continuation monad Djinn> type C a = (a -> r) -> r Djinn> returnC ? a -> C a returnC :: a -> C a returnC x1 x2 = x2 x1 Djinn> bindC ? C a -> (a -> C b) -> C b bindC :: C a -> (a -> C b) -> C b bindC x1 x2 x3 = x1 (\ c15 -> x2 c15 (\ c17 -> x3 c17)) Djinn> callCC ? ((a -> C b) -> C a) -> C a callCC :: ((a -> C b) -> C a) -> C a callCC x1 x2 = x1 (\ c15 _ -> x2 c15) (\ c11 -> x2 c11) # Well, poor Djinn has a sweaty brow after deducing the code # for callCC so we had better quit. Djinn> :q Bye. To play with Djinn do a darcs get http://darcs.augustsson.net/Darcs/Djinn or get http://darcs.augustsson.net/Darcs/Djinn/Djinn.tar.gz Then just type make. (You need a Haskell 98 implementation and some libraries.) And then start djinn. For the curious, Djinn uses a decision procedure for intuitionistic propositional calculus due to Roy Dyckhoff. It's a variation of Gentzen's LJ system. This means that (in theory) Djinn will always find a function if one exists, and if one doesn't exist Djinn will terminate telling you so. This is the very first version, so expect bugs. :) Share and enjoy. -- Lennart

8 13

Re: Announce: Haskell Platform 2010.1.0.0 (beta) release
by Don Stewart 31 Mar '10

31 Mar '10

DekuDekuplex: > Sorry for the late response, but just out of curiosity, are there any > plans to provide a binary installer for either the Haskell Platform or > GHC 6.12.1 for Mac OS X Leopard for the PowerPC CPU (as opposed to for > the Intel x86 CPU)? I just checked the download-related Web sites for > both the Haskell Platform for the Mac (see > http://hackage.haskell.org/platform/mac.html) and for GHC 6.12.1 (see > http://www.haskell.org/ghc/download_ghc_6_12_1.html) but could find no > relevant information. > > Currently, I'm using GHC 6.8.2, but this is an outdated version. > There is no one actively working on this, but should someone like to build such an installer, the HP site can gladly host it. -- Don

1 0

Release: pqueue-1.0.1
by Louis Wasserman 31 Mar '10

31 Mar '10

I've finally released my priority queue package, "pqueue," on Hackage. This is the direct result of my efforts to design a priority queue for containers, but instead, I decided to put together this package and submit it for addition to the Haskell Platform. There's already been a huge discussion about which data structure to use, but I'm definitely sticking with this structure for this major version release. I'm not entirely sure of the process to submit to HP, so if there's something in particular I should do, tell me plz. The hackage link is http://hackage.haskell.org/package/pqueue, the darcs repo is http://code.haskell.org/containers-pqueue/ Louis Wasserman wasserman.louis(a)gmail.com http://profiles.google.com/wasserman.louis

2 1

Re: [Haskell-cafe] Re: Announce: Haskell Platform 2010.1.0.0 (beta) release
by Gregory Collins 30 Mar '10

30 Mar '10

DekuDekuplex(a)Yahoo.com (Benjamin L. Russell) writes: > Sorry for the late response, but just out of curiosity, are there any > plans to provide a binary installer for either the Haskell Platform or > GHC 6.12.1 for Mac OS X Leopard for the PowerPC CPU (as opposed to for > the Intel x86 CPU)? I just checked the download-related Web sites for > both the Haskell Platform for the Mac (see > http://hackage.haskell.org/platform/mac.html) and for GHC 6.12.1 (see > http://www.haskell.org/ghc/download_ghc_6_12_1.html) but could find > no relevant information. Short answer: no. Someone with the appropriate hardware would have to volunteer to take charge of building both the platform libs (easier) and the GHC installer (harder). G -- Gregory Collins <greg(a)gregorycollins.net>

1 0

ICFP 2010 deadline
by Wouter Swierstra 30 Mar '10

30 Mar '10

On behalf of Stephanie Weirich, this year's PC Chair, I would like to emphasize that the deadline for ICFP this year is at *14:00 UTC*. You may want to double check what time this is using the following link: http://www.timeanddate.com/worldclock/fixedtime.html?day=2&month=4&year=201… Submission is already open through: http://icfp2010.seas.upenn.edu/ All the best, Wouter

1 0

CHR 2010: Final call for papers
by Leslie DE KONINCK 30 Mar '10

30 Mar '10

========================================================================= Final Call for Papers Seventh International Workshop on Constraint Handling Rules CHR 2010 http://www.cs.kuleuven.be/~dtai/CHR/CHR2010/ Edinburgh (Scotland), July 20, 2010 (co-located with ICLP 2010, part of FLoC 2010) ========================================================================= News * Abstract submission no longer required before paper submission; paper submission deadline = April 5th * Invited speaker: We are privileged to announce a distinguished invited speaker this year: Mark Proctor, lead of the thriving, innovating JBoss Drools project (http://www.jboss.org/drools/) He will introduce the Drools Business Logic integration Platform, a fully featured business rule engine and management system that seamlessly integrates powerful Complex Event Processing and workflow capabilities. Introduction The CHR 2010 Workshop will be held July 20, 2010 in Edinburgh (Scotland) at the occasion of the 26th International Conference on Logic Programming (ICLP 2010), the premier international venue for presenting research in logic programming. This year, ICLP is held as part of the Fifth Federated Logic Conference (FLoC 2010). More information on the venue and co-located conferences can be found on the FLOC website (http://www.floc-conference.org/) The Constraint Handling Rules (CHR) language has become a major declara- tive specification formalism and implementation language for constraint reasoning algorithms and applications. Algorithms specified using infe- rence rules, rewrite rules, sequents, proof rules, or logical axioms can often be directly written in CHR. Its clean semantics facilitates pro- gram design, analysis, and transformation. For more information, please visit the CHR website (http://www.cs.kuleuven.be/~dtai/projects/CHR/) The aim of the CHR workshop series is to stimulate and promote interna- tional research and collaboration on topics related to the CHR language. The workshop is a lively, friendly forum for presenting and discussing new results, interesting applications, and work in progress. Previous Workshops on Constraint Handling Rules were organized in 2004 in Ulm (Germany), in 2005 in Sitges (Spain) at ICLP, in 2006 in Venice (Italy) at ICALP, in 2007 in Porto (Portgual) at ICLP, in 2008 in Hagen- berg (Austria) at RTA, and in 2009 in Pasadena (California, US) at ICLP. Topics of Interest The workshop calls for contributions on all aspects of CHR, including topics such as: - (Operational) semantics - Program analysis (confluence, termination, ...) - Comparisons with related approaches - Expressivity and complexity - Language extensions (negation, modules, ...) - Constraint solvers - Implementation and optimization - Concurrency & parallelism - Program transformation and generation - Programming environments (debugging, confluence checking, ...) - Programming pearls Application papers that describe experience with (industrial) applications, are especially welcome. Important dates - Paper submission deadline: April 5, 2010 - Notification of acceptance: May 1, 2010 - Final version due: May 17, 2010 - Workshop date: July 20, 2010 Submission Information The four broad categories for submissions are: 1. technical papers for describing technically sound, innovative ideas that can advance the state of the art of CHR 2. application papers, where the emphasis will be on the use of CHR in the application, on the impact on the application domain, and the lessons learned from this application 3. system and tool papers, empasising the novelty, practicality, usability and general availability of the systems and tools described 4. short papers, for ongoing work not yet ready for full publication and research project overviews. All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers must not exceed 15 pages. The limit for short papers is 7 pages, as is the standard page limit for application papers, and system and tool papers. However, particularly strong contributions in the latter two areas may be submitted as technical paper as well. All papers must be in the Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS home page (http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0) Submissions must be made via the EasyChair submission system, available at http://www.easychair.org/conferences/?conf=chr10 Programme Committee - Sebastian Brand, National ICT Australia, and the University of Melbourne, Victoria, Australia - Henning Christiansen, Roskilde University, Denmark - Veronica Dahl, Simon Fraser University, Canada - Leslie De Koninck, Victoria Research Laboratory, NICTA, Australia (co-chair) - Thom Fruehwirth Ulm University, Germany - Marco Gavanelli, University of Ferrara, Italy - Remy Haemmerle, Universidad Politecnica de Madrid, Spain - Maria-Chiara Meo, "Gabriele d'Annunzio" University, Italy - Paolo Pilozzi K.U.Leuven, Belgium - Frank Raiser, Ulm University, Germany - Peter Van Weert, K.U.Leuven, Belgium (co-chair) - Jairson Vitorino, Federal University of Pernambuco, Brazil - Armin Wolf, Fraunhofer FIRST, Germany Workshop Coordinators Contact: chr2010(a)easychair.org Peter Van Weert Department of Computer Science, K.U.Leuven Leuven, Belgium http://www.cs.kuleuven.be/~petervw/ Leslie De Koninck Victoria Research Laboratory, NICTA Melbourne, Australia

1 0

my gsoc project topic
by Csaba Hruska 29 Mar '10

29 Mar '10

Hi! I'm wondering about the topic of my gsoc project. I'm interested in these areas: - improving cabal (more sophisticated dependency, multi version, compiler support, etc) This could be useful from practical view. - Another idea is to improve GHC's new LLVM backend. (eg: support cross module optimization, integrate with llvm-gcc or clang to support full project link time optimization, even using FFI) I'm really keen on compiler technology, and i know llvm for 3 years. (and i'm familiar with clang too) I also have a perspective to GHC's compile stages and intermediate languages. But I've seen that other people are interested in LLVM backend gsoc project too. - Another LLVM related idea is to create a framework to support writing llvm passes in haskell, this should be based on existing llvm haskell binding. - I'm also interested in computer graphics. While this kind of project could look really good, the community could not benefit from it. eg: *write a pure FRP based 3D game, withs existing haskell libs *improve lambdacube 3D engine, etc IMO the big thing will come in these area when DPH and GPGPU will be stable and supported. What do you think about these? Cheers, Csaba Hruska

1 0

ANNOUNCE: XMMS2 client lib
by Евгений Водолазский 28 Mar '10

28 Mar '10

Hi, I've started the project to create haskell binding to XMMS2 client library (a client-server audio player). http://hackage.haskell.org/package/XMMS It still lacks lot's of feature though(collections and medialib). I'm also planning to make a client ontop of it some day. Hope this will be usefull to someone.

2 1

CFP APLAS 2010
by Yukiyoshi Kameyama 27 Mar '10

27 Mar '10

======================================================================== CALL FOR PAPERS APLAS 2010 Eighth Asian Symposium on Programming Languages and Systems Shanghai, China November 28-December 1, 2010 http://basics.sjtu.edu.cn/conference/aplas2010/ BACKGROUND APLAS aims at stimulating programming language research by providing a forum for the presentation of latest results and the exchange of ideas in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. The past APLAS symposiums were successfully held in Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops held in Shanghai ('02), Daejeon ('01) and Singapore ('00). Proceedings of the past symposiums were published in Springer-Verlag's LNCS 2895, 3302, 3780, 4279, 4807, 5356, and 5904. The 2010 edition will be held at Shanghai Jiao Tong University, China. TOPICS The symposium is devoted to both foundational and practical issues in programming languages and systems. Papers are solicited on, but not limited to, the following topics: * semantics, logics, foundational theory; * design of languages and foundational calculi; * type systems; * compilers, interpreters, abstract machines; * program derivation, analysis, transformation; * software security, safety, verification; * concurrency, constraints, domain-specific languages; * tools for programming, verification, implementation. APLAS 2010 is not limited to topics discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with Program Chair prior to submission. SUBMISSION INFORMATION We solicit submissions in two categories: 1. REGULAR RESEARCH PAPERS, describing original research results, including tool development and case studies, from a perspective of scientific research. Regular research papers should not exceed 16 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as Appendix or a link to a web page. 2. SYSTEM AND TOOL PRESENTATIONS, describing systems or tools that support theory, program construction, reasoning, and/or program execution in the scope of APLAS. Unlike presentations of regular research papers, presentation of accepted papers in this category is expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool presentations papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the systems or tools as described in the papers. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page at http://www.easychair.org/conferences/?conf=aplas2010. Acceptable formats are PostScript or PDF, viewable by Ghostview or Acrobat Reader. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings are planned to be published as a volume in Springer-Verlag's Lecture Notes in Computer Science series. Accepted papers must be presented at the conference. INVITED SPEAKERS Gerwin Klein National ICT Australia Dale Miller INRIA Saclay - Ile-de-France Mingsheng Ying Tsinghua University, China and University of Technology Sydney ZHOU Chaochen Chinese Academy of Sciences IMPORTANT DATES Abstract Deadline: Monday, June 7, 2010 Submission Deadline: Monday, June 14, 2010 (Samoa Time) Notification: August 16, 2010 Camera-Ready: September 3, 2010 Symposium: November 28-December 1, 2010 GENERAL CHAIR Yuxi Fu Shanghai Jiao Tong University, China PROGRAM CHAIR Kazunori Ueda Waseda University, Japan PROGRAM COMMITTEE Roberto Amadio Universite Paris Diderot, France Lennart Beringer Princeton University, USA Dino Distefano Queen Mary, University of London, UK Yuxi Fu Shanghai Jiao Tong University, China Joxan Jaffar National University of Singapore, Singapore Yukiyoshi Kameyama University of Tsukuba, Japan Gabriele Keller University of New South Wales, Australia Ralf Laemmel University of Koblenz-Landau, Germany Aditya V. Nori Microsoft Research India, India Sungwoo Park Pohang University of Science and Technology, Korea Sanjiva Prasad Indian Institute of Technology Delhi, India Christian Schulte Royal Institute of Technology, Sweden Eijiro Sumii Tohoku University, Japan Alwen Tiu Australian National University, Australia Yih-Kuen Tsay National Taiwan University, Taiwan Kazunori Ueda Waseda University, Japan Hongwei Xi Boston University, USA Jian Zhang Chinese Academy of Sciences, China LOCAL ARRANGEMENTS CHAIR Xiaoju Dong Shanghai Jiao Tong University, China POSTER SESSION CHAIR Guoqiang Li Shanghai Jiao Tong University, China

1 0