August 2012 - Haskell

Haskell Weekly News: Issue 240
by Daniel Santa Cruz 15 Aug '12

15 Aug '12

Welcome to issue 240 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of August 05 to 11, 2012. Quotes of the Week * johnw: Monads are an interface, all bets are off until you see what the interface does for a given Type * Evbn: I heard that Untyped and Well Typed tried to set up a corporate softball league, but they couldn't agree on a ruleset to use. * wuttf: i think i have to learn this language, the type systems i know just dont feel right Top Reddit Stories * Studying protein structures in Haskell Domain: haskellforall.com, Score: 53, Comments: 6 On Reddit: [1] http://goo.gl/94PA4 Original: [2] http://goo.gl/VJJD0 * Haskell Live Episode 2: Time To Refactor is up! Domain: youtube.com, Score: 52, Comments: 14 On Reddit: [3] http://goo.gl/BOmK7 Original: [4] http://goo.gl/5wTVu * Announcing Raskell - user ratings for Hackage Domain: ocharles.org.uk, Score: 43, Comments: 29 On Reddit: [5] http://goo.gl/wgK4E Original: [6] http://goo.gl/7q4RP * Yesod 1.1 Released Domain: yesodweb.com, Score: 38, Comments: 14 On Reddit: [7] http://goo.gl/jiwLx Original: [8] http://goo.gl/B5czq * Running Haskell on Raspberry Pi Domain: alenribic.com, Score: 37, Comments: 5 On Reddit: [9] http://goo.gl/zPcDA Original: [10] http://goo.gl/FsESS * Koka - a "function"-oriented language with side-effect inteference Domain: rise4fun.com, Score: 36, Comments: 18 On Reddit: [11] http://goo.gl/lyKhA Original: [12] http://goo.gl/n35n1 * Is Haskell liberal or conservative? (Response post to Yegge) Domain: blog.ezyang.com, Score: 34, Comments: 51 On Reddit: [13] http://goo.gl/AJ5Wp Original: [14] http://goo.gl/Juis3 * ANNOUNCE: basic-prelude Domain: haskell.org, Score: 34, Comments: 8 On Reddit: [15] http://goo.gl/iiDLq Original: [16] http://goo.gl/4Taz0 * ANNOUNCE: tardis Domain: haskell.org, Score: 31, Comments: 3 On Reddit: [17] http://goo.gl/e6yi7 Original: [18] http://goo.gl/590QR * Any Hackage mirrors? How do you deal with Hackage outages? Domain: self.haskell, Score: 30, Comments: 27 On Reddit: [19] http://goo.gl/1BOMF Original: [20] http://goo.gl/1BOMF * Is there a standard Haskell development setup for Vim? Domain: self.haskell, Score: 29, Comments: 44 On Reddit: [21] http://goo.gl/gSRWp Original: [22] http://goo.gl/gSRWp * O'Reilly Webinar this Thursday: Designing Type-Safe Haskell APIs Domain: yesodweb.com, Score: 28, Comments: 8 On Reddit: [23] http://goo.gl/GNogN Original: [24] http://goo.gl/ZRkrH * acid-state with Yesod Domain: meadowstalk.com, Score: 25, Comments: 13 On Reddit: [25] http://goo.gl/NM4Bc Original: [26] http://goo.gl/8MDXo * Philip Wadler: Faith, Evolution, and Programming Languages [InfoQ] Domain: infoq.com, Score: 25, Comments: 6 On Reddit: [27] http://goo.gl/WFxLq Original: [28] http://goo.gl/fBqx7 * Hiring Haskell Developers (Singapore) Domain: cufp.org, Score: 22, Comments: 13 On Reddit: [29] http://goo.gl/bhqrb Original: [30] http://goo.gl/umhh4 * Verifying Software Transactional Memory: bisimulation in Agda [pdf] Domain: cs.nott.ac.uk, Score: 22, Comments: On Reddit: [31] http://goo.gl/X1zvj Original: [32] http://goo.gl/vJ1gA * iterate (*2) 1 Domain: postimage.org, Score: 17, Comments: 13 On Reddit: [33] http://goo.gl/lwLv1 Original: [34] http://goo.gl/lfIab * Error Handling: How would you solve this? Domain: self.haskell, Score: 16, Comments: 11 On Reddit: [35] http://goo.gl/jHLZ8 Original: [36] http://goo.gl/jHLZ8 Top StackOverflow Questions * Advice defining a data structure in Haskell votes: 13, answers: 4 Read on SO: [37] http://goo.gl/xVxlx * What is the preferred way to combine two sinks? votes: 13, answers: 2 Read on SO: [38] http://goo.gl/QUczW * Why is numCapabilities a pure function? votes: 12, answers: 1 Read on SO: [39] http://goo.gl/4HU27 * Using generics to convert between types of the same “shape” votes: 10, answers: 1 Read on SO: [40] http://goo.gl/gx8ZL * Controlling parallel execution votes: 9, answers: 2 Read on SO: [41] http://goo.gl/zzvtU * Lists of lists of lists votes: 9, answers: 5 Read on SO: [42] http://goo.gl/HEicW * Positive integer type votes: 8, answers: 5 Read on SO: [43] http://goo.gl/xXY49 * Haskell bit arrays votes: 7, answers: 1 Read on SO: [44] http://goo.gl/g9TDQ * How to keep track of number of guesses in a simple guessing game (Haskell) votes: 6, answers: 2 Read on SO: [45] http://goo.gl/VQaWn * A haskell program that controls the mouse votes: 5, answers: 1 Read on SO: [46] http://goo.gl/rtveO Until next time, Daniel Santa Cruz References 1. http://www.haskellforall.com/2012/08/code-example-1.html 2. http://www.reddit.com/r/haskell/comments/y0wlw/studying_protein_structures_… 3. http://www.youtube.com/watch?v=6KkF5-_erns 4. http://www.reddit.com/r/haskell/comments/xy6gt/haskell_live_episode_2_time_… 5. http://ocharles.org.uk/blog/posts/2012-08-05-announcing-raskell.html 6. http://www.reddit.com/r/haskell/comments/xq5ap/announcing_raskell_user_rati… 7. http://www.yesodweb.com/blog/2012/08/announcing-yesod-1-1 8. http://www.reddit.com/r/haskell/comments/xujq6/yesod_11_released/ 9. http://alenribic.com/writings/post/running-haskell-on-raspberry-pi 10. http://www.reddit.com/r/haskell/comments/xs5hn/running_haskell_on_raspberry… 11. http://www.rise4fun.com/koka/tutorial 12. http://www.reddit.com/r/haskell/comments/xwe10/koka_a_functionoriented_lang… 13. http://blog.ezyang.com/2012/08/is-haskell-liberal-or-conservative/ 14. http://www.reddit.com/r/haskell/comments/xzukd/is_haskell_liberal_or_conser… 15. http://www.haskell.org/pipermail/haskell/2012-August/023461.html 16. http://www.reddit.com/r/haskell/comments/y0kld/announce_basicprelude/ 17. http://www.haskell.org/pipermail/haskell/2012-August/023455.html 18. http://www.reddit.com/r/haskell/comments/xt7yg/announce_tardis/ 19. http://www.reddit.com/r/haskell/comments/y1tgc/any_hackage_mirrors_how_do_y… 20. http://www.reddit.com/r/haskell/comments/y1tgc/any_hackage_mirrors_how_do_y… 21. http://www.reddit.com/r/haskell/comments/xxxyi/is_there_a_standard_haskell_… 22. http://www.reddit.com/r/haskell/comments/xxxyi/is_there_a_standard_haskell_… 23. http://www.yesodweb.com/blog/2012/08/webinar-oreilly 24. http://www.reddit.com/r/haskell/comments/xrebo/oreilly_webinar_this_thursda… 25. http://meadowstalk.com/post/migration-to-acid-state 26. http://www.reddit.com/r/haskell/comments/xs0t2/acidstate_with_yesod/ 27. http://www.infoq.com/presentations/Faith-Evolution-Programming-Languages 28. http://www.reddit.com/r/haskell/comments/xtusf/philip_wadler_faith_evolutio… 29. http://cufp.org/jobs/haskell-development-role-within-quant-development-team… 30. http://www.reddit.com/r/haskell/comments/xrpl4/hiring_haskell_developers_si… 31. http://www.cs.nott.ac.uk/~gmh/hu-thesis.pdf 32. http://www.reddit.com/r/haskell/comments/xw1p5/verifying_software_transacti… 33. http://postimage.org/image/ucqiynz17/ 34. http://www.reddit.com/r/haskell/comments/xwfbm/iterate_2_1/ 35. http://www.reddit.com/r/haskell/comments/y1gg0/error_handling_how_would_you… 36. http://www.reddit.com/r/haskell/comments/y1gg0/error_handling_how_would_you… 37. http://stackoverflow.com/questions/11833920/advice-defining-a-data-structur… 38. http://stackoverflow.com/questions/11844523/what-is-the-preferred-way-to-co… 39. http://stackoverflow.com/questions/11851005/why-is-numcapabilities-a-pure-f… 40. http://stackoverflow.com/questions/11887666/using-generics-to-convert-betwe… 41. http://stackoverflow.com/questions/11828654/controlling-parallel-execution 42. http://stackoverflow.com/questions/11850821/lists-of-lists-of-lists 43. http://stackoverflow.com/questions/11910143/positive-integer-type 44. http://stackoverflow.com/questions/11853306/haskell-bit-arrays 45. http://stackoverflow.com/questions/11856135/how-to-keep-track-of-number-of-… 46. http://stackoverflow.com/questions/11896870/a-haskell-program-that-controls…

