- Haskell-Cafe - Haskell.org

Call for talks: Haskell Implementors Workshop 2016, Aug 24, Nara
by Edward Z. Yang 09 Jun '16

09 Jun '16

Call for Contributions ACM SIGPLAN Haskell Implementors' Workshop http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2016 Nara, Japan, 24 September, 2016 Co-located with ICFP 2016 http://www.icfpconference.org/icfp2016/ Important dates --------------- Proposal Deadline: Monday, 8 August, 2016 Notification: Monday, 22 August, 2016 Workshop: Saturday, 24 September, 2016 The 8th Haskell Implementors' Workshop is to be held alongside ICFP 2016 this year in Nara. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure, to share their work and discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings; the workshop will be informal and interactive, with a flexible timetable and plenty of room for ad-hoc discussion, demos, and impromptu short talks. Scope and target audience ------------------------- It is important to distinguish the Haskell Implementors' Workshop from the Haskell Symposium which is also co-located with ICFP 2016. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors' Workshop will have no proceedings -- although we will aim to make talk videos, slides and presented data available with the consent of the speakers. In the Haskell Implementors' Workshop, we hope to study the underlying technology. We want to bring together anyone interested in the nitty-gritty details behind turning plain-text source code into a deployed product. Having said that, members of the wider Haskell community are more than welcome to attend the workshop -- we need your feedback to keep the Haskell ecosystem thriving. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- At this stage we would like to invite proposals from potential speakers for talks and demonstrations. We are aiming for 20 minute talks with 10 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions should be made via HotCRP. The website is: https://icfp-hiw16.hotcrp.com/ We will also have a lightning talks session which will be organised on the day. These talks will be 5-10 minutes, depending on available time. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Organisers ---------- * Joachim Breitner (Karlsruhe Institut für Technologie) * Duncan Coutts (Well Typed) * Michael Snoyman (FP Complete) * Luite Stegeman (ghcjs) * Niki Vazou (UCSD) * Stephanie Weirich (University of Pennsylvania) * Edward Z. Yang - chair (Stanford University)

1 0

ANN: Intero for Emacs
by Christopher Done 08 Jun '16

08 Jun '16

Here is a new Emacs package providing *very basic* Haskell programmer needs: - Type checking - Autocompletion - Go to definition - Type of selection - A basic REPL support It’s very simple, tries to *just work*, is based on Stack (required), the Emacs package auto-installs the correct version of its backend within your Stack working directory, supports the recently released GHC 8 all the way back to GHC 7.8.3. Having to configure anything to get basic functionality is considered a bug. The home page is here with details and demonstrations: http://commercialhaskell.github.io/intero/ The GitHub project where you can submit feature requests or bug reports: https://github.com/commercialhaskell/intero Thanks for reading!

1 0

so strange but interesting
by dek5＠yandex.ru 08 Jun '16

08 Jun '16

Hi, I know it might be something strange, but still so interesting, you have to see it here <http://spalogoxe.njtec.com/aebez> Warmest, dek5(a)yandex.ru

1 0

[ANN] New docs for the Aivika simulation platform
by David Sorokin 08 Jun '16

08 Jun '16

Hi Cafe, I wrote a new article "Aivika - A Constructor of General-Purpose Simulation Libraries" [1]. It uncovers key ideas of that how I implemented nested simulation and parallel distributed simulation in the Aivika platform [2]. Monads, immutable data structures, managed side effects, continuations, streams, recursive computations are all those things that are widely used in Aivika. The article can be useful for those who will have a willingness to use my simulation libraries for nested simulation, or distributed simulation, or some other field I cannot still imagine. Finally, I wrote a small tutorial for beginners [3]. It takes a simple discrete event simulation model and shows how we can add a Monte-Carlo experiment, save the results in the CSV files, plot histograms and charts, for the example, the deviation chart with a trend and confidence interval using rule 3-sigma. This tutorial can be used for quick diving into Aivika. All the programming code is written in Haskell. Best regards, David Sorokin Yoshkar-Ola, Russia [1] http://www.aivikasoft.com/en/tutorials/constructor/aivika-constructor.html [2] http://www.aivikasoft.com/en/products/aivika.html [3] http://www.aivikasoft.com/en/tutorials/beginners/aivika-tutorial-for-beginn…

