- Haskell - Haskell.org

[GSoC 2019] Call for Ideas
by Jasper Van der Jeugt 28 Dec '18

28 Dec '18

Google Summer of Code will take place again in 2019, for the 15th year of the program [1]! We are very proud that Haskell.Org has been able to take part every year except for the initial year (2015) and 2016-2017, when we had to resort to running our own program. Last year, we were fortunate enough to join again, and we think the results greatly benefited the Haskell community [2]. We are hoping to do the same for 2019. As far as we know, a really important part of our application to GSoC is the list of ideas we provide. For that, I would like to count on all of you. If you are the maintainer or the user of a Haskell project, and you have an improvement in mind which a student could work on during the summer, please submit an idea here: https://summer.haskell.org/ideas.html For context, Google Summer of Code is a program where Google sponsors students to work on open-source projects during the summer. Haskell.org has taken part in this program from 2006 until 2015, and again in 2018. Many important improvements to the ecosystem have been the direct or indirect result of Google Summer of Code projects, and it has also connected new people with the existing community. Projects should benefit as many people as possible – e.g. an improvement to GHC will benefit more people than an update to a specific library or tool, but both are definitely valid. New libraries and applications written in Haskell, rather than improvements to existing ones, are also accepted. Projects should be concrete and small enough in scope such that they can be finished by a student in three months. Warm regards On behalf of the Haskell.Org committee Jasper Van der Jeugt [1]: https://opensource.googleblog.com/2018/11/google-summer-of-code-15-years-st… [2]: https://summer.haskell.org/news/2018-09-01-final-results.html

1 0

[ANN] vabal - the cabal companion
by Francesco Magliocca 28 Dec '18

28 Dec '18

Hello, I'm please to announce that vabal 1.2.0 has been released on Hackage: http://hackage.haskell.org/package/vabal vabal is a software that helps you determine the ghc version needed to compile a cabal package. It reads the cabal file and extracts the constraints imposed on the base package. Then it uses ghcup ( https://github.com/haskell/ghcup ) to obtain a compiler version compatible with the constraints (possibly downloading it from the official ghc mirror) and can be combined with cabal to build the project using the obtained ghc compiler. In this way you can treat the `base` package dependency as any other package dependency and don't have to manually deal with different ghc versions anymore. vabal is meant to be used in collaboration with cabal. It leverages cabal's ability to work with multiple ghc versions, and tries to be the least intrusive possible, so that you can keep using your usual workflow, but won't have to worry about `base` package dependency issues, anymore. You can get started here: https://github.com/Franciman/vabal#quick-start For details please refer to: https://github.com/Franciman/vabal#vabal---the-cabal-companion Ideas, suggestions, opinions and pull requests are very welcome! A big thank you goes to all the contributors that helped me with code, suggestions and ideas: https://github.com/Franciman/vabal#contributors

1 0

ZuriHac 2019 registration now open
by Jasper Van der Jeugt 26 Dec '18

26 Dec '18

Hello Friends of Haskell, We are happy to announce that registration for ZuriHac 2019 is now open. Participation is free but limited to 450 attendees. You can register at: https://zfoh.ch/zurihac2019/#registration This year, we've taken dogfooding a step further and rolled our own open source registration system in Haskell, so please let me know if you experience any issues. ZuriHac 2019 will take place from Friday the 14th to Sunday the 16th of June 2019. It will be hosted at the Hochschule Rapperswil on the shores of beautiful Lake Zurich. This will mark the 8th anniversary of ZuriHac since our beginnings in 2010. The Zurich Haskell Hackathon is a free, international, grassroots, and collaborative coding festival. Our goal is to connect Haskellers, expand the community, learn things from each other, and to work on Haskell libraries, tools, and infrastructure. This year, we will enjoy keynotes from: - Simon Peyton Jones - Susan Potter - Richard Eisenberg - Ryan Trinkle More keynote speakers will be announced. The event is open to any experience level, from beginners to gurus. We want to make a special effort to ensure that the event is welcoming and accessible to people completely new to Haskell. That is why we are super excited that, Julie Moronuki, co-author of Haskell Programming from first principles [1] and Joy of Haskell [2], has kindly agreed to teach a beginners course in one of the classrooms we have available. Additionally, there will be mentors that you can approach during the whole event with any Haskell-related questions. This is a great opportunity to meet your fellow Haskellers in real life, find new contributors for your project, improve existing libraries and tools or even start new ones! You can find all of this information and more on our website: https://zfoh.ch/zurihac2019 We would also like to thank our sponsors Digital Asset [3], DFINITY [4] and HSR [5] for their strong commitment to the Haskell community and for supporting this great event! Looking forward to seeing you there, The Zurich Friends of Haskell association. [1]: https://www.goodreads.com/book/show/25587599-haskell-programming [2]: https://joyofhaskell.com/ [3]: https://digitalasset.com/careers.html [4]: https://dfinity.org/jobs [5]: https://www.hsr.ch/