1 0

ANNOUNCE: sqlite-simple 0.1.0.0: mid-level API to the sqlite database
by Janne Hellsten 15 Aug '12

15 Aug '12

sqlite-simple provides a convenient API to sqlite that performs automatic data conversion between the database and Haskell types. The API has been modeled directly after postgresql-simple which in turn borrows from mysql-simple. The library is available on hackage at http://hackage.haskell.org/package/sqlite-simple * * Example usage First create a test database.. --------------- sqlite3 test.db "CREATE TABLE test (id INTEGER PRIMARY KEY, str text);\ INSERT INTO test (str) VALUES ('test string');" --------------- ..and access it in Haskell: --------------- import Control.Applicative import Database.SQLite.Simple import Database.SQLite.Simple.FromRow data TestField = TestField Int String deriving (Show) instance FromRow TestField where fromRow = TestField <$> field <*> field main :: IO () main = do conn <- open "test.db" execute conn "INSERT INTO test (str) VALUES (?)" (Only ("test string 2" :: String)) r <- query_ conn "SELECT * from test" :: IO [TestField] mapM_ print r close conn --------------- * * A lot of the code is directly borrowed from mysql-simple by Bryan O'Sullivan and from postgresql-simple by Leon P. Smith. Like Leon in postgresql-simple, I've borrowed code and documentation directly from both of these ancestor libraries. This package builds on top of the direct-sqlite package by Irene Knapp. Thanks to all of the above for helpful comments, features and code review. * * Bugs, feature requests? I'm happy to receive bug reports via github on: https://github.com/nurpax/sqlite-simple/issues For discussion, I recommend the database-devel mailing list: http://www.haskell.org/mailman/listinfo/database-devel Enjoy! Janne

