- Haskell-Cafe - Haskell.org

[ANN] protobuf-simple: Protocol Buffers library
by Martijn Rijkeboer 05 Apr '16

05 Apr '16

Hello, I've just released protobuf-simple, an Haskell implementation of Google's Protocol Buffers with an emphasis on simplicity. This implementation consists of a library for the encoding and decoding of data and an executable for generating Haskell types from proto files. The code can be found at https://github.com/sru-systems/protobuf-simple Kind regards, Martijn Rijkeboer

3 4

Re: [Haskell-cafe] [ANN] protobuf-simple: Protocol Buffers library
by Martijn Rijkeboer 05 Apr '16

05 Apr '16

Hi Alain, > What version of Protocol Buffer are you supporting (I did not find this > info, sorry) ? Are you planning on supporting the V3 if you don't > already? The protobuf-simple library only supports V2. The version wasn't specified anywhere, my bad. I've just added it to the readme. Currently I have no plans supporting V3, since I have no use for it. However, pull requests are always welcome, providing that the library remains "simple". Kind regards, Martijn Rijkeboer

1 0

Journal of Functional Programming - Call for PhD Abstracts
by Graham Hutton 05 Apr '16

05 Apr '16

If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, deadline 30th April 2016. Best wishes, Graham ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th April 2016 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton <graham.hutton(a)nottingham.ac.uk> by 30th April 2016. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 1000 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting in the abstract, but do get in touch if this causes significant problems) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

Darcs+Pijul Hacking Sprint #11 (May 6th-8th, Helsinki)
by Ganesh Sittampalam 05 Apr '16

05 Apr '16

Dear Hackers, The 11th Darcs Sprint, organised by and jointly with the Pijul team, will be in Helsinki, on Friday May 6th-Sunday May 8th, at Aalto University's startup sauna in the Otaniemi Campus. Please check the details at http://pijul.org/2016/04/02/sprint.html Many thanks to Pierre-Étienne Meunier for organising it. The Darcs planning page is at: http://darcs.net/Sprints/2016-05 Here are three things to know: 1. Everybody is welcome to join us. We'd love to have you, whatever your hacking experience with Pijul or Darcs. Also, if you've got a wacky idea for the future of version control, or a cool use for the Darcs or Pijul libraries, you should join us too. 2. If you're attending please add your name to http://wiki.darcs.net/Sprints/2016-05 3. We may be able to reimburse travel costs (within reason!). Let us know if you'd like a reimbursement, and save your receipts. Many thanks to everybody who participated in our fundraising drives or who gave money on the side. Thanks also to the Software Freedom Conservancy for making fundraising and reimbursements so painless! If you can't join us in person, but you'd like to cheer us on, say hello at http://darcs.net/Donations ! See you next month! Ganesh

1 0

Benchmarking harnesses for a more modern nofib?
by Ryan Newton 05 Apr '16

05 Apr '16

Hi all, Is anyone currently working in, or interested in helping with, a new benchmark suite for Haskell? Perhaps, packaging up existing apps and app benchmarks into a new benchmark suite that gives a broad picture of Haskell application performance today? Background: We run nofib, and we run the shootout benchmarks. But when we want to evaluate basic changes to GHC optimizations or data representation, these really don't give us a full picture of whether a change is beneficial. A few years ago, fibon <https://hackage.haskell.org/package/fibon> tried to gather some Hackage benchmarks. This may work even better with Stackage, where there are 180 benchmark suites among the 1770 packages currently. Also, these days companies are building substantial apps in Hackage. Which substantial apps could or should go into a benchmark suite? I see Warp and other web server benchmarks <http://www.infoq.com/news/2015/04/web-frameworks-benchmark-2015?utm_source=…> all over the web. But is there a harness that can time some of this code while running inside a single-machine, easy-setup benchmark suite? Best, -Ryan

3 5

[ANN] bond-haskell: yet another data serialization library
by Andrey Sverdlichenko 05 Apr '16

05 Apr '16

bond-haskell and bond-haskell-compiler is a pair of packages adding Haskell support to bond serialization framework. Bond is an open source, cross-platform framework for working with schematized data. It supports cross-language serialization/deserialization and powerful generic mechanisms for efficiently manipulating data. It is broadly used at Microsoft in high scale services. For a discussion how Bond compares to similar frameworks (most notably protobufs) see https://microsoft.github.io/bond/why_bond.html Microsoft's bond package or other foreign code is not needed for building or using bond-haskell, all dependencies are published to hackage. For those interested, Microsoft's code is published at https://github.com/Microsoft/bond/

