- Haskell - Haskell.org

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

ANN: usb-1.0, bindings-libusb-1.4.4 and usb-iteratee-0.4
by Bas van Dijk 18 Sep '11

18 Sep '11

Fellow Haskellers, I would like to announce the 1.0 release of the usb library! This library lets you to communicate with USB devices from userspace. It is implemented as a high-level wrapper around bindings-libusb[1] which is a low-level binding to the portable C library: libusb-1.0 ( http://libusb.org ). I think a 1.0 release is warranted since I have been successfully using the library in an industrial application at Sensor Sense for some time now. This release also adds the last piece of functionality that was missing from previous releases: isochronous transfers. These let you communicate with USB video or audio devices for example. A second major change is that all I/O functions, while still having a synchronous interface (they block), are now implemented asynchronously. This makes them more efficient (no busy-loops) and interruptible (just throw an asynchronous exception to the thread executing a transfer and the transfer is automatically canceled). The implementation uses the GHC event manager for event handling. If the event manager is not available, because you're either: not using GHC, building your program without -threaded or you're on Windows the implementation degrades gracefully to the synchronous implementation. Other changes: * Added writeControlExact :: DeviceHandle -> ControlAction WriteExactAction. * All I/O functions which previously returned the boolean TimedOut now return a: data Status = Completed | TimedOut. * Added the timeout constant: noTimeout :: Timeout. * Added function: maxIsoPacketSize :: EndpointDesc -> Size Which calculates the maximum packet size which a specific endpoint is capable of sending or receiving in the duration of 1 microframe. This function is mainly useful for setting up isochronous transfers. * Added some specific IOExceptions: ioException :: USBException incompleteReadException :: USBException incompleteWriteException :: USBException * Renamed System.USB.IO.Synchronous to just System.USB.IO. * Renamed System.USB.Unsafe to System.USB.Internal and exported more functions from it which are primarily needed in the usb-iteratee package. * Fixed some bugs. * Switched from darcs to git and hosted the project on github: https://github.com/basvandijk/usb/ API Docs: http://hackage.haskell.org/package/usb-1.0 Installing: $ cabal update $ cabal install usb I would like to thank John Obbele for pushing me to write the asynchronous implementation and for testing the library. Also thanks to Joris Putcuyps for testing the library on Windows. Unfortunately the library doesn't yet work on that platform due to a weird segmentation fault: http://hackage.haskell.org/trac/ghc/ticket/5254. Hopefully we will solve it in the near future. bindings-libusb =============== The usb library is based on bindings-libusb which is a low-level binding to the libusb C library. I recently took over maintenance of this package from Maurício Antunes. Maurício, thanks for creating and maintaining this package! It greatly simplified the task of writing the high-level wrapper. API Docs: http://hackage.haskell.org/package/bindings-libusb-1.4.4 usb-iteratee ============ I also released a new library: usb-iteratee which provides iteratee enumerators for the usb package. Note that this package was previously called usb-enumerator. However I'm planning to rewrite the latter to offer enumerators for the enumerator package instead. API Docs: http://hackage.haskell.org/package/usb-iteratee-0.4 Regards, Bas

1 0

Ann: splaytree-0.1
by John Lato 16 Sep '11

16 Sep '11

Dear all, I am very pleased to announce the first release of splaytree. Splaytree provides splay tree based implementations of Sets, Seqs, and RangeSets. A RangeSet is similar to an IntervalSet, however as new ranges are inserted, they are combined with any existing ranges. This guarantees that the RangeSet consists of only non-overlapping ranges, and can be used to easily generate a list of non-overlapping ranges (read more at http://johnlato.blogspot.com/2011/09/splaytree-package-released.html) Absolute performance isn't a goal of this package, however according to my benchmarks it seems to be competitive with unordered-containers for many operations, although the worst-case complexity of a splay tree is O(n). http://hackage.haskell.org/package/splaytree repo: http://www.tiresiaspress.us/haskell/splaytree/ The design owes much to Ralf Hinze and Ross Paterson's excellent work on finger trees. John L.

1 0

Haskell Weekly News: Issue 199
by Daniel Santa Cruz 15 Sep '11

15 Sep '11

Welcome to issue 199 of the HWN, a newsletter covering developments in the Haskell community. This release covers the week of September 4 to 10, 2011. Announcements Johannes Waldmann open the invitation to the 6th Haskell in Leipzig workshop, on October 7, 2011. It "will present an absolutely thrilling mixture of tutorials and talks, with special enphasis on parallel programming." [1] http://goo.gl/u0PwF New and Updated Projects * Hs2lib (Phyx; v-0.5.5) A preprocesor and library which allow you to create dynamic libs from arbitrary annotated Haskell programs with one click. It also allows you to use the generated lib in C, C++, and C# just by including the generated header files. [2] http://goo.gl/xCSXc * Netwire (Ertugrul Soeylemez; 1.2.0) Lots of new features! [3] http://goo.gl/VCwb1 * network-address (Sebastian Nowicki; 0.2.0) Provides data structures and textual representation of network addresses (IPv4, IPv6, subnets). [4] http://goo.gl/DBRI6 * Webrexp (Vincent Berthoux; 1.1) A web scraping command line utility. [5] http://goo.gl/OlovQ * eddie (Mike Meyer; 0.5) Is a tool for applying haskell filters to text files via the unix command line. [6] http://goo.gl/NPc0b * cabal-ghci (Etienne Laurin; 0.1) Package to ease the development of projects using cabal. [7] http://goo.gl/fiDKZ Quotes of the Week * gosu: Type parameters are covariant. This is not sound, and that does not matter. * turtlesalltheway: if haskell is so great why cant it improve itself * mm_freak: bosses are generally quite strong, static and lazy * cmccann: newtype Natural = N { denature :: Integer } Top Reddit Stories * Constraint Kinds for GHC Domain: blog.omega-prime.co.uk, Score: 115, Comments: 12 On Reddit: [8] http://goo.gl/bCXgf Original: [9] http://goo.gl/7aWzn * Yesod :: The Limitations of Haskell Domain: yesodweb.com, Score: 108, Comments: 42 On Reddit: [10] http://goo.gl/5q7wW Original: [11] http://goo.gl/gisIh * Frege: haskell like language on JVM (tries to adhere to haskell 2010 where possible) Domain: code.google.com, Score: 58, Comments: 58 On Reddit: [12] http://goo.gl/6KWEg Original: [13] http://goo.gl/56AkX * Sharing in Haskell – How the let and lambda constructs give a precise way to control sharing Domain: neilmitchell.blogspot.com, Score: 34, Comments: 18 On Reddit: [14] http://goo.gl/Uf1vq Original: [15] http://goo.gl/4Hmfu * Let's play a game : How to implement functions from their type signatures Domain: blog.ezyang.com, Score: 24, Comments: 13 On Reddit: [16] http://goo.gl/T2FiD Original: [17] http://goo.gl/SmbYO * Impredicativity + injectivity + type case analysis = inconsistency (Russell paradox) :: Oleg Domain: okmij.org, Score: 23, Comments: 10 On Reddit: [18] http://goo.gl/zoThI Original: [19] http://goo.gl/jFr5U * Functional Pearls Domain: haskell.org, Score: 23, Comments: 1 On Reddit: [20] http://goo.gl/RVyng Original: [21] http://goo.gl/1A7t0 * An EventSource broker written in Haskell Domain: mathias-biilmann.net, Score: 22, Comments: 0 On Reddit: [22] http://goo.gl/7yywu Original: [23] http://goo.gl/Y5mGj * Haskell For Kids: Week 4 Domain: cdsmith.wordpress.com, Score: 22, Comments: 2 On Reddit: [24] http://goo.gl/KwlqD Original: [25] http://goo.gl/xlNh2 * apfelmus - Vault - a persistent store for values of arbitrary types Domain: apfelmus.nfshost.com, Score: 19, Comments: 2 On Reddit: [26] http://goo.gl/VAE4n Original: [27] http://goo.gl/vvQ7A * Tau is available in Haskell, you can safely avoid Pi Domain: hackage.haskell.org, Score: 19, Comments: 26 On Reddit: [28] http://goo.gl/u5GN8 Original: [29] http://goo.gl/VnrMh * Zipper from any Traversable :: Oleg Domain: okmij.org, Score: 18, Comments: 2 On Reddit: [30] http://goo.gl/xi4ZF Original: [31] http://goo.gl/nqZ3T Top StackOverflow Questions * More on generic Scala functions votes: 20, answers: 4 Read on SO: [32] http://goo.gl/DGH14 * Why is a “type class” called “type class”? votes: 20, answers: 2 Read on SO: [33] http://goo.gl/YbVXX * Is there a Haskell idiom for updating a nested data structure? votes: 14, answers: 2 Read on SO: [34] http://goo.gl/jKEjv * How to tell if a list is infinite? votes: 14, answers: 4 Read on SO: [35] http://goo.gl/fc3e6 * Select random element from a set, faster than linear time (Haskell) votes: 9, answers: 5 Read on SO: [36] http://goo.gl/IRJf3 * GHC not optimising modules other than the main module votes: 9, answers: 0 Read on SO: [37] http://goo.gl/8Ephm * A chess board representation in Haskell votes: 8, answers: 4 Read on SO: [38] http://goo.gl/iSM7d * How to cap memory usage of Haskell threads votes: 7, answers: 2 Read on SO: [39] http://goo.gl/dvLnE * Is this Haskell type inference in action, or something else? votes: 7, answers: 2 Read on SO: [40] http://goo.gl/hTaK7 * Assymmetry in the bind function votes: 6, answers: 7 Read on SO: [41] http://goo.gl/KqMTn 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/92287 2. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/92182 3. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/92225 4. http://permalink.gmane.org/gmane.comp.lang.haskell.general/18916 5. http://permalink.gmane.org/gmane.comp.lang.haskell.general/18929 6. http://permalink.gmane.org/gmane.comp.lang.haskell.general/18930 7. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/92279 8. http://blog.omega-prime.co.uk/?p=127 9. http://www.reddit.com/r/haskell/comments/kbf14/constraint_kinds_for_ghc/ 10. http://www.yesodweb.com/blog/2011/09/limitations-of-haskell 11. http://www.reddit.com/r/haskell/comments/k4lc4/yesod_the_limitations_of_has… 12. http://code.google.com/p/frege/ 13. http://www.reddit.com/r/haskell/comments/kadx6/frege_haskell_like_language_… 14. http://neilmitchell.blogspot.com/2011/09/sharing-in-haskell.html 15. http://www.reddit.com/r/haskell/comments/k4bq9/sharing_in_haskell_how_the_l… 16. http://blog.ezyang.com/2011/09/lets-play-a-game/ 17. http://www.reddit.com/r/haskell/comments/k5okh/lets_play_a_game_how_to_impl… 18. http://okmij.org/ftp/Haskell/impredicativity-bites.html 19. http://www.reddit.com/r/haskell/comments/k5bdb/impredicativity_injectivity_… 20. http://www.haskell.org/haskellwiki/Research_papers/Functional_pearls 21. http://www.reddit.com/r/haskell/comments/kb3w5/functional_pearls/ 22. http://mathias-biilmann.net/posts/2011/9/a-haskell-eventsource-broker 23. http://www.reddit.com/r/haskell/comments/k6fva/an_eventsource_broker_writte… 24. http://cdsmith.wordpress.com/2011/09/10/haskell-for-kids-week-4/ 25. http://www.reddit.com/r/haskell/comments/kbqn0/haskell_for_kids_week_4/ 26. http://apfelmus.nfshost.com/blog/2011/09/04-vault.html 27. http://www.reddit.com/r/haskell/comments/k4l6c/apfelmus_vault_a_persistent_… 28. http://hackage.haskell.org/package/tau 29. http://www.reddit.com/r/haskell/comments/kazfn/tau_is_available_in_haskell_… 30. http://okmij.org/ftp/continuations/zipper.html#traversable 31. http://www.reddit.com/r/haskell/comments/k5bci/zipper_from_any_traversable_… 32. http://stackoverflow.com/questions/7337582/more-on-generic-scala-functions 33. http://stackoverflow.com/questions/7360024/why-is-a-type-class-called-type-… 34. http://stackoverflow.com/questions/7365425/is-there-a-haskell-idiom-for-upd… 35. http://stackoverflow.com/questions/7371730/how-to-tell-if-a-list-is-infinite 36. http://stackoverflow.com/questions/7349080/select-random-element-from-a-set… 37. http://stackoverflow.com/questions/7367070/ghc-not-optimising-modules-other… 38. http://stackoverflow.com/questions/7309554/a-chess-board-representation-in-… 39. http://stackoverflow.com/questions/7297654/how-to-cap-memory-usage-of-haske… 40. http://stackoverflow.com/questions/7342222/is-this-haskell-type-inference-i… 41. http://stackoverflow.com/questions/7319424/assymmetry-in-the-bind-function

1 0

Final CFP: PEPM12 - Workshop on Partial Evaluation and Program Manipulation
by oleg＠okmij.org 14 Sep '11

14 Sep '11

Final Call For Papers Paper submission deadline: Mon, October 10, 2011, 23:59, GMT ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation January 23-24, 2012. Philadelphia, Pennsylvania, USA (co-located with POPL'12) http://www.program-transformation.org/PEPM12 The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation, which spans from refactoring, partial evaluation, supercompilation, fusion and other metaprogramming to model-driven development, program analyses including termination, inductive programming, program generation and applications of machine learning and probabilistic search. PEPM focuses on techniques, supporting theory, tools, and applications of the analysis and manipulation of programs. Each technique or tool of program manipulation should have a clear, although perhaps informal, statement of desired properties, along with an argument how these properties could be achieved. Topics of interest for PEPM'12 include, but are not limited to: - Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. - Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. - Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. - Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of `short papers' for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Student attendants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press and will be included in the ACM Digital Library. Selected papers may later on be invited for a journal special issue dedicated to PEPM'12. Submission Categories and Guidelines Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. The PC Chairs welcome any inquiries about the authoring advice. Regular research papers must not exceed 10 pages in ACM Proceedings style. Short papers are up to 4 pages in ACM Proceedings style. Authors of tool demonstration proposals are expected to present a live demonstration of the described tool at the workshop (tool papers should include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo at the workshop). Important Dates - Paper submission: Mon, October 10, 2011, 23:59, GMT - Author notification: Tue, November 8, 2011 - Workshop: Mon-Tue, January 23-24, 2012 Invited Speakers - Markus Pueschel (ETH Zurich, Switzerland) - Martin Berger (University of Sussex, UK) Program Chairs - Oleg Kiselyov (Monterey, CA, USA) - Simon Thompson (University of Kent, UK) Program Committee Members - Emilie Balland (INRIA, France) - Ewen Denney (NASA Ames Research Center, USA) - Martin Erwig (Oregon State University, USA) - Sebastian Fischer (National Institute of Informatics, Japan) - Lidia Fuentes (Universidad de Malaga, Spain) - John Gallagher (Roskilde University, Denmark and IMDEA Software, Spain) - Dave Herman (Mozilla Research, USA) - Stefan Holdermans (Vector Fabrics, the Netherlands) - Christian Kaestner (University of Marburg, Germany) - Emanuel Kitzelmann (International Computer Science Institute, USA) - Andrei Klimov (Keldysh Institute of Applied Mathematics, Russian Academy of Sciences) - Shin-Cheng Mu (Academia Sinica, Taiwan) - Alberto Pardo (Universidad de la Repu'blica, Uruguay) - Kostis Sagonas (Uppsala University, Sweden and National Technical University of Athens, Greece) - Anthony M. Sloane (Macquarie University, Australia) - Armando Solar-Lezama (MIT, USA) - Aaron Stump (The University of Iowa, USA) - Kohei Suenaga (University of Kyoto, Japan) - Eric Van Wyk (University of Minnesota, USA) - Kwangkeun Yi (Seoul National University, Korea)

1 0

Leipzig (Germany) Haskell Workshop 7 October - Program and Registration
by Janis Voigtländer 12 Sep '11

12 Sep '11

Dear all, On Friday, 7th October, this year's "Haskell in Leipzig" meeting takes place with tutorials (for Haskell beginners, for Scala beginners, on parallel Haskell) and exciting talks. A special emphasis this year is on parallel programming, with a tutorial by Andres Löh (Well-Typed) and a talk by Kevin Hammond (University of St. Andrews, Scotland; talk in English). More information on the website (with program and registration form): http://portal.imn.htwk-leipzig.de/events/hal6-haskell-workshop Best, Janis. -- Jun.-Prof. Dr. Janis Voigtländer http://www.iai.uni-bonn.de/~jv/ mailto:jv@iai.uni-bonn.de

1 0