September 2011 - Haskell

MSFP 2012: Call for Papers
by James Chapman 28 Sep '11

28 Sep '11

Fourth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 25 March, Tallinn, Estonia A satellite workshop of ETAPS 2012 http://cs.ioc.ee/msfp/msfp2012/ The fourth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without arrows? Call-by-push-value without adjunctions? Type theory without universes? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. Important Dates: ================ Submission of papers: 16 December 2011 Notification: 20 January 2012 Final versions due: 3 Feburary 2012 Workshop: 25 March 2012 Invited Speakers: ================= To be arranged. Submission: =========== Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors. There is no specific page limit, but authors should strive for brevity. Accepted regular papers will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). After the workshop, there might be an opportunity to publish selected papers in a journal special issue. All submissions must be in PDF format and use the EPTCS style files. Submissions can be made through the EasyChair website, at http://www.easychair.org/conferences/?conf=msfp2012 ETAPS: ====== European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences (one of them, POST, being new in 2012), accompanied by satellite workshops. ETAPS 2012 is the fifteenth event in the series. http://www.etaps.org/2012 Host City: ========== Tallinn, a city of 412,000 people, is the capital and largest city of Estonia, a small EU member country in Northern Europe, bordering Russia to the East and Latvia to the south. Located in the north of the country, on the southern shores of the Gulf of Finland, opposite Helsinki in Finland, Tallinn is most well known for its picturesque medieval Old Town, a UNESCO World Heritage site. But it also has a vivid cultural scene, outperforming most European centres of similar size. In 2011, Tallinn, along with Turku in Finland, is the Cultural Capital of Europe. Tallinn is easy to travel to. Estonia is part of Schengen and the Eurozone. The Lennart Meri International Airport of Tallinn /TLL) is only 4km from the city centre. Programme Committee: ==================== * James Chapman (co-chair), Institute of Cybernetics, Tallinn, Estonia * Paul Blain Levy (co-chair), University of Birmingham, UK * Thorsten Altenkirch, University of Nottingham, UK * Robert Atkey, University of Strathclyde, Glasgow, UK * Nils Anders Danielsson, Chalmers University and University of Gothenburg, Sweden * Martin Escardo, University of Birmingham, UK * Ichiro Hasuo, University of Tokyo, Japan * Ralf Hinze, University of Oxford, UK * Neelakantan Krishnaswami, Microsoft Research, Cambridge, UK * Daniel R. Licata, Carnegie Mellon University, Pittsburgh, PA * Ulrich Schoepp, LMU Munich, Germany * Alex Simpson, University of Edinburgh, UK * Matthieu Sozeau, INRIA, Paris, France * Sam Staton, University of Cambridge, UK Further Information: ==================== For more information about the workshop, go to: http://cs.ioc.ee/msfp/msfp2012/ With any other questions please do not hesitate to contact the co-chairs at msfp2012(a)easychair.org.

1 0

Haskell Job Opportunity at Sensor Sense
by Bas van Dijk 27 Sep '11

27 Sep '11

Sensor Sense is looking for a software developer to work on the design and implementation of ultra-sensitive trace gas detectors. These instruments belong to the most sensitive in the world. You will work closely with physicists, electronic – and mechanical engineers to design new detectors and improve existing detectors. As a software developer you will be responsible for the complete design and implementation of the software required to operate these instruments. This includes embedded software for data-acquisition, measuring algorithms, data analysis and user interface design. For the next generation of detectors we are developing, we have chosen Haskell to write the control software. Except for some low-level embedded C code, Haskell is used for everything else: interfacing with custom hardware, data analysis and handling the web-based user interface. The ideal candidate has experience with C and Python and is familiar with functional programming. Experience with Haskell is certainly a plus. But rather than developers with experience in specific languages we are looking for fast learners with a flexible mindset. Sensor Sense is a young spin-off company based in Nijmegen (NL). See our website www.sensor-sense.nl for more information. If you are interested or have questions please contact Sacco te Lintel Hekkert <lintelhekkert(a)sensor-sense.nl>.

1 0

Job opportunities at Citrix Systems (Cambridge, UK)
by Mike McClurg 26 Sep '11

26 Sep '11

