- Haskell-Cafe - Haskell.org

hand over maintenance of a package
by Corentin Dupont 19 Jun '13

19 Jun '13

Hi Cafe, How to hand over the maintenance of a hackage package? Thanks Corentin

2 1

ML 2013: last call for presentations
by Daan Leijen 19 Jun '13

19 Jun '13

There are still a few days left to write a short talk proposal for the ML workshop 2013! Since there are no official proceedings, this is an ideal venue if you are working on a full submission for some other conference but want to talk about the work early on and get useful community feedback. Hope to see you there, -- Daan ACM SIGPLAN Workshop on ML Sunday, September 22, 2013, Boston MA (co-located with ICFP) http://research.microsoft.com/en-us/um/people/daan/mlworkshop2013 ======================================================================= The ML family of programming languages includes dialects known as Standard ML, OCaml, and F#. These languages have inspired a large amount of computer-science research, both practical and theoretical. This workshop aims to provide a forum where users, developers and researchers of ML languages and related technology can interact and discuss ongoing research, open problems and innovative applications. The ML workshop has adopted an informal model since 2010. It is a workshop with presentations selected from submitted abstracts. There are no published proceedings, so any contributions may be submitted for publication elsewhere. We hope that this format encourages the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. SCOPE ----- We seek research presentations on topics related to ML, including but not limited to * Applications: case studies, experience reports, pearls, etc. * Extensions: higher forms of polymorphism, generic programming, objects, concurrency, distribution and mobility, semi-structured data handling, etc. * Type systems: inference, effects, overloading, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc. * Implementation: compilers, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, etc. * Environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * Semantics: operational, denotational, program equivalence, parametricity, mechanization, etc. Three kinds of submissions will be accepted: Research Presentations, Experience Reports and Demos. * Research Presentations: Research presentations should describe new ideas, experimental results, significant advances in ML-related projects, or informed positions regarding proposals for next-generation ML-style languages. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users. * Experience Reports: Users are invited to submit Experience Reports about their use of ML languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve. * Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML. (Please note that you will need to provide all the hardware and software required for your demo; the workshop organizers are only able to provide a projector.) Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. SUBMISSION INSTRUCTIONS ----------------------- Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. Submissions longer than half a page should include a one-paragraph synopsis suitable for inclusion in the workshop program. Submissions must be uploaded to the following website before the submission deadline (2013-06-21): https://www.easychair.org/conferences/?conf=ml2013 For any question concerning the scope of the workshop or the submission process, please contact the program chair (daan at microsoft.com) IMPORTANT DATES --------------- * Friday, June 21 : Submission * Monday, July 22 : Notification * Sunday, September 22: Workshop PROGRAM COMMITTEE ----------------- Daan Leijen (chair) (Microsoft Research, US) Jesse A. Tov (Harvard University, US) Derek Dreyer (MPI-SWS, Germany) Atsushi Ohori (Univ. of Tohoku, Japan) Lars Bergstrom (Univ. of Chicago, US) Jean Yang (MIT CSAIL, US) Gavin Bierman (Microsoft Research, Cambridge, UK) Tomas Petricek (Univ. of Cambridge, UK) Yukiyoshi Kameyama (Univ. of Tsukuba, Japan) Peter Thiemann (Univ. of Freiburg, Germany) STEERING COMMITTEE ------------------ Matthew Fluet (Chair, Rochester Institute of Technology) Alain Frisch (LexiFi) Jacques Garrigue (Nagoya University) Yaron Minsky (Jane Street) Greg Morrisett (Harvard University) Chung-chieh Shan (Indiana University) Anil Madhavapeddy (Cambridge University) Daan Leijen (Microsoft Research)

1 0

[ANNOUNCE] Juicy.Pixels 3.1
by Vincent Berthoux 18 Jun '13

18 Jun '13