1 0

Extended Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19)
by Yazan Mualla 21 Dec '18

21 Dec '18

INVITATION FOR PAPERS AND TALKS (extended) The 1st European Forum for the SARL Users and Developers (EuSarlCon-19) ----------------------------------------------------------------------- In conjunction with: * the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019); * the 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-19); * the 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19). May 2, 2019, Leuven, Belgium. http://www.multiagent.fr/Conferences:EuSarlCon19 ------------------------------------------------------------------- Description =========== The 2019 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on May 2, 2019, in Leuven, Belgium. That is the last day of the ANT-2019 conference, the ABMTRANS-19 and the SARL-19 workshops. Abstracts and/or short papers are due on February 15, 2019. The papers are expected to be very short (< 2500 equivalent words). ABMTRANS-19 and SARL-19 are providing an alternative for publishing longer papers. Abstracts and papers can be submitted to ABMTRANS-19, to SARL-19, to SarlCon19, or all. We will coordinate with the main conference so that papers are not presented twice. Submissions directly for the SarlCon should take the form of an abstract (< 1000 words), and are to be submitted before February 15, 2019, through EasyChair. SARL-related submissions to the main conference will as well be considered for inclusion in the SarlCon program. Submission ========== You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2019) not exceeding 1000 words in length. Organizer ========= Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France) <stephane.galland(a)utbm.fr>. Yazan MUALLA (Univ. de Technologie de Belfort-Montbeliard, France). Registration ============ Registration to the European SarlCon 2019 is free. Please notify the organizers if you want to come in order to organize the meeting.

1 0

Extended CFP for The 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL19)
by Yazan Mualla 21 Dec '18

21 Dec '18