Hi folks, I just wanted to let everyone know that Citrix is hiring developers to work on the OCaml-based XenAPI toolstack. We are looking to recruit top-class engineers to work on the toolstack; applicants must have a good knowledge of data structures and algorithms, experience of programming in the context of large systems and general aesthetic good taste when it comes to code and architecture. Our code base is significant and varied: over 130,000 lines of OCaml, solving problems ranging from the low-level (Xen hypercalls) to the high-level (resource pool management), to the compiler-driven (generating language bindings for our Xen datamodel). Our ideal candidate will have: * significant experience with applications programming in high-level functional languages (such as OCaml) * an aptitude for implementing (and reasoning about) complex concurrent and distributed systems * the skills required to contribute to both the architectural design and day-to-day development of a large code-base * strong communication skills and problem solving ability * a determination to deliver clean and reliable solutions that meet our customers' needs So if you want to tackle interesting and challenging programming problems and contribute to an innovative, fast-growing product that is already used by tens of thousands of customers across the world, please don't hesitate to send me your CV. Thanks, Mike McClurg PS: Please note that you must have UK right to work. Here are the official job postings, but if you apply please send me your CV directly. * Req #11673 - Software Development Engineer: http://careers.peopleclick.com/careerscp/client_citrix/emea_region/jobDetai… * Req #11897 - Senior Software Developer: http://careers.peopleclick.com/careerscp/client_citrix/emea_region/jobDetai… And here are some links to our company, products and open source projects and code. * The Xen Hypervisor - http://xen.org/ * Citrix XenServer - http://www.citrix.com/English/ps2/products/product.asp?contentID=683148 * Our GitHub account - https://github.com/xen-org

1 0

ANN: ParserFunction-0.0.5
by Enzo Fabrizio 25 Sep '11

25 Sep '11