Hello, I'm pleased to announce the release of Juicy.Pixels 3.1 AKA. the "Squeezed juice" release Hackage : http://hackage.haskell.org/package/JuicyPixels GitHub : https://github.com/Twinside/Juicy.Pixels Change list : * Addition of Tiff reading : - 2, 4, 8, 16 bit depth reading (planar and contiguous for each) - CMYK, YCbCr, RGB, Paletted, Greyscale - Uncompressed, PackBits, LZW * Adding basic handling of 16bits pixel types * Some new tiny helper functions (nothing too fancy) * Performances : now between 2x and 3x of the performance of ImageMagick! (some benchmarks at https://soundofapixel.wordpress.com/2013/06/17/juicy-pixels-3-1/ ) Big thanks to Alp Mestanogullari and Jason Dagit who helped making this release possible. Vincent Berthoux

1 0

Strange cabal failure
by Jacques Carette 18 Jun '13

18 Jun '13

In trying to install the lens package, it eventually tries to install transformers-compat-0.1.1.1 which in turn depends on transformers-0.3.0.0 -- however that asksk for transformers-0.3.0.0-3006d6ea13a2c10770bffd4de7a96dc9 which 1) is weird, and 2) doesn't exist!' What gives? Jacques

2 1

Re: [Haskell-cafe] Promoting Haskell via Youtube movies
by Walter Askew 18 Jun '13

18 Jun '13

I think something like Erlang: The Movie is more Haskell's style: http://www.youtube.com/watch?v=uKfKtXYLG78

1 0

[haskell.org Google Summer of Code] The Summer of Code is officially under way.
by Edward Kmett 18 Jun '13

18 Jun '13

The "getting to know your mentor" period has passed and the Summer of Code has officially begun. Keep in mind that mid-term evaluations will begin July 29th, so students will need to hit the ground running. I'm looking forward to seeing what we can accomplish together this year! -Edward

2 1

opengl type confusion
by briand＠aracnet.com 17 Jun '13

17 Jun '13

