- Haskell-Cafe - Haskell.org

OT: CLR and JVM
by trent shipley 26 Jun '19

26 Jun '19

Is there a typed, functional language with mature versions on Microsoft's CLR and the JVM? A JVM OCaml to go with F# would be ideal. Trent

1 0

(Extended deadline) Formal Methods 2019 - 1st Workshop on Formal Methods for Blockchains, CFP
by Bruno Bernardo 25 Jun '19

25 Jun '19

[ Please distribute, apologies for multiple postings. ] ========================================================== 1st Workshop on Formal Methods for Blockchains (FMBC) 2019 https://sites.google.com/view/fmbc/home Porto, Portugal, October 11 Part of the 3rd World Congress on Formal Methods http://formalmethods2019.inesctec.pt/ ------------------------------------------------------------- IMPORTANT DATES -------------------------------- Abstract submission: June 30, 2019 (extended) Full paper submission: July 7, 2019 (extended) Notification: July 31, 2019 Camera-ready: September 2, 2019 Conference: October 11, 2019 -------------------------------- -------------------------------- TOPICS OF INTEREST -------------------------------- Blockchains are decentralized transactional ledgers that rely on cryptographic hash functions for guaranteeing the integrity of the stored data. Participants on the network reach agreement on what valid transactions are through consensus algorithms. Blockchains may also provide support for Smart Contracts. Smart Contracts are scripts of an ad-hoc programming language that are stored in the blockchain and that run on the network. They can interact with the ledger’s data and update its state. These scripts can express the logic of possibly complex contracts between users of the blockchain. Thus, Smart Contracts can facilitate the economic activity of blockchain participants. With the emergence and increasing popularity of cryptocurrencies such as Bitcoin and Ethereum, it is now of utmost importance to have strong guarantees of the behavior of blockchain so ware. These guarantees can be brought by using Formal Methods. Indeed, Blockchain software encompasses many topics of computer science where using Formal Methods techniques and tools are relevant: consensus algorithms to ensure the liveness and the security of the data on the chain, programming languages specifically designed to write smart contracts, cryptographic protocols, such as zero-knowledge proofs, used to ensure privacy, etc. This workshop is a forum to identify theoretical and practical approaches of formal methods for blockchain technology. Topics include, but are not limited to: * Design and implementation of Smart Contract languages * Formal models of blockchain applications or concepts * Formal methods for consensus protocols * Formal methods for blockchain-specific cryptographic primitives or protocols Formal languages for Smart * Verification of Smart Contracts -------------------------------- -------------------------------- SUBMISSION -------------------------------- Submit original manuscripts (not published or considered elsewhere) with a maximum of twelve pages (regular papers), six pages (short papers), and two pages (extended abstract) describing new and emerging ideas or summarizing existing work). Each paper should include a title and the name and affiliation of each author. Authors of selected extended-abstracts are invited to give a short lightning talk of up to 15 minutes. At least one author of an accepted paper is expected to present the paper at the workshop as a registered participant. All accepted contributions will be reviewed once more by the program committee after the workshop and before being included in the post-proceedings. submission link https://easychair.org/conferences/?conf=fmbc19 -------------------------------- -------------------------------- PROCEEDINGS -------------------------------- All submissions will be peer-reviewed by at least three members of the program committee for quality and relevance. Accepted regular papers (full and short papers) will be included in the FM workshop post-proceedings, published as a volume of the Lecture Notes in Computer Science (LNCS) by Springer. -------------------------------- -------------------------------- INVITED SPEAKER --------------------------------------------------------------------------------------------------------- Ilya Sergey - Associate Professor at Yale-NUS College and NUS School of Computing, (Singapore). --------------------------------------------------------------------------------------------------------- -------------------------------- -------------------------------- PROGRAM committee -------------------------------- Program Chairs Bruno Bernardo (bruno(a)nomadic-labs.com <mailto:bruno@nomadic-labs.com>) Néstor Cataño (nestor.catano(a)gmail.com <mailto:nestor.catano@gmail.com>) Diego Marmsoler (diego.marmsoler(a)tum.de <mailto:diego.marmsoler@tum.de>) Program Committee Pietro Abate (Nomadic Labs, France) Ijaz Ahmed (University of Madeira, Portuga) Jonathan Aldrich (Carnegie Mellon University, USA) Bernhard Beckert (Karlsruhe Institute of Technology, Germany) Bruno Bernardo (Nomadic Labs, France) Sukriti Bhattacharya (LIST, Luxembourg) Néstor Cataño (Universidad del Norte, Colombia) Maria Christakis (MPI-SWS, Germany) Léa-Zaynah Dargaye (CEA LIST, France) Georges Gonthier (Inria, France) Neville Grech (University of Athens, Greece / University of Malta, Malta) Davide Grossi (University of Groningen, Netherlands) Sorren Hanvey (Liverpool John Moores University, UK) Andreas Lochbihler (Digital Asset, Swiss) Diego Marmsoler (Technische Universitat Munchen, Germany) Anastasia Mavridou (NASA Ames, USA) Simão Melo de Sousa (Universidade da Beira Interior, Portugal) Fabio Mogavero (Università degli Studi di Napoli, Italy) Peter Csaba Ölveczky (University of Oslo, Norway) Karl Palmskog (University of Texas at Austin, USA) Vincent Rahli (University of Luxembourg, Luxembourg) Steve Reeves (University of Waikato, New Zealand) Camilo Rueda (Pontificia Universidad Javeriana, Colombia) Claudio Russo (Dfinity Foundation, USA) Jorge Sousa Pinto (Universidade do Minho, Portugal) Bas Spitters (Aarhus University, Denmark) Christoph Sprenger (ETH, Zürich) Mark Staples (Data61, Australia) Philip Wadler (University of Edinburgh / IOHK, UK) Xi Wu (The University of Queensland, Australia) Santiago Zanella-Beguelin (Microsoft Research Cambridge, UK) --------------------------------