1 0

ANN: SciFlow-0.5.0
by Kai Zhang 08 Jun '16

08 Jun '16

Hi Cafe, I've been working on a package to manage data analysis pipelines, mainly for personal use. But I feel there may be others who are interested in this as well, so I just published an up-to-date version to hackage. Briefly, this package help you design and manage data analysis pipelines written in Haskell, with computation steps being just Haskell functions with type: a -> IO b. I use template Haskell to construct the dependency graph, and computation steps are assembled according to the graph and type checked at compile time. Each step can be configured to run either locally or on a remote machine. Concurrency is also supported. Independent steps will run simultaneously. Take a look at https://github.com/kaizhang/SciFlow for breif introduction and some examples. This package is still under heavy development, but it is quite stable otherwise as I've been using it on our cluster for some time. I hope you would find it useful and any feedback is welcome!

1 0

How to capture the output of GHCi :show command
by Alex 08 Jun '16

08 Jun '16

I would like to be able to bind the output of GHCi's :show to a variable, but I don't see a nice way to do so. Is it possible to do this directly in GHCi? My specific use for this is appending to the current prompt.

2 1

Vacancy: Professor Software technology at Utrecht University
by Johan Jeuring 08 Jun '16

08 Jun '16

The Faculty of Science at Utrecht University is seeking to appoint a Full Professor in Software Technology to lead, alongside the other two chairs, the division of Software Systems within the Faculty. The full Professor directs and supervises research in the field of software technology, specifically in the design and development of formalisms and methodologies for effective program construction and program analysis. She/he develops new initiatives, aiming at research programs in software technology. This includes the acquisition of external research funds, both at the national and international levels, and the dissemination of research results and its applications to the relevant research communities. The full professor has a leading role in teaching and supervision. She or he contributes to the department’s curriculum development at BSc, MSc and PhD levels. The full professor plays an active role in the leadership and administrative duties of the Department and/or Faculty. For more information about this vacancy, go to http://goo.gl/1vLeVc ——————— Johan Jeuring Department of Information and Computing Sciences Utrecht University The Netherlands http://www.jeuring.net/

1 0

On-site GHC-related Haskell/C opportunity at Positive Technologies (Moscow)
by Kosyrev Serge 07 Jun '16

07 Jun '16

Good day! The Moscow office of Positive Technologies (https://www.ptsecurity.com) is looking for an experienced Haskell developer with a strong C background. You will be working in a team that develops a next generation security platform: think widely available, easy to use, dramatically enhanced security. In particular, we want you to help rewrite our core application in Haskell, which in turn requires porting GHC runtime to run on bare metal. Details can be seen in our Reddit posting: https://www.reddit.com/r/haskell/comments/4msraq/onsite_ghcrelated_haskellc… To apply, send you resume or questions to career(a)ptsecurity.com and CC skosyrev(a)ptsecurity.com. -- respectfully, Kosyrev Serge http://www.ptsecurity.com/ Habr: http://habr.ru/company/pt Twitter: @ptsecurity https://twitter.com/ptsecurity

2 1

Re: [Haskell-cafe] New Haddock
by Johannes Waldmann 07 Jun '16

07 Jun '16

.. is hyperlinked source active on hackage when ghc-8 is used? here it is not: http://hackage.haskell.org/package/obdd-0.3.3/reports/1 - J.

1 0

Re: [Haskell-cafe] New Haddock
by Johannes Waldmann 07 Jun '16

07 Jun '16

> You can now document your libraries even more beautifully Yes. Formulas are nice. But the main selling point is hyperlinked source? But it's really not applicable for me at the moment, because when I build with 7.10.3, I get (conflict: haddock-api => ghc>=8.0 && <8.2) I want to use it for documenting source that's not 8-ified. Well, perhaps my source is, but it depends on other packages that currently are not. - J.

1 0