CALL FOR PAPERS (extended) The 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19) ------------------------------------------------------------------------------------------- In conjunction with the 10th International Conference on Ambient Systems, Networks, and Technologies ANT 2019 and the European SarlCon 2019 April 29 - May 2, 2019, Leuven, Belgium. http://www.multiagent.fr/Conferences:SARL19 ------------------------------------------------------------------------------------------- Description =========== Research on Agents and Multi-Agent Systems has matured during the last decade and many effective applications of this technology are now deployed. SARL-19 provides an international forum to present and discuss the latest scientific developments and their effective applications, to assess the impact of the approach, and to facilitate technology transfer. SARL workshop was born with the SARL agent programming language, but the scientific results presented in SARL-19 are not restricted to SARL; other languages and agent platforms may be presented. SARL aims at providing the fundamental abstractions for dealing with concurrency, distribution, interaction, decentralization, reactivity, autonomy and dynamic reconfiguration. These high-level features are now considered as the major requirements for an easy and practical implementation of modern complex software applications. We are convinced that the agent-oriented paradigm holds the keys to effectively meet these features. Considering the variety of existing approaches and meta-models in the field of agent-oriented engineering and more generally multi-agent systems, our approach remains as generic as possible and highly extensible to easily integrate new concepts and features. The goal of SARL-19 is to provide a place where the different points of view on the modeling and the simulation with agent platforms and agent programming languages may be discussed. SARL-19 will be held in Leuven, Belgium (April 29 - May 2, 2019) in conjunction with the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019) and the European SarlCon 2019. Topics ====== The main topics of the SARL-18 workshop are (but not restricted to): _Methods and Models: * Agent based Modeling and Simulation; * Agent programming language; * Agent based Simulation; * Agent oriented analysis and design methods; * Ontologies and theories about large urban systems; * Formal models of agent-based simulation; * Organizational models. _Applications: * Traffic/Transport; * Crowds; * Smart grids and smart buildings; * Land-Use; * Energy. Important Dates =============== * Submission deadline: January 4, 2019 (extended); * Notification: February 4, 2019; * Final date for camera-ready copy: March 1, 2019; * Workshop: April 29 - May 2, 2019. Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series online. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, Elsevier. You are invited to submit full length papers in PDF format on EasyChair, not exceeding 6 pages in length, in single-column format including diagrams and references while following the Procedia Computer Science guidelines. Papers that do not follow these guidelines may be rejected without consideration of their merits. All papers will be reviewed by at least two Program Committee members on the basis of technical quality, originality, clarity, and relevance to the track topics listed below. At least one author of each paper must attend the workshop to present the paper. Workshop Chairs =============== Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France). Sebastian RODRIGUEZ (Universidad Technologica National, Argentina). Publicity Chair ================ Yazan Mualla (Univ. de Technologie de Belfort-Montbeliard, France). Program Committee ================= To be completed.

1 0

[EDI40 2019] FINAL DEADLINE: Conference on Emerging Data and Industry 4.0. Leuven, Belgium, April 29 - May 2, 2019
by Wim Ectors 20 Dec '18

20 Dec '18

*************************************************************************** The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40) Leuven, Belgium April 29 - May 2, 2019 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-19/ Workshops: http://cs-conferences.acadiau.ca/EDI40-19/#workshop Important Dates - Paper Submission Due: January 9, 2019 (FIRM) - Acceptance Notification: February 4, 2019 - Camera-Ready Submission: March 1, 2019 EDI40 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer ( http://www.springer.com/computer/hci/journal/779) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) - International Journal of Computing and Informatics (IF: 0.504), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2019 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometers (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the facade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the facade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. EDI40 2019 will be held in conjunction with the 10th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-19/) Conference Tracks - Benefits of Industry 4.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0 - General Track: Digitalization Startegies Committees General Chairs Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Haroon Malik, Marshall University, USA Yves Vanrompay, Hasselt University, Belgium Local Chair An Nevns, Hasselt University, Belgium Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Journals Chair Ansar Yasar, Hasselt University, Belgium Publicity Chairs Wim Ectors, Hasselt University, Belgium Faouzi Kammoun, Ecole SupŽrieure PrivŽe d'IngŽnierie et de Technologies, Tunis Fatma Outay, Zayed University, UAE Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-19/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge <https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbj…>

1 0

[ANT2019] FINAL DEADLINE: Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019)
by Wim Ectors 20 Dec '18

20 Dec '18

