February 2012 - Haskell

CALL FOR WORSHOP PROPOSALS (ICSOC-2012: The 10th International Conference on Service-Oriented Computing)
by Huibiao Zhu 20 Feb '12

20 Feb '12

CALL FOR WORSHOP PROPOSALS ICSOC-2012: The 10th International Conference on Service-Oriented Computing Shanghai, China November 12-16, 2012 The 10th International Conference on Service Oriented Computing invites proposals for workshops to be held in conjunction with the main conference. The workshop program seeks to provide venues for specialist groups to meet, to generate focused discussion on specific sub-areas within Service Oriented Computing and to engage in community-building activities. Possible topics for workshops include (but are not limited to): * Service-oriented architectures * Services on the cloud * Service monitoring and adaptation * Social networks and services * Human-mediated services * Theoretical and Technical Service Foundations * Business Service Modeling and Business Process Modeling * Service Integration and Orchestration on the Cloud * Service Composition and Engineering * Service Operations and Management on the Cloud * Quality of Service for Cloud Services * Service Applications and Implementations * Service Design Methods * Service change management * Designing Outsourcing Interactions * Service Vocabularies and Ontologies * Testbeds for Service Concepts and Technologies * Business Intelligence and Analytics for Services * Pervasive and Mobile Services on the Cloud * Embedded and Real-time Services * Service Security, Privacy, and Trust New and emerging areas of interest, including novel application domains are particularly welcome. IMPORTANT DATES: Workshop Proposal Submission Deadline April 15, 2012 Workshop Acceptance Notification May 1, 2012 Paper Submission Deadline for Workshops July 31, 2012 Paper Acceptance Notification September 15, 2012 Camera Ready Paper & Copyright October 1, 2012 WORKSHOP ORGANIZATION Workshop organizers will be responsible for the following: * Constituting the workshop program committee * Advertising the workshop * Managing the paper review and selection process. * Ensuring that at least one author of each accepted paper attends to present the paper (this may require announcing regulations that stipulate this as a prerequisite for the publication of the paper in the workshop proceedings. * Ensuring that the workshop delivers useful scholarly/research value via active discussion/debate. Workshops may be full-day or half-day. It is likely that the proceedings of accepted workshops will be jointly produced as a Springer volume (in the form of a "post-proceedings"), but a formal proposal to Springer will only be made after the accepted workshops and their program committees are finalized. Working notes of the workshops (including papers to be eventually published in the joint workshop volume) will be locally printed for distribution on the workshop day. Workshop Proposal Submission Workshop proposals should include the following elements: * Workshop title. * Name, affiliation, postal and e-mail addresses of each (proposed) workshop chair. * A brief (1-page) CV of each (proposed) workshop chair, highlighting prior experience in organizing similar fora. * A brief description of the topic of the workshop and its relevance to the conference (not exceeding 500 words) * Proposed duration of the workshop (full-day or half-day). * A list of likely program committee members. * A description of the paper review and selection process (it is recommended that each paper is reviewed by 3 distinct members of the workshop program committee). ICSOC-2012 WORKSHOP CHAIRS Aditya Ghose University of Wollongong, Australia, EMAIL: aditya AT uow DOT edu DOT au Huibiao Zhu Eastern China Normal University, China, EMAIL: hbzhu AT sei DOT ecnu DOT edu DOT cn

1 0

Job Opportunity: Data Scientist at madvertise Mobile Advertising (Berlin)
by Adam Drake 17 Feb '12

17 Feb '12

Hello Haskellers, We are a start-up company (currently approximately 70 people) and are looking to grow our research and technology group by hiring a new Data Scientist. This person should have a strong quantitative background and Haskell experience is a plus. Bonus points if you have experience building sizable tool chains and applications or your Haskell experience has involved analysis and machine learning techniques on large data sets. For more information, please visit the job listing on our website. http://madvertise.com/en/2012/02/14/data-scientist-fm/ If you have any questions, feel free to contact me directly. You can also email questions to Julian Fichter in HR: julian [dot] fichter (at) madvertise (dot) com. -- Best Regards, Adam Drake

1 0

ANNOUNCE: system-filepath 0.4.5 and system-fileio 0.3.4
by John Millikin 16 Feb '12

16 Feb '12

Both packages now have much-improved support for non-UTF8 paths on POSIX systems. There are no significant changes to Windows support in this release. system-filepath 0.4.5: Hackage: http://hackage.haskell.org/package/system-filepath-0.4.5 API reference: https://john-millikin.com/software/haskell-filesystem/reference/system-file… system-fileio 0.3.4: Hackage: http://hackage.haskell.org/package/system-fileio-0.3.4 API reference: https://john-millikin.com/software/haskell-filesystem/reference/system-file… ----- In GHC 7.2 and later, file path handling in the platform libraries was changed to treat all paths as text (encoded according to locale). This does not work well on POSIX systems, because POSIX paths are byte sequences. There is no guarantee that any particular path will be valid in the user's locale encoding. system-filepath and system-fileio were modified to partially support this new behavior, but because the underlying libraries were unable to represent certain paths, they were still "broken" when built with GHC 7.2+. The changes in this release mean that they are now fully compatible (to the best of my knowledge) with GHC 7.2 and 7.4. Important changes: * system-filepath has been converted from GHC's escaping rules to its own, more compatible rules. This lets it support file paths that cannot be represented in GHC 7.2's escape format. * The POSIX layer of system-fileio has been completely rewritten to use the FFI, rather than System.Directory. This allows it to work with arbitrary POSIX paths, including those that GHC itself cannot handle. The Windows layer still uses System.Directory, since it seems to work properly. * The POSIX implementation of createTree will no longer recurse into directory symlinks that it does not have permission to remove. This is a change in behavior from the directory package's implementation. See http://www.haskell.org/pipermail/haskell-cafe/2012-January/098911.html for details and the reasoning behind the change. Since Windows does not support symlinks, I have not modified the Windows implementation (which uses removeDirectoryRecursive).

5 12

Haskell Weekly News: Issue 215
by Daniel Santa Cruz 16 Feb '12

16 Feb '12

Welcome to issue 215 of the HWN, a newsletter covering developments in the Haskell community. This release covers the week of February 5 to 11, 2012. You can find the HTML version of this issue at: http://contemplatecode.blogspot.com/2012/02/haskell-weekly-news-issue-215.h… Quotes of the Week * nand': haskell has a few advantages in the industry that few other languages can offer. these will become more obvious as time goes on and programming is forced into a functional direction in general. * seo: What i do not realize is actually how you are now not really much more well-liked than you might be right now. You are so intelligent. You realize thus significantly in terms of this subject, produced me in my view consider it from so many numerous angles. Its like men and women are not interested unless it‚s one thing to do with Woman gaga! Your personal stuffs excellent. Always care for it up! * monochrom: Schrodinger's Klein glass bottle: before you look, the cat is inside or outside; after you look, it is inside and outside :) * cmccann: Ruby is a fine language if you're secretly a lisp programmer but want to hide behing perl and smalltalk so nobody catches you * mlh: nice quote -- quick, someone register it for posterity * something: somebody never said, naturally. * irene-knapp: I was going to take a famous quote and put it in lambdabot as my own but I couldn't decide on one * shachaf: getLine :: IO String contains a String in the same way that /bin/ls contains a list of files * edwardk: [unsafePerformIO] sounds like a good idea, its tempting, it makes life easy, for the first 2 lines of code. then you go to write the third and everything goes to shit * cmccann: Idiom brackets are where you consume a mixture of alcohol and Conor McBride papers until your vision gets blurry enough that you can't actually see the Applicative operators anymore. * Philippa: incidentally, if you think about this you're probably starting to image control flow that looks like it's a glyph for summoning cthulhu - and then realising that it's 3d and consists of 'towers'. Make sense? * c_wraith: also, "actual" reals is a funny thing to call a set that consists mostly of things that cannot be described. * NihilistDandy: I feel like a hipster whenever I talk programming with people at my school. I always have to preface discussions with "you've probably never heard of it" :/ * ion: Three lefts make two wrongs * elliott: Explicit recursion should generally be avoided. Also, general recursion should be explicitly avoided! * CodeWeaverX: I expect that Weird Untraceable Suitcases Full Of Bad could result from the program assuming such an operation is pure when it clearly isn't. * elliott: cmccann: the instances list haddock generates is now a thing of majesty edwardk: elliott: welcome to my world * mzero: functional programming has a property that is often lacking in other languages... at dinner last night we were discussing it, and I dubbed it: "The Princess Bride" property --- which is, that a piece of code means what you think it means * sclv: You have a problem and think "I'll use a hash function." Now you have intermittantly colliding problems. * monochrom: data Ph a = Ph -- the phantom monad ksion: Is that a new Star Wars prequel? ;) * user1151874: i already declare hp as int with value 3 now my problem is when i put "hp--", it shows error [...] but if i put "--hp", the result print is 3 not 2. * edwardk: thats my secret. really i don't write anything. i just let others do the work and upload it to hackage behind their backs Top Reddit Stories * Haskell as most mainstream non-mainstream language? The RedMonk Programming Language Rankings: February 2012 Domain: redmonk.com, Score: 45, Comments: 25 On Reddit: [1] http://goo.gl/xWHB8 Original: [2] http://goo.gl/REBXN * The future is parallel, and the future of parallel is declarative (Simon Peyton Jones) [RE: Escape From the Ivory Tower] Domain: yow.eventer.com, Score: 41, Comments: 5 On Reddit: [3] http://goo.gl/PJSlh Original: [4] http://goo.gl/zUKT5 * How Prelude avoids overlapping instances in Show Domain: brandon.si, Score: 32, Comments: 18 On Reddit: [5] http://goo.gl/qGPZK Original: [6] http://goo.gl/rC6qr * InfoQ: Yesod Web Framework (Michael's QCon talk) Domain: infoq.com, Score: 32, Comments: 12 On Reddit: [7] http://goo.gl/93SFv Original: [8] http://goo.gl/Xao7S * Search tree that does not require that items be sorted. Domain: twanvl.nl, Score: 28, Comments: 3 On Reddit: [9] http://goo.gl/R2yLD Original: [10] http://goo.gl/WGfcV * Reverse engineering the ZeroMQ wire protocol for ZMQHS Domain: xrl.tureus.com, Score: 27, Comments: 0 On Reddit: [11] http://goo.gl/UKIun Original: [12] http://goo.gl/oVstA * Announcing Yesod 0.10 - conduits, persistent 0.8, improved Coffeescript integration Domain: yesodweb.com, Score: 25, Comments: 12 On Reddit: [13] http://goo.gl/1RRJH Original: [14] http://goo.gl/KftN5 * Real World Haskell book site -- is it known to be down? If so how long has it been down and will it come back? Domain: book.realworldhaskell.org, Score: 24, Comments: 15 On Reddit: [15] http://goo.gl/GV6z2 Original: [16] http://goo.gl/RCxnT * What do Haskellers think of Rust? It's got lambdas and ADTs with C-style notation. Domain: rust-lang.org, Score: 24, Comments: 40 On Reddit: [17] http://goo.gl/a9bCB Original: [18] http://goo.gl/xAKHx * r/darcs - for discussing darcs and patch theory Domain: reddit.com, Score: 24, Comments: 8 On Reddit: [19] http://goo.gl/37ArD Original: [20] http://goo.gl/qQiaD * Will Haskell be the Smalltalk of functional programming? Domain: self.haskell, Score: 22, Comments: 54 On Reddit: [21] http://goo.gl/ZxmBN Original: [22] http://goo.gl/ZxmBN Top StackOverflow Questions * Abusing the algebra of algebraic data types - why does this work? votes: 53, answers: 4 Read on SO: [23] http://goo.gl/MyQRO * Recommended reading/tutorials to understand reactive-banana FRP library votes: 13, answers: 3 Read on SO: [24] http://goo.gl/hTPv6 * Safe modelling of relational data in Haskell votes: 12, answers: 2 Read on SO: [25] http://goo.gl/4bEXX * What are the definitions for >>= and return for the IO monad? votes: 12, answers: 3 Read on SO: [26] http://goo.gl/9jH2x * Basic Structure of a Haskell Program votes: 11, answers: 1 Read on SO: [27] http://goo.gl/3OcKg * GHC API - How to dynamically load Haskell code from a compiled module using GHC 7.2? votes: 11, answers: 2 Read on SO: [28] http://goo.gl/aYKZz * Lifting a higher order function in Haskell votes: 9, answers: 1 Read on SO: [29] http://goo.gl/JhmjK * How do you check the type of a local variable? votes: 8, answers: 5 Read on SO: [30] http://goo.gl/Ynfgv * Tail optimization guarantee - loop encoding in Haskell votes: 7, answers: 2 Read on SO: [31] http://goo.gl/PKqfq * Writing in pointfree style f x = g x x votes: 7, answers: 1 Read on SO: [32] http://goo.gl/EIFBw Until next time, Daniel Santa Cruz References 1. http://redmonk.com/sogrady/2012/02/08/language-rankings-2-2012/ 2. http://www.reddit.com/r/haskell/comments/ph4uq/haskell_as_most_mainstream_n… 3. http://yow.eventer.com/events/1004/talks/1055 4. http://www.reddit.com/r/haskell/comments/phnd3/the_future_is_parallel_and_t… 5. http://brandon.si/code/how-the-haskell-prelude-avoids-overlapping-types-in-… 6. http://www.reddit.com/r/haskell/comments/pel34/how_prelude_avoids_overlappi… 7. http://www.infoq.com/presentations/Yesod 8. http://www.reddit.com/r/haskell/comments/pjqpr/infoq_yesod_web_framework_mi… 9. http://twanvl.nl/blog/haskell/SemilatticeSearchTree 10. http://www.reddit.com/r/haskell/comments/pj6n7/search_tree_that_does_not_re… 11. http://xrl.tureus.com/black-box-reverse-engineering-zmq 12. http://www.reddit.com/r/haskell/comments/pcojs/reverse_engineering_the_zero… 13. http://www.yesodweb.com/blog/2012/02/release-0-10 14. http://www.reddit.com/r/haskell/comments/phxjo/announcing_yesod_010_conduit… 15. http://book.realworldhaskell.org/read 16. http://www.reddit.com/r/haskell/comments/pd79r/real_world_haskell_book_site… 17. http://www.rust-lang.org/ 18. http://www.reddit.com/r/haskell/comments/pewtc/what_do_haskellers_think_of_… 19. http://reddit.com/r/darcs 20. http://www.reddit.com/r/haskell/comments/pkv8g/rdarcs_for_discussing_darcs_… 21. http://www.reddit.com/r/haskell/comments/pczyz/will_haskell_be_the_smalltal… 22. http://www.reddit.com/r/haskell/comments/pczyz/will_haskell_be_the_smalltal… 23. http://stackoverflow.com/questions/9190352/abusing-the-algebra-of-algebraic… 24. http://stackoverflow.com/questions/9210412/recommended-reading-tutorials-to… 25. http://stackoverflow.com/questions/9234205/safe-modelling-of-relational-dat… 26. http://stackoverflow.com/questions/9244538/what-are-the-definitions-for-and… 27. http://stackoverflow.com/questions/9153574/basic-structure-of-a-haskell-pro… 28. http://stackoverflow.com/questions/9198140/ghc-api-how-to-dynamically-load-… 29. http://stackoverflow.com/questions/9243215/lifting-a-higher-order-function-… 30. http://stackoverflow.com/questions/9210311/how-do-you-check-the-type-of-a-l… 31. http://stackoverflow.com/questions/9149183/tail-optimization-guarantee-loop… 32. http://stackoverflow.com/questions/9169046/writing-in-pointfree-style-f-x-g…

1 0

ANNOUNCE: acid-state-0.6
by Lemmih 15 Feb '12

15 Feb '12

Greetings, With acid-state-0.6, you can use regular Haskell data structures without worrying about data loss or durability. Your state will simply always be available to you even after software crashes or power outages. Important: acid-state-0.6 is not immediately backwards compatible with previous versions. To restore states from previous versions you first need to create a checkpoint and then modify your data structure to use the 'Prim' wrapper from safecopy-0.6 wherever built-in types are used. More information on this will be on the wiki soonish. I hope this slight inconvenience will be worth it in the long run. Acid-state-0.6 also includes a new Remote backend that enables concurrent access by multiple processes. For examples of how to use the library, see: http://mirror.seize.it/acid-state/examples/ Hackage page: http://hackage.haskell.org/package/acid-state Wiki site: http://acid-state.seize.it/ -- Cheers, Lemmih

2 1

ANNOUNCE: hmatrix-syntax
by Reiner Pope 15 Feb '12

15 Feb '12

Hi list, I am pleased to announce the first release of hmatrix-syntax [1], which provides quasiquoters to provide a nice syntax for vectors and matrices in Alberto Ruiz's excellent matrix package[2]. Examples: > {-# LANGUAGE QuasiQuotes, ViewPatterns #-} > > import Data.Packed > import Data.Packed.Syntax > import Foreign.Storable > > -- vectors can be constructed and deconstructed > swap :: Storable a => Vector a -> Vector a > swap [vec| x, y |] = [vec| y, x |] > > -- matrices can be constructed and deconstructed > adjugateMat2 :: (Storable a, Num a) => Matrix a -> Matrix a > adjugateMat2 [mat| a, b; c, d |] = [mat| d, -b; -c, a |] These constructions and deconstructions are expanded into direct array accesses. Regards, Reiner [1]: http://hackage.haskell.org/package/hmatrix-syntax [2]: http://hackage.haskell.org/package/hmatrix

1 0

ANNOUNCE: AppleScript-0.2.0.1
by Reiner Pope 15 Feb '12

15 Feb '12

Hello list, I am pleased to announce a new release of the AppleScript package[1], which supports compiling and running AppleScript code from Haskell, and also supports calling back into Haskell from AppleScript. This release has many new features, including: * AppleScript can now call back into Haskell, and return a final result to Haskell * a quasiquoter for writing AppleScript code * unicode support Here is an example showcasing the main features: > {-# LANGUAGE QuasiQuotes #-} > import Foreign.AppleScript.Rich > import qualified Data.Text.Lazy as Text > import qualified Data.Text.Lazy.IO as Text > > main = Text.putStrLn =<< evalScript mainScript > > mainScript = [applescript| > tell application "System Events" > -- Haskell value splices, and Unicode support. > display dialog "The value of π is $value{pi :: Double}$." > > -- AppleScript can call back into Haskell. > set yourName to text returned of (display dialog "What is your name?" default answer "") > display dialog ("Your name in reverse is " & $callback{ \t -> return (Text.reverse t) }$[ yourName ]$) > > -- Splice other AppleScript code into here > $applescript{ othergreeter }$ > > -- Return text from AppleScript back to Haskell > return "Hello from AppleScript!" > end tell > |] > > othergreeter = [applescript| > display dialog "Hello from the other greeter!" > |] With this release, I have taken over maintenance from Wouter Swierstra. Many thanks go to Wouter for his original work on this package. [1]: http://hackage.haskell.org/package/AppleScript

1 0

ANNOUNCE: Registration open for DHD >>= UHac, April 20 - 22, Utrecht
by Sean Leather 13 Feb '12

13 Feb '12

We are happy to open registration to all. If you're interested in checking out some neat talks or hacking on cool Haskell projects, reserve your spot today! http://www.haskell.org/haskellwiki/DHD_UHac We are still looking for speakers for the Dutch HUG Day. Please consider sharing your latest new project or toy. It doesn't have to be research. It doesn't even have to be done. Just email Sean Leather (leather(a)cs.uu.nl) with your idea, and we'll talk about it. Also, the wiki has been updated with a lot more information since that last announcement. We'll continue to add more. Let us know if you have any questions. >>= >> >> >> >> >> >> >>= >>= >>= >>= DHD >>= UHac >>= >>= >>= >>= April 20 - 22 >>= >>= >>= >>= Utrecht >>= >>= >>= >>= >> >> >> >> >> >> >>= Sean Leather and Jurriën Stutterheim Organizers

1 0

CfP: UNIF 2012
by Santiago Escobar 13 Feb '12

13 Feb '12

Call for Papers UNIF 2012 The 26th International Workshop on Unification http://unif2012.cs.man.ac.uk July 1st, 2012, Manchester, UK Satellite event of IJCAR 2012 UNIF 2012 is the 26th event in a series of international meetings devoted to unification theory and its applications. UNIF 2012 is a satellite event of the the 6th International Joint Conference on Automated Reasoning (IJCAR 2012) which is part of the Alan Turing Year 2012, and collocated with The Alan Turing Centenary Conference. Previous editions of UNIF have taken place mostly in Europe, but also in USA and Japan. For more details on previous UNIF workshops, please see the UNIF homepage at <http://www.pps.jussieu.fr/~treinen/unif/>. The aim of UNIF 2012, as that of the previous meetings, is to bring together researchers interested in unification theory and related topics, to present recent (even unfinished) work, and discuss new ideas and trends in this and related fields. This includes scientific presentations, but also descriptions of applications and software using unification as a strong component. A non-exhaustive list of topics of interest includes: unification algorithms, calculi and implementations, equational unification and unification modulo theories, unification in modal, temporal and description logics, admissibility of inference rules, narrowing, matching algorithms, constraint solving, combination problems, disunification, higher-order unification, type checking and reconstruction, typed unification, complexity issues, query answering, implementation techniques and applications of unification. Submissions and Publication: Before the workshop, authors are invited to submit an extended abstract (max. 5 pages) to be formatted in LNCS style through the EasyChair submission site: https://www.easychair.org/account/signin.cgi?conf=unif2012 Accepted abstracts will be presented at the workshop and included in the preliminary proceedings, available at the workshop. We envisage publication of a special issue of a journal dedicated to UNIF after the event. Important Dates: # Submission: April 27 # Notification: May 18 # Final version: June 1 # Workshop: July 1 Programme Committee: # Franz Baader, TU Dresden, Germany # Christoph Benzmueller, Free University Berlin, Germany # Santiago Escobar, Universitat Politecnica de Valencia, Spain (co-chair) # Maribel Fernandez, King's College London, UK # Silvio Ghilardi, Universita degli Studi di Milano, Italy # Rosalie Iemhoff, Utrecht University, The Netherlands # Konstantin Korovin, University of Manchester, UK (co-chair) # Jordi Levy, IIIA - CSIC, Spain # Christopher Lynch, Clarkson University, USA # George Metcalfe, Vanderbilt University, USA # Paliath Narendran, University at Albany, USA # Vladimir Rybakov, Manchester Metropolitan University, UK (co-chair) For more information, please contact any of the three chairs Santiago Escobar, Konstantin Korovin, Vladimir Rybakov

1 0

First IFCoLog-CIE Student Session
by Pedro Vasconcelos 13 Feb '12

13 Feb '12

Dear all, Please advertise among undergraduate and master students involved in research projects related to Computer Science (including but not limited to Haskell projects). Best regards, Pedro Vasconcelos pbv(a)dcc.fc.up.pt ----------------- Call for Papers First IFCoLog-CIE Student Session 18-23 June 2012, University of Cambridge. In conjunction with CiE 2012, TURING CENTENARY CONFERENCE – How the World Computes =================================================================== Important Dates --------------- * 11 May 2012: Submission deadline * 31 May 2012: Author notification * 18-23 June 2012: Student Sessions The contributions and program will be available online before the event. Scope ----- The CiE-IFCoLog student sessions is an initiative to encourage undergraduate and master students to present their research projects at high profile computer science events, and offer a good opportunity for undergraduate and masters students to interact with more senior researchers. In 2012 CiE is celebrating the life achievements of Alan Turing and we believe that being involved in this event, will be an exciting opportunity for young people contemplating a research career. Topics ------ The CiE-IFCoLog student sessions will consider papers in all aspects of computability and foundations of computer science, as well as well as papers exploring the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. See CiE’s CFP for a list of topics: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?42 More details about the event will become available in http://www.ifcolog.net/?page_id=6149 Submission and Publication -------------------------- Authors are invited to submit an extended abstract (max. 5 pages). Papers should be written in English, and submitted in PostScript or PDF format, using the EasyChair class style. After the student session, authors of accepted submissions will be asked to submit a final version to be published in a biannual issue of the IFCoLog workshop series. Submission is through the Easychair website: https://www.easychair.org/conferences/?conf=cieifcologss2012 Programme Committee ------------------- Sandra Alves Edwin Brady Maribel Fernández Michael Gabbay Ian Mackie Andrew Pits Pedro Vasconcelos Contact ------- Sandra Alves: sandra(a)dcc.fc.up.pt Michael Gabbay: michael.gabbay(a)kcl.ac.uk

1 0