1 0

Tuples & Lists
by KC 14 Aug '12

14 Aug '12

"This part of the conditional can be written more succinctly as: all (== test_lcv) [init_lcv, update_lcv, update_lcv']" Wouldn't this be be better as tuple avoiding list overhead or does ghc optimize it out? If it could be done as a tuple. all (== test_lcv) (init_lcv, update_lcv, update_lcv')

3 2

ANNOUNCE: abacate and chuchu
by Marco Túlio Pimenta Gontijo 13 Aug '12

13 Aug '12

Hi. I'm pleased to announce the first release of Abacate and Chuchu. Chuchu is a port of Ruby's Cucumber to Haskell, and Abacate is a parser for the Gherkin language, used by Cucumber. According to their web site, "Cucumber lets software development teams describe how software should behave in plain text. The text is written in a business-readable domain-specific language and serves as documentation, automated tests and development-aid - all rolled into one format." For more information on Cucumber: http://cukes.info/ Example of usage for a stack calculator: calculator.feature: Feature: Division In order to avoid silly mistakes Cashiers must be able to calculate a fraction Scenario: Regular numbers Given that I have entered 3 into the calculator And that I have entered 2 into the calculator When I press divide Then the result should be 1.5 on the screen calculator.hs: import Control.Applicative import Control.Monad.IO.Class import Control.Monad.Trans.State import Test.Chuchu import Test.HUnit type CalculatorT m = StateT [Double] m enterNumber :: Monad m => Double -> CalculatorT m () enterNumber = modify . (:) getDisplay :: Monad m => CalculatorT m Double getDisplay = do ns <- get return $ head $ ns ++ [0] divide :: Monad m => CalculatorT m () divide = do (n1:n2:ns) <- get put $ (n2 / n1) : ns defs :: Chuchu (CalculatorT IO) defs = do Given ("that I have entered" *> number <* "into the calculator") enterNumber When "I press divide" $ const divide Then ("the result should be" *> number <* "on the screen") $ \n -> do d <- getDisplay liftIO $ d @?= n main :: IO () main = chuchuMain defs (`evalStateT` []) Both packages are available at Hackage at http://hackage.haskell.org/package/abacate http://hackage.haskell.org/package/chuchu I have written them after the specification from Felipe Almeida Lessa. Any comments are welcome. -- marcot http://marcot.eti.br/