1 0

CFP: Functional High Performance Computing 2016
by David Duke 04 Apr '16

04 Apr '16

====================================================================== CALL FOR PAPERS FHPC 2016 The 5th ACM SIGPLAN Workshop on Functional High-Performance Computing Nara, Japan September 22, 2016 https://sites.google.com/site/fhpcworkshops/ Co-located with the International Conference on Functional Programming (ICFP 2016) Submission Deadline: Friday, 10 June, 2016 (anywhere on earth) ====================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. Experience reports are also welcome. Proceedings: ============ FHPC 2016 seeks to encourage a range of submissions, focussing on work in progress and facilitating early exchange of ideas and open discussion on innovative and/or emerging results. To this end submissions should take the form of short (maximum 6 page) papers. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. * Submissions due: Friday, 10 June, 2016 (anywhere on earth) * Author notification: Friday, 8 July, 2016 * Final copy due: Sunday, 31 July, 2016 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. Papers should be no longer than 6 pages. Contributions to FHPC 2016 should be submitted via Easychair, at the following URL: * https://www.easychair.org/conferences/?conf=fhpc16 The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm) Programme Committee: ==================== David Duke (co-chair) University of Leeds, UK Yukiyoshi Kameyama (co-chair) University of Tsukuba, Japan Baris Aktemur Özyeğin University, Turkey Marco Aldinucci University of Torino, Italy Jost Berthold Commonwealth Bank, Australia Kei Davis Los Alamos National Laboratory, USA Kento Emoto Kyushu Institute of Technology, Japan Zhenjiang Hu National Institute of Informatics, Japan Ben Lippmeier University of New South Wales, Australia Rita Loogen University of Marburg, Germany Geoffrey Mainland Drexel University, USA Mike Rainey INRIA, France Mary Sheeran Chalmers University of Technology, Sweden Satnam Singh Facebook, UK

1 0

ANNOUNCE: fadno-braids 0.0.2
by Stuart Popejoy 04 Apr '16

04 Apr '16

Braids represented as Haskell types with support for generation and transformations. Artin generators, Birman-Ko-Lee band generators, isotopy/Reidemeister moves, rendering via Diagrams. https://hackage.haskell.org/package/fadno-braids-0.0.2 Thanks, Stuart

1 0

Fastest way to calculate all the ways to interleave two lists
by David Feuer 03 Apr '16

03 Apr '16

I ran into a fun question today: http://stackoverflow.com/q/36342967/1477667 Specifically, it asks how to find all ways to interleave lists so that the order of elements within each list is preserved. The most efficient way I found is copied below. It's nicely lazy, and avoids left-nested appends. Unfortunately, it's pretty seriously ugly. Does anyone have any idea of a way to do this that's both efficient and elegant? {-# LANGUAGE BangPatterns #-} import Data.Monoid import Data.Foldable (toList) import Data.Sequence (Seq, (|>)) -- Find all ways to interleave two lists interleave2 :: [a] -> [a] -> [[a]] interleave2 xs ys = interleave2' mempty xs ys [] -- Find all ways to interleave two lists, adding the -- given prefix to each result and continuing with -- a given list to append interleave2' :: Seq a -> [a] -> [a] -> [[a]] -> [[a]] interleave2' !prefix xs ys rest = (toList prefix ++ xs ++ ys) : interleave2'' prefix xs ys rest -- Find all ways to interleave two lists except for -- the trivial case of just appending them. Glom -- the results onto the given list. interleave2'' :: Seq a -> [a] -> [a] -> [[a]] -> [[a]] interleave2'' !prefix [] _ = id interleave2'' !prefix _ [] = id interleave2'' !prefix xs@(x : xs') ys@(y : ys') = interleave2' (prefix |> y) xs ys' . interleave2'' (prefix |> x) xs' ys -- What the question poser wanted; I don't *think* there's -- anything terribly interesting to do here. interleavings :: [[a]] -> [[a]] interleavings = foldr (concatMap . interleave2) [[]] Thanks, David

2 10

Month in Haskell Mode March 2016
by Gracjan Polak 02 Apr '16