This, wireframe :: Double -> Double -> Double -> IO () wireframe wx wy wz = do -- yz plane renderPrimitive LineLoop $ do vertex $ Vertex3 0.0 0.0 0.0 vertex $ Vertex3 0.0 wy 0.0 vertex $ Vertex3 0.0 wy wz vertex $ Vertex3 0.0 0.0 wz produces this: No instance for (VertexComponent Double) arising from a use of `vertex' Possible fix: add an instance declaration for (VertexComponent Double) In the expression: vertex In a stmt of a 'do' block: vertex $ Vertex3 0.0 wy 0.0 In the second argument of `($)', namely `do { vertex $ Vertex3 0.0 0.0 0.0; vertex $ Vertex3 0.0 wy 0.0; vertex $ Vertex3 0.0 wy wz; vertex $ Vertex3 0.0 0.0 wz }' and thusly this :-( Changing the declaration to GLdouble -> GLdouble -> GLdouble -> IO() and using (0.0::GLdouble) fixes it, and I'm not clear on why it's not automagic. There are many times I see the compiler doing type conversion an numerican arguments although sometimes the occasional fracSomethingIntegralorOther is required. I was hoping for some enlightenment. Thank you. Brian

4 8

ANN: custom-hackage
by Niklas Hambüchen 17 Jun '13

17 Jun '13

https://github.com/nh2/custom-hackage An (almost trivial) script to generate 00-index.tar.gz which is necessary to run your own `remote-repo`. If you are a company that has to rely on that not everybody with a Hackage account can run arbitrary code on your computer at your next cabal install, and you want to make available only select versions of packages (as opposed to a full hackage mirror), this is for you. Just drop your tars into the directory structure, run the script and serve it over HTTP.

2 2

ANNOUNCE: som-4.0 (for data analysis and visualisation)
by Amy de Buitléir 17 Jun '13

17 Jun '13

Do you have some data that you'd like to understand better? I'm happy to announce a new release of a package called som that may help: http://hackage.haskell.org/package/som https://github.com/mhwombat/som/wiki (wiki) A Kohonen Self-organising Map (SOM) maps input patterns onto a regular grid (usually two-dimensional) where each node in the grid is a model of the input data, and does so using a method which ensures that any topological relationships within the input data are also represented in the grid. This implementation supports the use of non-numeric patterns. In layman's terms, a SOM can be useful when you want to discover the underlying structure of some data. I have a brief tutorial in the wiki, which I hope to expand over the next few weeks. WHAT'S NEW - It is now easier to for non-math types to create a SOM (see defaultSOM) - Added another example to the wiki

2 1

Call for Papers IFL 2013
by publicityifl＠gmail.com 16 Jun '13

16 Jun '13

Hello, Please, find below the second call for papers for IFL 2013. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL CALL FOR PAPERS 25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2013 RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS ACM In-Cooperation / ACM SIGPLAN AUGUST 28 - 30 2013 "Landgoed Holthurnsche Hof" http://ifl2013.cs.ru.nl We are proud to announce that the 25th edition of the IFL series returns to its roots at the Radboud University Nijmegen in the Netherlands. The symposium is held from 28th to 30th of August 2013. 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 2013 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 2013 will use a post-symposium review process to produce the formal proceedings which will be published in the ACM Digital Library. All participants of IFL 2013 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. Invited Speaker --------------- Lennart Augustsson, currently employed by the Standard Chartered Bank, well-known for his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited speaker of IFL 2013. He will be talking about practical applications of functional programming. Submission Details ------------------ Submission deadline draft papers: July 31 Notification of acceptance for presentation: August 2 Early registration deadline: August 7 Late registration deadline: August 14 Submission deadline for pre-symposium proceedings: August 21 25th IFL Symposium: August 28-30 Submission deadline for post-symposium proceedings: November 11 Notification of acceptance for post-symposium proceedings: December 18 Camera-ready version for post-symposium proceedings: February 3 2014 Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at: http://www.acm.org/sigs/sigplan/authorInformation.htm Papers are to be submitted via the conference's EasyChair submission page: https://www.easychair.org/conferences/?conf=ifl2013 Topics ------ IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2013, please contact the PC chair at rinus(a)cs.ru.nl. Topics of interest include, but are not limited to: language concepts type systems, type checking, type inferencing compilation techniques staged compilation run-time function specialization run-time code generation partial evaluation (abstract) interpretation metaprogramming generic programming automatic program generation array processing concurrent/parallel programming concurrent/parallel program execution embedded systems web applications (embedded) domain specific languages security novel memory management techniques run-time profiling performance measurements debugging and tracing virtual/abstract machine architectures validation, verification of functional programs tools and programming techniques (industrial) applications Peter Landin Prize ------------------ The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Programme committee ------------------- Thomas Arts, Quviq, Gothenburg, Sweden Andrew Butterfield, Trinity College, Dublin, Ireland Edwin Brady, University of St. Andrews, UK Clemens Grelck, University of Amsterdam, Netherlands Adam Granicz, IntelliFactory, Budapest, Hungary Jeremy Gibbons, University of Oxford, UK Fritz Henglein, University of Copenhagen, Denmark Stephan Herhut, Intel Labs, Santa Clara, US Ralf Hinze (co-chair), University of Oxford, UK Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary Zhenjiang Hu, University of Tokyo, Japan Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina Johan Jeuring, University of Utrecht, Netherlands Rita Loogen, University of Marburg, Germany Marco T. Morazán, Seton Hall University, New Jersey, US Dominic Orchard, University of Cambridge, UK Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands Tim Sheard, Portland State University, US Sam Tobin-Hochstadt, Northeastern University / Indiana University, US Peter Thiemann, University of Freiburg, Germany Simon Thompson, University of Kent, UK Venue ----- The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software Development Department at the Nijmegen Institute for Computing and Information Sciences. The event is held in the Landgoed Holthurnsche Hof, a rural estate in the woodlands surrounding Nijmegen. It can be reached quickly and easily by public transport.

1 0