The 10th International Conference on Ambient Systems, Networks and Technologies (ANT) Leuven, Belgium April 29 - May 2, 2019 Conference Website: http://cs-conferences.acadiau.ca/ant-19/ Workshops: http://cs-conferences.acadiau.ca/ant-19/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-19/#tutorial Important Dates - Paper Submission Due: January 9, 2019 (Firm) - Acceptance Notification: February 4, 2019 - Camera-Ready Submission: March 1, 2019 ANT 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) - International Journal of Computing and Informatics (IF: 0.504), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) ANT 2019 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the fa ade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. Above them the fa ade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. ANT 2019 will be held in conjunction with the 2nd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-19/) Conference Tracks - Agent Systems, Intelligent Computing and Applications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Human Computer Interaction - Internet of Things - Mobile Networks, Protocols and Applications - Modeling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track Committees General Chairs Atta Badii, University of Reading, UK Albert Zomaya, The University of Sydney, Australia Program Chairs Hossam Hassanein, Queen's University, Canada Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Local Chair Yves Vanrompay, Hasselt University, Belgium Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Abdelfettah Belghith, University of Manouba, Tunisia Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Journals Chair Michael Sheng, Macquarie University, Australia Vice Chairs Imene Lahyani Abdennadher, University of Sfax, Tunisia Boulmakoul Azedine, Hassan II University, Morocco Marcel Baunach, Graz University of Technology, Austria Tom Bellemans, Hasselt University, Belgium Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et MŽtiers, France Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Khalil Drira, LAAS-CNRS, France Wael El-Medany, University of Bahrain, Bahrain Jason Jaskolka, Carleton University, Canada Flavio Lombardi, Roma Tre University of Rome, Italy Haroon Malik, Marshall University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Manuele Kirsch Pinheiro, University of Paris 1, France Cristina Seceleanu, MŠlardalen University, VŠsterŒs, Sweden Khaled Shaaban, Qatar University, Qatar Ridha Soua, Luxembourg University, Luxembourg Yves Vanrompay, Hasselt University, Belgium Yun Zhou, Shaanxi Normal University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Davidekova Monika, Comenius University, Slovak Republic International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-19/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge <https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbj…>

1 0

PhD studentship on "Probabilistic Property-Based Testing" at the University of Edinburgh
by James Cheney 14 Dec '18

14 Dec '18

We are now accepting applications for 3-year PhD studentship on a project called "Probabilistic property-based testing" in the School of Informatics, University of Edinburgh. http://homepages.inf.ed.ac.uk/jcheney/group/ppbt.html The aim of the project is to explore the hypothesis that property-based testing (e.g. QuickCheck) is a form of probabilistic programming. Property-based testing is a widely used and powerful form of lightweight randomized testing, but it has been developed largely independently of increasingly sophisticated probabilistic programming languages and inference algorithms. This project will study the consequences of adopting the perspective that property-based testing is a form of probabilistic programming, and investigate subproblems such as inducing good properties from programs or test data; testing complex programs using advanced sampling techniques that provide error bounds; and synthesizing suitable data generators or automatically providing concise explanations why a property fails to hold. Possible application areas include randomized testing of programming language designs and type systems themselves (following e.g. PLT Redex or logic programming-based approaches to language specification), as well as traditional system specification and testing problems. The studentship is tenable for 3 years, for a student of any nationality, and includes a stipend of £14,777 per year (tax free and increasing with inflation), supported by Huawei. The School is also partnered with data science and AI centres of excellence such as The Alan Turing Institute in London and the Bayes center in Edinburgh, and there will be ample opportunities to engage with these institutes, via workshops and other schemes. The ideal candidate would have a strong background in functional or logic programming (e.g. Haskell, OCaml, Erlang, Prolog), or a strong background in machine learning. Candidates already familiar with probabilistic programming or symbolic machine learning (e.g. relational learning, probabilistic logic programming) are especially welcome. Applications from prospective students interested in starting a PhD in the next academic year should be submitted by March 18, 2019 at the latest. Applications received by January 31, 2019 will receive full consideration; after that date applications will be considered until the position is filled. The anticipated start date is September 2019 but earlier start dates may be possible. To apply, please submit an application to the 3-year CISA PhD programme: https://www.star.euclid.ed.ac.uk/public/urd/sits.urd/run/siw_ipp_lgn.login?… Further instructions and information about PhD study at CISA and the University of Edinburgh is available here: http://web.inf.ed.ac.uk/cisa/study-with-us https://www.ed.ac.uk/informatics/postgraduate/apply For more information please contact Vaishak Belle (vaishak(a)ed.ac.uk) and/or James Cheney (jcheney(a)inf.ed.ac.uk)

1 0

Announce: Haskell Platform 8.6.3
by Gershom B 13 Dec '18

13 Dec '18