1 0

ANNOUNCE: imm
by koral 11 Aug '12

11 Aug '12

Hello Haskell community, It's been a while since I've started developing this little project. Now that it is pretty usable, I thought it might deserve a humble annoucement. imm is a gateway from the RSS/Atom world to the mail one: it downloads RSS/Atom feeds, and for each new item it writes a file in a local maildir. It allows using any mail reader (and even any mail-related piece of software) on RSS/Atom feeds as if they were mails themselves. You can read more about it here: https://github.com/k0ral/imm http://hackage.haskell.org/package/imm Nothing trenscendental about it, I hope it will prove useful. Needless to say that any feedback is welcome, especially about Haskell tips and tricks :) . Kind regards. -- koral First release annoucement: check !

1 0

ANNOUNCE: basic-prelude
by Dan Burton 10 Aug '12

10 Aug '12

Michael Snoyman and I are pleased to announce *basic-prelude*, an enhanced core prelude, meant for building up more complete preludes on top of. http://hackage.haskell.org/package/basic-prelude-0.1.0.0 Basic Prelude provides three major things: * Most of the usual exports from Prelude that you have come to know and love * Additional exports from *base* that are commonly used, e.g. Applicative, Monad, and Arrow stuff * Access to common non-base data types: Text, Vector, ByteString, and various collections Basic Prelude will serve as the foundation for both Michael's Classy Prelude and my Modular Prelude, and we hope that it will be attractive enough to serve as the foundation for *your* Prelude replacement as well. Note that BasicPrelude is not intended for standalone use, although importing Data.List alongside it should provide an environment nearly identical to Prelude. Basic Prelude takes the approach of hooking into existing data types and typeclasses, so it doesn't fix issues such as making Functor a superclass of Monad. Since Basic, Classy, and Modular Preludes are all still currently highly experimental, feedback is much appreciated. -- Dan Burton

1 0

Haskell Weekly News: Issue 239
by Daniel Santa Cruz 09 Aug '12

09 Aug '12