1 0

extra semi-colons
by Johannes Waldmann 25 Jun '19

25 Jun '19

Dear Cafe, why does ghc accept the extra semi-colon in case () of { () -> (); } or even case () of { ;;; () -> () ;;; } Yes I understand that semicolons like this are introduce by the layout rule L (<n> : ts) (m : ms) = ; : (L ts (m : ms)) if m = n https://www.haskell.org/onlinereport/haskell2010/haskellch10.html#x17-17800… and it's convenient to ignore extra ones. But it's not in the grammar? alts → alt1 ; … ; altn (n ≥ 1) https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-460003.… - J.

2 1

Call for Participation: ICFP 2019
by Sam Tobin-Hochstadt 24 Jun '19

24 Jun '19

===================================================================== Call for Participation ICFP 2019 24th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 18 - August 23, 2019 Berlin, Germany http://icfp19.sigplan.org/ Early Registration until July 18! ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, ICFP is co-located with BOBKonf! * Overview and affiliated events: http://icfp19.sigplan.org/home * Program: http://icfp19.sigplan.org/program/program-icfp-2019 * Accepted papers: http://icfp19.sigplan.org/track/icfp-2019-papers * Registration is available via: https://regmaster4.com/2019conf/ICFP19/register.php Early registration ends 18 July, 2019. * Programming contest: https://icfpcontest2019.github.io/ * Student Research Competition: https://icfp19.sigplan.org/track/icfp-2019-Student-Research-Competition * Follow us on Twitter for the latest news: http://twitter.com/icfp_conference In addition to BOBKonf (8/21), there are several events co-located with ICFP: * Erlang Workshop (8/18) * Functional Art, Music, Modeling and Design (8/23) * Functional High-Performance and Numerical Computing (8/18) * Haskell Implementors' Workshop (8/23) * Haskell Symposium (8/22-8/23) * miniKanren Workshop (8/22) * ML Family Workshop (8/22) * OCaml Workshop (8/23) * Programming Languages Mentoring Workshop (8/18) * Scheme Workshop (8/18) * Type-Driven Development (8/18) ### ICFP Organizers General Chair: Derek Dreyer (MPI-SWS, Germany) Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK) Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA) Programming Contest Organiser: Ilya Sergey (Yale-NUS College, Singapore) Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA) Student Research Competition Chair: William J. Bowman (University of British Columbia, Canada) Workshops Co-Chair: Christophe Scholliers (Universiteit Gent, Belgium) Jennifer Hackett (University of Nottingham, UK) Conference Manager: Annabel Satin (P.C.K.) ### PACMPL Volume 3, Issue ICFP 2019 Principal Editor: François Pottier (Inria, France) Review Committee: Lennart Beringer (Princeton University, United States) Joachim Breitner (DFINITY Foundation, Germany) Laura M. Castro (University of A Coruña, Spain) Ezgi Çiçek (Facebook London, United Kingdom) Pierre-Evariste Dagand (LIP6/CNRS, France) Christos Dimoulas (Northwestern University, United States) Jacques-Henri Jourdan (CNRS, LRI, Université Paris-Sud, France) Andrew Kennedy (Facebook London, United Kingdom) Daan Leijen (Microsoft Research, United States) Kazutaka Matsuda (Tohoku University, Japan) Bruno C. d. S. Oliveira (University of Hong Kong, China) Klaus Ostermann (University of Tübingen, Germany) Jennifer Paykin (Galois, United States) Frank Pfenning (Carnegie Mellon University, USA) Mike Rainey (Indiana University, USA) Chung-chieh Shan (Indiana University, USA) Sam Staton (University of Oxford, UK) Pierre-Yves Strub (Ecole Polytechnique, France) German Vidal (Universitat Politecnica de Valencia, Spain) External Review Committee: Michael D. Adams (University of Utah, USA) Robert Atkey (University of Strathclyde, IK) Sheng Chen (University of Louisiana at Lafayette, USA) James Cheney (University of Edinburgh, UK) Adam Chlipala (Massachusetts Institute of Technology, USA) Evelyne Contejean (LRI, Université Paris-Sud, France) Germán Andrés Delbianco (IRIF, Université Paris Diderot, France) Dominique Devriese (Vrije Universiteit Brussel, Belgium) Richard A. Eisenberg (Bryn Mawr College, USA) Conal Elliott (Target, USA) Sebastian Erdweg (Delft University of Technology, Netherlands) Michael Greenberg (Pomona College, USA) Adrien Guatto (IRIF, Université Paris Diderot, France) Jennifer Hackett (University of Nottingham, UK) Troels Henriksen (University of Copenhagen, Denmark) Chung-Kil Hur (Seoul National University, Republic of Korea) Roberto Ierusalimschy (PUC-Rio, Brazil) Ranjit Jhala (University of California, San Diego, USA) Ralf Jung (MPI-SWS, Germany) Ohad Kammar (University of Oxford, UK) Oleg Kiselyov (Tohoku University, Japan) Hsiang-Shang ‘Josh’ Ko (National Institute of Informatics, Japan) Ondřej Lhoták (University of Waterloo, Canada) Dan Licata (Wesleyan University, USA) Geoffrey Mainland (Drexel University, USA) Simon Marlow (Facebook, UK) Akimasa Morihata (University of Tokyo, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Guillaume Munch-Maccagnoni (Inria, France) Kim Nguyễn (University of Paris-Sud, France) Ulf Norell (Gothenburg University, Sweden) Atsushi Ohori (Tohoku University, Japan) Rex Page (University of Oklahoma, USA) Zoe Paraskevopoulou (Princeton University, USA) Nadia Polikarpova (University of California, San Diego, USA) Jonathan Protzenko (Microsoft Research, USA) Tiark Rompf (Purdue University, USA) Andreas Rossberg (Dfinity, Germany) KC Sivaramakrishnan (University of Cambridge, UI) Nicholas Smallbone (Chalmers University of Technology, Sweden) Matthieu Sozeau (Inria, France) Sandro Stucki (Chalmers | University of Gothenburg, Sweden) Don Syme (Microsoft, UK) Zachary Tatlock (University of Washington, USA) Sam Tobin-Hochstadt (Indiana University, USA) Takeshi Tsukada (University of Tokyo, Japan) Tarmo Uustalu (Reykjavik University, Iceland) Benoit Valiron (LRI, CentraleSupelec, Univ. Paris Saclay, France) Daniel Winograd-Cort (University of Pennsylvania, USA) Nicolas Wu (University of Bristol, UK)