On behalf of the Haskell Platform team, I'm happy to announce the release of Haskell Platform 8.6.3 Now available at https://www.haskell.org/platform/ This includes GHC 8.6.3, cabal-install 2.4.1.0, and stack 1.9.3. This is the first platform released in the 8.6 series, as we have waited until a number of bugfix ghc releases stabilized things across all core platforms (linux, os x, windows). A full list of contents is available at https://www.haskell.org/platform/contents.html The list of GHC changes is available at: https://ghc.haskell.org/trac/ghc/blog/ghc-8.6.1-released https://ghc.haskell.org/trac/ghc/blog/ghc-8.6.2-released https://ghc.haskell.org/trac/ghc/blog/ghc-8.6.3-released A list of cabal changes is available at: https://hackage.haskell.org/package/cabal-install-2.4.1.0/changelog A list of stack changes is available at: https://docs.haskellstack.org/en/stable/ChangeLog/#v193 There are a number of important changes in this release, with more changes planned in the future. First: Win32 builds are working again and provided. Thanks to all the folks (especially Tamar) who helped sort out the build issues on that platform. Second, only core builds are provided, not "full" builds. This release is the first one where cabal-install warns on legacy commands and asks users to either use the v1-prefix for them or the v2/new prefix to move to the new-build system. As such, providing additional global packages outside of the core set now makes even less sense than in the past, where we had been already discouraging it for some time. Finally, there are no linux generic builds provided, and instead we recommend use of the ghcup tool (https://github.com/haskell/ghcup/) in combination with the stack install script. We feel this gives a smoother and better experience than the existing install process, being less invasive (not requiring root) and more flexible (by running ghc's own configure script it can better detect differences in configuration between distros). What does this all mean for the future of the platform? What I would like to move towards is the following. First: replacing the mac installer by ghcup as well in the near future. While a native installer has its advantages, the same reasons that ghcup is recommended on linux hold for mac as well, although with somewhat less force. Because of how Windows works, the difficulties of moving from a native installer are much more real, and we would anticipate keeping a native installer for the time being. Second: with the platform installers (or recommended installers) now really a delivery mechanism for core binaries and nothing else, to move to split the platform into two components. A) a set of recommended install instructions for major platforms (and a native windows installer), and B) a set of recommended and known-compatible packages which cover most "extended standard-lib" bases and which we again grow much more freely, as in the past. This will require some redesign and reconceptualization of the website, and would be a great opportunity for people that want to chip-in to move things forward to get involved. Please reach out if you'd like to lend a hand! Happy Haskell Hacking all, Gershom

1 0

Call for Haskell.org Committee Nominations
by George Wilson 13 Dec '18

13 Dec '18

Dear Haskellers, It is time to put out a call for new nominations (typically but not necessarily self-nominations) to the haskell.org committee. We have one member of our committee due for retirement -- our chair Gershom Bazerman. To nominate yourself, please send an email to committee at haskell.org by the 7th of January, 2019. Retiring members are eligible to re-nominate themselves. Please feel free to include any information about yourself that you think will help us to make a decision. The Haskell.org committee serves as a board of directors for Haskell.org, a 501(c)3 nonprofit which oversees technical and financial resources related to Haskell community infrastructure. Being a member of the committee does not necessarily require a significant amount of time, but committee members should aim to be responsive during discussions when the committee is called upon to make a decision. Strong leadership, communication, and judgement are very important characteristics for committee members. The role is about setting policy, providing direction/guidance for Haskell.org infrastructure, planning for the long term, and being fiscally responsible with the Haskell.org funds (and donations). As overseers for policy regarding the open source side of Haskell, committee members must also be able to set aside personal or business related bias and make decisions with the good of the open source Haskell community in mind. We seek a broad representation from different segments of the Haskell world -- including but not limited to those focused on education, those focused on industrial applications, those with background in organizing users-groups, and those focused directly on our technical infrastructure. More details about the committee's roles and responsibilities are on https://wiki.haskell.org/Haskell.org_committee If you have any questions about the process, please feel free to e-mail us at committee at haskell.org, or contact one of us individually. Regards, George Wilson

1 0