Welcome to issue 239 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of July 29 to August 4, 2012. Quotes of the Week * romm: i thought i knew programming. this is like discovering a new continent. * edwardk: i think the comonads are warm fuzzy, and the monads are warm sticky. its easy to get out of a comonad, its soft and you like wearing it. monads on the other hand stick to you and are icky Top Reddit Stories * Update on GHC's new code generator Domain: hackage.haskell.org, Score: 70, Comments: 39 On Reddit: [1] http://goo.gl/NkmqH Original: [2] http://goo.gl/4bUw1 * The first video in my new series of free Haskell live coding videos Domain: youtube.com, Score: 64, Comments: 61 On Reddit: [3] http://goo.gl/f1tmg Original: [4] http://goo.gl/ihwze * hbro, Haskell based browser, ideologically similar to uzbl Domain: github.com, Score: 48, Comments: 18 On Reddit: [5] http://goo.gl/apILX Original: [6] http://goo.gl/STSwc * Thinking Functionally with Haskell | PragProg Domain: pragprog.com, Score: 32, Comments: 6 On Reddit: [7] http://goo.gl/yL4Qj Original: [8] http://goo.gl/mHss0 * Two ways of representing perfect binary trees : Inside 374 Domain: blog.ezyang.com, Score: 30, Comments: 1 On Reddit: [9] http://goo.gl/1GfdH Original: [10] http://goo.gl/JJAl1 * Hoogle: from the command line Domain: self.haskell, Score: 28, Comments: 8 On Reddit: [11] http://goo.gl/Ob9Mw Original: [12] http://goo.gl/Ob9Mw * Free monad transformers Domain: haskellforall.com, Score: 27, Comments: 11 On Reddit: [13] http://goo.gl/XbQAj Original: [14] http://goo.gl/bJfrK * If someone asked you "why Haskell?", what would you say? Domain: self.haskell, Score: 26, Comments: 73 On Reddit: [15] http://goo.gl/LQUUh Original: [16] http://goo.gl/LQUUh * Feedback from someone who learnt Haskell as his first language Domain: blog.raynes.me, Score: 25, Comments: 50 On Reddit: [17] http://goo.gl/QsnfZ Original: [18] http://goo.gl/wFOLN * Why isn't `length` part of `Foldable`? Domain: self.haskell, Score: 23, Comments: 19 On Reddit: [19] http://goo.gl/L0WWX Original: [20] http://goo.gl/L0WWX Top StackOverflow Questions * Monoidal parsing — what is it? votes: 19, answers: 2 Read on SO: [21] http://goo.gl/bVGBo * Applying multiple functions to the same value point-free style in Haskell votes: 7, answers: 4 Read on SO: [22] http://goo.gl/PifBz * How do I get consistent criterion benchmarks, or interpret results across runs? votes: 7, answers: 1 Read on SO: [23] http://goo.gl/qwT5c * Why is this prime test so slow? votes: 7, answers: 4 Read on SO: [24] http://goo.gl/QehSC * Is there a theory that combines category theory/abstract algebra and computational complexity? votes: 7, answers: 1 Read on SO: [25] http://goo.gl/CeAFw * Haskell Polymorphic Tree Sum votes: 7, answers: 1 Read on SO: [26] http://goo.gl/NqYQW * reasonably efficient pure-functional matrix product in Haskell? votes: 7, answers: 3 Read on SO: [27] http://goo.gl/8H6o9 * Is access to internal strucutre of a monad required for monad transformer? votes: 7, answers: 1 Read on SO: [28] http://goo.gl/Yln18 * Haskell sub-typeclass requires UndecidableInstances? votes: 6, answers: 2 Read on SO: [29] http://goo.gl/u9FQh * Haskell Data.List.Class and syntax votes: 6, answers: 1 Read on SO: [30] http://goo.gl/wvKEk Until next time, Daniel Santa Cruz References 1. http://hackage.haskell.org/trac/ghc/blog/newcg-update 2. http://www.reddit.com/r/haskell/comments/xmfes/update_on_ghcs_new_code_gene… 3. http://www.youtube.com/watch?v=ScS8Q32lMxA 4. http://www.reddit.com/r/haskell/comments/xfcmk/the_first_video_in_my_new_se… 5. https://github.com/k0ral/hbro 6. http://www.reddit.com/r/haskell/comments/xe0w3/hbro_haskell_based_browser_i… 7. http://pragprog.com/magazines/2012-08/thinking-functionally-with-haskell 8. http://www.reddit.com/r/haskell/comments/xmip7/thinking_functionally_with_h… 9. http://blog.ezyang.com/2012/08/statically-checked-perfect-binary-trees/ 10. http://www.reddit.com/r/haskell/comments/xov6n/two_ways_of_representing_per… 11. http://www.reddit.com/r/haskell/comments/xijsb/hoogle_from_the_command_line/ 12. http://www.reddit.com/r/haskell/comments/xijsb/hoogle_from_the_command_line/ 13. http://www.haskellforall.com/2012/07/free-monad-transformers.html 14. http://www.reddit.com/r/haskell/comments/xg75g/free_monad_transformers/ 15. http://www.reddit.com/r/haskell/comments/xlb1g/if_someone_asked_you_why_has… 16. http://www.reddit.com/r/haskell/comments/xlb1g/if_someone_asked_you_why_has… 17. http://blog.raynes.me/blog/2011/11/27/the-clojure-community-and-me/ 18. http://www.reddit.com/r/haskell/comments/xk7fz/feedback_from_someone_who_le… 19. http://www.reddit.com/r/haskell/comments/xo05l/why_isnt_length_part_of_fold… 20. http://www.reddit.com/r/haskell/comments/xo05l/why_isnt_length_part_of_fold… 21. http://stackoverflow.com/questions/11808539/monoidal-parsing-what-is-it 22. http://stackoverflow.com/questions/11709350/applying-multiple-functions-to-… 23. http://stackoverflow.com/questions/11712234/how-do-i-get-consistent-criteri… 24. http://stackoverflow.com/questions/11718067/why-is-this-prime-test-so-slow 25. http://stackoverflow.com/questions/11725899/is-there-a-theory-that-combines… 26. http://stackoverflow.com/questions/11742405/haskell-polymorphic-tree-sum 27. http://stackoverflow.com/questions/11768656/reasonably-efficient-pure-funct… 28. http://stackoverflow.com/questions/11792275/is-access-to-internal-strucutre… 29. http://stackoverflow.com/questions/11707171/haskell-sub-typeclass-requires-… 30. http://stackoverflow.com/questions/11770733/haskell-data-list-class-and-syn…