1 0

How long does it take to add an entry to https://www.haskell.org/community/?
by Benjamin L. Russell 23 Jun '19

23 Jun '19

Twenty-three days ago, I added an entry to the list of Haskell communities at https://www.haskell.org/community/ and submitted a pull request to have the page (https://github.com/haskell-infra/www.haskell.org/blob/master/community.mark…) updated; however, the page still has not been updated. In addition, it seems that there are 3 other pull requests for the same page by other users that have also not been applied, the earliest of which dates from March 16. How long does it take to add an entry to https://www.haskell.org/community/? (I'm assuming that submitting a pull request to "Update community.markdown" on Github is the correct procedure for those users without write access to the page.) -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Computer Science Document Translator/Editor "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^

1 0

Munich Haskell Meeting, 2019-06-25 @ 19:30
by Leah Neukirchen 23 Jun '19

23 Jun '19

Dear all, Next week, our monthly Munich Haskell Meeting will take place again on Tuesday, June 25 at **Hirschgarten (self-service area)** at 19h30. The weather should be nice! For details see here: http://muenchen.haskell.bayern/dates.html If you plan to join, please add yourself to this dudle so we can reserve enough seats! It is OK to add yourself to the dudle anonymously or pseudonymously. https://dudle.inf.tu-dresden.de/haskell-munich-jun-2019/ Everybody is welcome! cu, -- Leah Neukirchen <leah(a)vuxu.org> https://leahneukirchen.org/