Dear Haskellers, I am pleased to announce the latest release of ParserFunction. ParserFunction provides utilities for parsing and evaluating mathematical expressions. The central parsing function in this package is stringToExpr, which parses an expression (as a string) and returns an expression tree of type Expr (or nothing if the string is malformed). Example: > stringToExpr "cos(x^2)+4*(1+y)" Just (Add (Cos (Pow (Var 'x') (Num 2.0))) (Mul (Num 4.0) (Add (Num 1.0) (Var 'y')))) Expressions can be evaluated using the function evaluateExpression. Example: > evaluateExpression "1+1" [] 2.0 > evaluateExpression "exp(x)" [('x',1)] 2.718281828459045 > evaluateExpression "sin(arctan(x))*sqrt(y)" [('x',1),('y',2)] 1.0 More information can be found by viewing the source code on Hackage. (http://hackage.haskell.org/package/ParserFunction-0.0.5) The functionality of this package provides the primary framework for several Haskell-based web applications found at (http://www.inputyourdata.com/mathematics.html) Comments and questions regarding this package or its implementation in web programming are welcomed. Regards, Enzo Haussecker University of California, San Diego Applied Mathematics Major Email: enzo [at] ucsd [dot] edu

1 0

ANN: flexiwrap-0.1.0 etc.
by Iain Alexander 23 Sep '11

23 Sep '11

New versions of the package flexiwrap (supplying flexible wrappers for instance selection) and related packages have been released to Hackage. flexiwrap-0.1.0 data-type-0.1.0 function-combine-0.1.0 flexiwrap-smallcheck-0.0.1 flexiwrap version 0.1.0 supports instances of many additional classes for FlexiWrap, and improved documentation, although much remains to be done - more class instances for FlexiWrap, and other wrappers, and more documentation. data-type version 0.1.0 adds a proxy type Data.Type.Proxy. function-combine version 0.1.0 updates its dependencies to support the new version of data-type. flexiwrap-smallcheck version 0.1.0 is a new package supplying support for instances of Serial for FlexiWrap, for use with the smallcheck package. Support for Serial instances for other wrappers is outstanding. Regards, Iain. -- ia(a)stryx.demon.co.uk

1 0

Open Haskell Postdoc Position at the University of Kansas
by Andy Gill 23 Sep '11

23 Sep '11

The Functional Programming Group at KU is looking to hire a post doctoral researcher, to work on the HERMIT project. Applications are invited for an anticipated full-time postdoctoral position with the Information and Telecommunication Technology Center (ITTC) at the University of Kansas. The initial appointment will begin in January 2012. The postdoc will join a project developing high-assurance software development tools using Haskell and equational reasoning. This position requires a PhD degree in computer science or a related discipline, with research experience in functional programming, and publications in the area of functional programming. The postdoc researcher will work closely with a team of academics, PhD students and undergraduates. Strong written and communication skills are a plus. A full position description, required and preferred qualifications, and application instructions can be found at the University of Kansas employment page at https://jobs.ku.edu, search for position 00004753. For more information on ITTC see http://www.ittc.ku.edu. Review of applications begins September 30th, and will continue until the position is filled. Complete applications will include the following: * A full curriculum vitae * A two-page statement summarizing your research experience (and related projects) * The names and addresses (including phone number and emails) of at least three references For further information about this position, please contact Andy Gill at andygill(a)ku.edu. EO/AA employer ------------------- About the HERMIT Project The Haskell Equational Reasoning Model-to-Implementation Tunnel (HERMIT) is a two year NSF-funded project to improving the Applicability of Haskell-Hosted Semi-Formal Models to High Assurance Development. Specifically, HERMIT will use the worker/wrapper transformation, a Haskell-hosted DSL, and a new refinement UI to perform rewrites directly on Haskell Core, the GHC internal representation. This project is a substantial case study into the application of worker/wrapper on larger examples. In particular, we want to demonstrate the equivalences between efficient Haskell programs, and their clear, specification-style Haskell counterparts. In doing so, there are several open problems, including refinement scripting and management scaling issues, data representation and presentation challenges, and understanding the theoretical boundaries of the worker/wrapper transformation. In the project, there will be ample time for publishing research results, building a useful and state-of-the art semi-formal refinement toolkit, and being part of the wider functional programming community. ---- Andy Gill, <andygill(a)ku.edu> Assistant Professor The University of Kansas, EECS Department Information and Telecommunication Technology Center http://www.ittc.ku.edu/csdl/fpg/Users/AndyGill

1 0

ANN: New releases in the lightweight monadic regions family
by Bas van Dijk 22 Sep '11

22 Sep '11

1 0

Haskell Weekly News: Issue 200
by Daniel Santa Cruz 22 Sep '11

22 Sep '11

Welcome to issue 200 of the HWN, a newsletter covering developments in the Haskell community. This release covers the week of September 11 to 17, 2011. You can find the HTML version of this issue at: http://contemplatecode.blogspot.com/2011/09/haskell-weekly-news-issue-200.h… Announcements Chris Smith is exploring the interest of holding a Virtual Hackathon, using Google+ and a Wiki. Come check it out if you would be interested in being part of it! [1] http://goo.gl/lWnea Valentin Robert has completed Apprendre Haskell vous fera le plus grand bien!, a translation of Learn You a Haskell for Great Good! into French, and has also created a wiki page with basic information about Haskell for the French speaking world. Kudos to Valentin for his work on this project! [2] http://goo.gl/ixiXW [3] http://goo.gl/1CG7j New and Updated Projects * netwire (Ertugrul Soeylemez; 1.2.5) Multiple major and minor changes. [4] http://goo.gl/DS4QR * webwire (Ertugrul Soeylemez; 0.1.0) An experimental web framework based on the functional reactive programming library netwire. [5] http://goo.gl/DS4QR * numerals (Roel van Dijk) Contains functions to convert numbers to words in a number of languages. [6] http://goo.gl/4YfhK * splaytree (Jehn Lato; 0.1) Provides splay tree based implementations of Sets, Seqs, and RangeSets. [7] http://goo.gl/aQfX5 * qrcode (Chris Yuen) Intended to be a full featured QR Code library with encoding and decoding and other advanced features. [8] http://goo.gl/pymtr * haskdogs (Sergey Mironov; 0.1) Project-level ctag file generator. [9] http://goo.gl/SA6cx Quotes of the Week * Jafet: Can oleg create a term so complicated that even he could not type-check it? * ion: let es = ["vim", "emacs", "nano"] in map (\e -> intercalate " and " (delete e es) ++ " suck, learn " ++ e) es * cmccann: [on using SomeException] just catch all exceptions, then ignore them. it's the industry-proven way * kmc: une monade est comme une crepe. una monada es como un burrito. eine Monade ist wie ein Strudel. * dylukes: I learned PBMMPPULCDADMABRRRBBBLLTAAMMBBC. It's the operator precedence of C. * benmachine: ozataman: does it have a main, or a thing with type IO thing which looks sort of mainish? Top Reddit Stories * Categorized Weaknesses from the State of Haskell 2011 Survey Domain: nickknowlson.com, Score: 72, Comments: 42 On Reddit: [10] http://goo.gl/0h0K5 Original: [11] http://goo.gl/DZB5V * Haskell B. Curry, born Sept. 12, 1900 Domain: en.wikipedia.org, Score: 69, Comments: 17 On Reddit: [12] http://goo.gl/FYP0F Original: [13] http://goo.gl/S520L * The Records problem in Haskell - help build a consensus about how to fix it, finally Domain: hackage.haskell.org, Score: 59, Comments: 132 On Reddit: [14] http://goo.gl/8cZnI Original: [15] http://goo.gl/VuVoQ * Wrriten in Haskell: The Dynamic Scheduling System for the Green Bank Telescope Domain: self.haskell, Score: 51, Comments: 4 On Reddit: [16] http://goo.gl/vaD3C Original: [17] http://goo.gl/vaD3C * Announcing: Sirkel, a Haskell implementation of the Chord DHT with fault tolerance and replication! Domain: mortenlysgaard.com, Score: 36, Comments: 1 On Reddit: [18] http://goo.gl/VNpSv Original: [19] http://goo.gl/05NIn * Not going to ICFP? Here's an excuse for you Domain: ro-che.info, Score: 30, Comments: 5 On Reddit: [20] http://goo.gl/ABvsq Original: [21] http://goo.gl/uI2Mj * Announce: Yesod 0.9.2 - Everything Just Works Domain: yesodweb.com, Score: 24, Comments: 2 On Reddit: [22] http://goo.gl/izCme Original: [23] http://goo.gl/H0bLr * A play in one act Domain: hpaste.org, Score: 24, Comments: 17 On Reddit: [24] http://goo.gl/OLncN Original: [25] http://goo.gl/lcssv * HaTeX 3 - New version of the Haskell LaTeX library. Domain: deltadiaz.blogspot.com, Score: 20, Comments: 6 On Reddit: [26] http://goo.gl/AgAOp Original: [27] http://goo.gl/4z7nJ * Open Quark: Another haskell like language on JVM. Much more older and mature than Frege. Yet unknown and forgotten. Domain: openquark.org, Score: 19, Comments: 6 On Reddit: [28] http://goo.gl/6Lfx6 Original: [29] http://goo.gl/BI0mC Top StackOverflow Questions * Proving “no corruption” in Haskell votes: 17, answers: 3 Read on SO: [30] http://goo.gl/Xclnk * How to handle feature requests that add new package dependencies votes: 13, answers: 3 Read on SO: [31] http://goo.gl/Gw6HQ * Left and Right Folding over an Infinite list votes: 12, answers: 4 Read on SO: [32] http://goo.gl/YKHlB * Shorter way to write this code votes: 11, answers: 6 Read on SO: [33] http://goo.gl/7ZmBZ * Can't link OpenCL on Windows with GHC votes: 10, answers: 1 Read on SO: [34] http://goo.gl/AnvJo * What's the point of 'const' in the Haskell Prelude? votes: 10, answers: 4 Read on SO: [35] http://goo.gl/g04xE * Haskell functional dependency conflict votes: 9, answers: 2 Read on SO: [36] http://goo.gl/ksmM0 * DatatypeContexts Deprecated in Latest GHC: Why? votes: 9, answers: 2 Read on SO: [37] http://goo.gl/R03pa * Clojure equivalent of Haskell's “Scrap Your Boilerplate” (SYB) votes: 8, answers: 1 Read on SO: [38] http://goo.gl/R6NoS * Why using functions defined in the same module faster than the same function defined in another? votes: 8, answers: 2 Read on SO: [39] http://goo.gl/qAjCk * repeatedly applying a function until the result is stable votes: 8, answers: 4 Read on SO: [40] http://goo.gl/NlP4u About the Haskell Weekly News To help create new editions of this newsletter, please send stories to dstcruz(a)gmail.com. Until next time, Daniel Santa Cruz References 1. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/92438 2. http://lyah.haskell.fr/ 3. http://haskell.fr/ 4. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/92414 5. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/92414 6. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/92426 7. http://permalink.gmane.org/gmane.comp.lang.haskell.general/18934 8. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/92433 9. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/92353 10. http://nickknowlson.com/blog/2011/09/12/haskell-survey-categorized-weakness… 11. http://www.reddit.com/r/haskell/comments/kd2ky/categorized_weaknesses_from_… 12. http://en.wikipedia.org/wiki/Haskell_Curry 13. http://www.reddit.com/r/haskell/comments/kcq8m/haskell_b_curry_born_sept_12… 14. http://hackage.haskell.org/trac/ghc/wiki/Records 15. http://www.reddit.com/r/haskell/comments/kgd4g/the_records_problem_in_haske… 16. http://www.reddit.com/r/haskell/comments/ke3ho/wrriten_in_haskell_the_dynam… 17. http://www.reddit.com/r/haskell/comments/ke3ho/wrriten_in_haskell_the_dynam… 18. http://mortenlysgaard.com/?p=35 19. http://www.reddit.com/r/haskell/comments/kilx4/announcing_sirkel_a_haskell_… 20. http://ro-che.info/ccc/13.html 21. http://www.reddit.com/r/haskell/comments/kc4aa/not_going_to_icfp_heres_an_e… 22. http://www.yesodweb.com/blog/2011/09/yesod-0.9.2 23. http://www.reddit.com/r/haskell/comments/kc6h2/announce_yesod_092_everythin… 24. http://hpaste.org/51474 25. http://www.reddit.com/r/haskell/comments/kixek/a_play_in_one_act/ 26. http://deltadiaz.blogspot.com/2011/09/hatex-3-previous-notes.html 27. http://www.reddit.com/r/haskell/comments/kflnp/hatex_3_new_version_of_the_h… 28. http://openquark.org/Welcome.html 29. http://www.reddit.com/r/haskell/comments/kgtxm/open_quark_another_haskell_l… 30. http://stackoverflow.com/questions/7435363/proving-no-corruption-in-haskell 31. http://stackoverflow.com/questions/7436939/how-to-handle-feature-requests-t… 32. http://stackoverflow.com/questions/7396978/left-and-right-folding-over-an-i… 33. http://stackoverflow.com/questions/7453744/shorter-way-to-write-this-code 34. http://stackoverflow.com/questions/7391634/cant-link-opencl-on-windows-with… 35. http://stackoverflow.com/questions/7402528/whats-the-point-of-const-in-the-… 36. http://stackoverflow.com/questions/7436109/haskell-functional-dependency-co… 37. http://stackoverflow.com/questions/7438600/datatypecontexts-deprecated-in-l… 38. http://stackoverflow.com/questions/7376572/clojure-equivalent-of-haskells-s… 39. http://stackoverflow.com/questions/7401724/why-using-functions-defined-in-t… 40. http://stackoverflow.com/questions/7442892/repeatedly-applying-a-function-u…

1 0

Medicaid Provider Incentive Program - Research Project @ NC A & T
by Verbus Counts 20 Sep '11

20 Sep '11

All, We are starting a research project to build out a solution for the requirements contained in the attached RFP. We will use the following technologies: http://www.talend.com/ http://happstack.com/index.html https://launchpad.net/drizzle Documentation will be done using http://moodle.org/ and http://www.blender.org/ The solution willl be built by students and we will use the IBM z9 mainframe offered by: Cameron Seay, Ph.D. Adjunct Professor Electronics, Computer and Information Technology School of Technology NC A & T State University Greensboro, NC Thanks Cameron! The OS will be Red Hat Linux. For some background on the Medicaid Provider Incentive Program see this web site -> http://www.cms.gov/ehrincentiveprograms/ If you are interested in working with us send me an email. Verbus -- Regards, Verbus Counts EMR Technical Solutions, LLC http://www.emrtsolutions.com 405-326-7440

1 0

ANN: ivy-web 0.1
by James Deng 19 Sep '11

19 Sep '11

Dear all, I am pleased to announce the first release of ivy-web after learning haskell for a year. Ivy-web is a lightweight web framework, with type safe routes, based on invertible-syntax, and i18n support, influenced by Django, Snap and Yesod. The features of this web framework: * Type safe routes, specify url-handler mapping in one place. For example, we want a url mapping for blog as "/blog/year-month-day" to Handler Int Int Int, where year, month and day are integers. We can declare as follows: data Blog = Blog Int Int Int deriving (Show, Eq, Typeable) $(defineIsomorphisms ''Blog) instance Handler Blog where get b@(Blog y m d) _ = do t <- liftIO getClockTime return $ responseHtml $ trans' "blog" ++ show b ++ show t rBlog = blog <$> text "/blog/" *> int <-> int <-> int We can reverse this mapping from handler value automatically, thus don't need to construct url string manually in code, avoiding url errors. ghci>url (Blog 2011 9 19) == "/blog/2011-9-19" * Simple yet elegant handler via type class. class Handler a where get, post, put, delete, handle :: a -> Application handle a req = case requestMethod req of m | m == methodGet -> get a req | m == methodPost -> post a req | m == methodPut -> put a req | m == methodDelete -> delete a req otherwise -> unimplemented req * Flexible template system, utilize exsisting libraries such as Blaze-Html and Hastache. * Easy i18n Wraps around i18n library. * TODO: Auth system Port from snap-auth. * TODO: Modular app system like Django The current route system support modular routes very well. Need works in modular config and data files like static template files. * TODO: Persistent library Improving the DSH library is my current preference. The principle of this library is KISS, and "don't reinvent the wheel" by reusing existing state-of-the-art libraries. Hackage: http://hackage.haskell.org/package/ivy-web Repo: https://github.com/lilac/ivy-web/ For the example code listed above, please refer to https://github.com/lilac/ivy-example/ -- *James Deng* department of computer science school of information science & technology Sun-yat-sen University, Guangzhou, China http://cnjdeng.appspot.com

1 0