02 Apr '16

Welcome Haskell Mode users, Haskell Mode progress report for March 2016. For previous issue see February 2016 <https://github.com/haskell/haskell-mode/wiki/Month-in-Haskell-Mode-February…>. Reddit discussion <https://www.reddit.com/r/haskell/comments/4cx7hc/month_in_haskell_mode_marc…> . <https://github.com/haskell/haskell-mode/wiki/Month-in-Haskell-Mode-March-20…>What is Haskell Mode? Haskell Mode is an umbrella project for multiple Emacs tools for efficient Haskell development. Haskell Mode is an open source project developed by a group of volunteers constantly looking for contributions. For more information how to help see https://github.com/haskell/haskell-mode. <https://github.com/haskell/haskell-mode/wiki/Month-in-Haskell-Mode-March-20…>Important developments We have noticed that haskell-mode project on Github is steadily growing in popularity and that is clearly visible on historical growth graph: [image: History of stars on github leading to the number 700] So star us on Github, follow us on Twitter: @HaskellMode <https://twitter.com/HaskellMode>. <https://github.com/haskell/haskell-mode/wiki/Month-in-Haskell-Mode-March-20…>Issues closed in February - Implement REPL RET behaviour on previous prompts #30 <https://github.com/haskell/haskell-mode/issues/30> - Disable Indentation #90 <https://github.com/haskell/haskell-mode/issues/90> - Del/Backspace do not delete text selection in literate mode outside bird lines #379 <https://github.com/haskell/haskell-mode/issues/379> - haskell-mode-jump-to-def-or-tag Requires a running session #650 <https://github.com/haskell/haskell-mode/issues/650> - haskell-indentation-mode does not bind DEL #721 <https://github.com/haskell/haskell-mode/issues/721> - REPL does not work properly until load or reload file second time #765 <https://github.com/haskell/haskell-mode/issues/765> - Create a gifcast for interactive-haskell-mode startup #824 <https://github.com/haskell/haskell-mode/issues/824> - Getting Stack overflow in regexp matcher error in Haskell module having more than 1500loc #830 <https://github.com/haskell/haskell-mode/issues/830> - C-u C-c C-t doesn't add type signature #900 <https://github.com/haskell/haskell-mode/issues/900> - Invoke hasktags more directly #964 <https://github.com/haskell/haskell-mode/issues/964> - Find a professional template for web presence #1117 <https://github.com/haskell/haskell-mode/issues/1117> - Indenting data types seems broken and not configurable #1125 <https://github.com/haskell/haskell-mode/issues/1125> - Syntax propertize could mark layout blocks #1164 <https://github.com/haskell/haskell-mode/issues/1164> - Support non-interactive completions #1171 <https://github.com/haskell/haskell-mode/issues/1171> - Remove haskell-doc-prelude-types from haskell-doc.el #1179 <https://github.com/haskell/haskell-mode/issues/1179> - Deprecate haskell-mode-contextual-space #1182 <https://github.com/haskell/haskell-mode/issues/1182> - Paredit M-s no longer works after upgrade to 13.18 #1183 <https://github.com/haskell/haskell-mode/issues/1183> - Extend non-interactive completions for identifiers from TAGS #1184 <https://github.com/haskell/haskell-mode/issues/1184> - Syntax highlighting is broken for list comprehensions #1185 <https://github.com/haskell/haskell-mode/issues/1185> - haskell-mode and delete-trailing-whitespace delete content of buffer on save #1188 <https://github.com/haskell/haskell-mode/issues/1188> - Indentation is broken for quasiquotation with quote symbols #1189 <https://github.com/haskell/haskell-mode/issues/1189> - Error: (void-function haskell--rx-let) #1209 <https://github.com/haskell/haskell-mode/issues/1209> - Check if haskell-mode-autoloads.el really loads #1210 <https://github.com/haskell/haskell-mode/issues/1210> - haskell-ident-pos-at-point does not work for operators #1213 <https://github.com/haskell/haskell-mode/issues/1213> - REPL often hangs inside :{ and :} #1221 <https://github.com/haskell/haskell-mode/issues/1221> - haskell-mode-contextual-space binding on the wiki is preventing space insertion #1222 <https://github.com/haskell/haskell-mode/issues/1222> - Font-lock misidentifying valid non-TH haskell as quasiquote #1223 <https://github.com/haskell/haskell-mode/issues/1223> - Regression in indentation logic #1232 <https://github.com/haskell/haskell-mode/issues/1232> - Fix inferior-haskell-send-decl-post-filter #1240 <https://github.com/haskell/haskell-mode/issues/1240> - Error message when hitting space bar #1242 <https://github.com/haskell/haskell-mode/issues/1242> <https://github.com/haskell/haskell-mode/wiki/Month-in-Haskell-Mode-March-20…>Pull requests merged in February - Add haskell-interactive-copy-to-prompt. #457 <https://github.com/haskell/haskell-mode/pull/457> - Remove suggested imports completely #1121 <https://github.com/haskell/haskell-mode/pull/1121> - Stylish haskell after save #1137 <https://github.com/haskell/haskell-mode/pull/1137> - Add a test for indentation broken on a quasiquote #1190 <https://github.com/haskell/haskell-mode/pull/1190> - Remove haskell-mode-contextual-space #1191 <https://github.com/haskell/haskell-mode/pull/1191> - Add chapter about spell checking #1192 <https://github.com/haskell/haskell-mode/pull/1192> - Make haskell-indent-region do nothing #1193 <https://github.com/haskell/haskell-mode/pull/1193> - Prevent automatic haskell-doc-mode actions when point in string or comment #1195 <https://github.com/haskell/haskell-mode/pull/1195> - Treat insides of quasiquotes as strings #1196 <https://github.com/haskell/haskell-mode/pull/1196> - Add comma list test for indentation #1198 <https://github.com/haskell/haskell-mode/pull/1198> - Add c2hs mode #1199 <https://github.com/haskell/haskell-mode/pull/1199> - Change a couple hook properties #1201 <https://github.com/haskell/haskell-mode/pull/1201> - Fix some warnings #1202 <https://github.com/haskell/haskell-mode/pull/1202> - Small improvements of completion functions #1203 <https://github.com/haskell/haskell-mode/pull/1203> - Invoke hasktags more directly #1204 <https://github.com/haskell/haskell-mode/pull/1204> - Few doc improvements and a bit of refactoring #1205 <https://github.com/haskell/haskell-mode/pull/1205> - Keep window position when spellchecking #1207 <https://github.com/haskell/haskell-mode/pull/1207> - Improve fonts in manual #1208 <https://github.com/haskell/haskell-mode/pull/1208> - Makefile dependency tracking improvements #1211 <https://github.com/haskell/haskell-mode/pull/1211> - C2hs fixes #1212 <https://github.com/haskell/haskell-mode/pull/1212> - Guard against tabs in elisp files #1214 <https://github.com/haskell/haskell-mode/pull/1214> - Return removed names for backward compatibility #1215 <https://github.com/haskell/haskell-mode/pull/1215> - Handle operators in haskell-ident-pos-at-point too #1224 <https://github.com/haskell/haskell-mode/pull/1224> - Move haskell-interactive-prompt-state related definitions to haskell-utils.el #1226 <https://github.com/haskell/haskell-mode/pull/1226> - Extend static completions with candidates from tags table #1228 <https://github.com/haskell/haskell-mode/pull/1228> - Update completion section #1230 <https://github.com/haskell/haskell-mode/pull/1230> - Small docs improvements #1233 <https://github.com/haskell/haskell-mode/pull/1233> - Remove unused indent-region from menu #1236 <https://github.com/haskell/haskell-mode/pull/1236> - Be more strict about quasi quoter names #1239 <https://github.com/haskell/haskell-mode/pull/1239> - Use plain syntax in inferior-haskell-send-decl-post-filter #1241 <https://github.com/haskell/haskell-mode/pull/1241> <https://github.com/haskell/haskell-mode/wiki/Month-in-Haskell-Mode-March-20…>Contributors active in February Arthur Fayzrakhmanov (Артур Файзрахманов), Artyom, Fice T, Gracjan Polak, Sergey Vinokurov <https://github.com/haskell/haskell-mode/wiki/Month-in-Haskell-Mode-March-20…> Contributing Haskell Mode needs volunteers like any other open source project. For more information see: https://github.com/haskell/haskell-mode/wiki Also drop by our IRC channel: #haskell-emacs at irc.freenode.net. Thanks!

1 0