1 0

Departmental Lectureship vacancy in Software Engineering Programme, University of Oxford
by Jeremy.Gibbons＠cs.ox.ac.uk 07 Aug '12

07 Aug '12

[I sent this announcement a few hours ago, but I'm afraid that the URL for the further details was incorrect. Corrected version attached. My apologies for the annoyance. -jg] We have a vacancy in the Software Engineering Programme for a Departmental Lecturer, for a fixed term of four years from 1st December or as soon as possible thereafter. The SEP offers part-time professional education to practitioners in industry; there are two MSc degrees, one in Software Engineering and one in Software and Systems Security. The main responsibility is to teach or assist on courses in core subject areas such as object-oriented programming and design, software testing, model-driven engineering, and data representation and retrieval. The post is intended as a career development position for a junior academic; applicants should have or be just about to complete a doctoral degree in computer science or software engineering, and the contract will not be renewable after the four years. You can read more about the SEP at http://www.softeng.ox.ac.uk/ The full details of the position are here: https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobs… The application closing date is 21st September. Please feel free to write to me if you have any queries. Jeremy Gibbons Professor of Computing Director of Software Engineering Programme www.cs.ox.ac.uk/jeremy.gibbons jeremy.gibbons(a)cs.ox.ac.uk

1 0

Departmental Lectureship vacancy in Software Engineering Programme, University of Oxford
by Jeremy.Gibbons＠cs.ox.ac.uk 07 Aug '12

07 Aug '12

We have a vacancy in the Software Engineering Programme for a Departmental Lecturer, for a fixed term of four years from 1st December or as soon as possible thereafter. The SEP offers part-time professional education to practitioners in industry; there are two MSc degrees, one in Software Engineering and one in Software and Systems Security. The main responsibility is to teach or assist on courses in core subject areas such as object-oriented programming and design, software testing, model-driven engineering, and data representation and retrieval. The post is intended as a career development position for a junior academic; applicants should have or be just about to complete a doctoral degree in computer science or software engineering, and the contract will not be renewable after the four years. You can read more about the SEP at http://www.softeng.ox.ac.uk/ The full details of the position are here: https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.disp… The application closing date is 21st September. Please feel free to write to me if you have any queries. Jeremy Gibbons Professor of Computing Director of Software Engineering Programme www.cs.ox.ac.uk/jeremy.gibbons jeremy.gibbons(a)cs.ox.ac.uk

1 0

Call for Participation: Implementation and Application of Functional Languages 2012
by José Pedro Magalhães 07 Aug '12

07 Aug '12

Apologies for multiple postings. -------------------------------------------------------------------------------- CALL FOR PARTICIPATION 24th Symposium on Implementation and Application of Functional Languages (IFL 2012) University of Oxford, UK, August 30-September 1, 2012 http://www.cs.ox.ac.uk/conferences/IFL2012/ This year IFL will be hosted by the University of Oxford, within the idyllic setting of the dreaming spires and picturesque colleges, which have been the home to academic endeavour and research for over nine centuries. The symposium will be held between 30 August and 1 September, 2012. Early registration closes on 10 August. Late registration closes on 23 August, but conference accommodation can only be booked until 13 August. The registration fee includes lunches and refreshments, BBQ on the first evening, an afternoon excursion, and the conference banquet. To register, please follow the link: http://www.cs.ox.ac.uk/conferences/IFL2012/registration.html Invited Speaker --------------- Fritz Henglein, from the Department of Computer Science at the University of Copenhagen, is the invited speaker of IFL 2012. He will be talking about "generic sorting and partitioning in linear time and fully abstractly—simultaneously". Schedule -------- There will be 38 talks presented at IFL 2012. The schedule of presentations is now online at: http://www.cs.ox.ac.uk/conferences/IFL2012/schedule.html Scope ----- The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2012 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2012 will use a post-symposium review process to produce formal proceedings which will be published by Springer Verlag in the Lecture Notes in Computer Science series. All participants in IFL 2012 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. Organising committee -------------------- Ralf Hinze (Chair), University of Oxford, UK Nicolas Wu, University of Oxford, UK José Pedro Magalhães, University of Oxford, UK

1 0