1 0

Re: [Haskell-cafe] [ANNOUNCE] GHC 8.8.1-alpha2 is now available
by Ben Gamari 22 Jun '19

22 Jun '19

George Colpitts <george.colpitts(a)gmail.com> writes: > Will 8.8.1 use llvm 7.0.1? I don't see it mentioned in the release notes. > Yes, this release will target LLVM 7. I'll add a mention to the release notes. Cheers, - Ben

1 0

HiW'19: Call for Talks
by Niki Vazou 21 Jun '19

21 Jun '19

Hey all, Haskell Implementors Workshop is calling for talk proposals. Co-located with ICFP it is an ideal place to describe a Haskell library, a Haskell extension, works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Deadline is June 28th. Call for Talks The 11th Haskell Implementors’ Workshop is to be held alongside ICFP 2019 this year in Berlin. 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 open spaces in the timetable and room for ad-hoc discussion, demos and lightning 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 2019. 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. The Implementors’ Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community encouraged to attend the workshop – we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are specially encouraged to share their work. 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, optimization and benchmarking - Virtual machines and run-time systems - Libraries and tools for development or deployment Talks We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 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 can be made via HotCRP at https://icfp-hiw19.hotcrp.com/ until June 28th (anywhere on earth). We will also have lightning talks session. These have been very well received in recent years, and we aim to increase the time available to them. Lightning talks be ~7mins and are scheduled on the day of the workshop. 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. Invited Speakers - Lennart Augustsson & Satnam Singh Program Committee - Jose Calderon (Galois, Inc) - Jasper Van der Jeugt (Fugue) - Niki Vazou (IMDEA Software Institute) - Ningning Xie (The University of Hong King) - Brent Yorgey (Hendrix College) Best, Niki Vazou

1 1

ANN: network-3.1.0.1
by Evan Borden 20 Jun '19

20 Jun '19

Hello, I'm happy to announce the release of network-3.1.0.1. This release includes a few maintenance changes. http://hackage.haskell.org/package/network-3.1.0.1 Contributors ============ * Evan Borden @eborden * Jack Kelly @endgame * Kazu Yamamoto @kazu-yamamoto * Leif Metcalf @leifmetcalf Changes ======= You can view the changes on github. https://github.com/haskell/network/releases/tag/v3.1.0.1 Thank you to network's contributors for their continued support. -- Evan Borden

1 0

functional languages - pretty good for students!
by Dennis Raddle 19 Jun '19

19 Jun '19

I've been doing computer science tutoring for a few years in languages like Java and Python. I started teaching a 10th grade student Elm recently. I'd like to use Haskell at some point, but because he likes websites and games, Elm seemed more apropos. What I'm discovering is that a functional language like Elm is fairly natural to him and he's learning quickly! Our lessons prior to Elm (including Python, Java, and JavaScript at this point) are extracurricular and he hasn't put much study in-between lessons, so his progress has been slow. I don't think he's developed many "programming muscles." But now, his progress in Elm is faster. One factor, I think, is how concise functional code is. He hasn't developed much "programmer's eye" up to now (by which I mean scanning a lot of code quickly) but Elm, being much shorter, is easier for him to grasp at a glance. He also thinks the algebraic data model is cool. He sees how it's related to classes and subclasses, but he appreciates how relatively simple it is. Mike

2 1