- Haskell-Cafe - Haskell.org

Trying to find a Haskell unikernel project which is not HaLVM.
by Magicloud Magiclouds 01 May '19

01 May '19

Hi, About half an year ago, while I was digging a sanity check issue in 8.6.1, I accidently got a Trac mentioning a Haskell unikernel project. The name is H prefixed (apparently), and a bit of long. Now I am trying to dig more on that project, but could not find it anywhere. Does anyone have a clue? Thanks. -- 竹密岂妨流水过山高哪阻野云飞 And for G+, please use magiclouds#gmail.com.

3 5

Repa array and Data.Vector.Storable.Mutable.
by PICCA Frederic-Emmanuel 01 May '19

01 May '19

Hello I would like a function which allows to freeze a Mutable Vector into a Repa array. of type Array F DIM2 a It seems to me that the the foreignPtr ownership should be transfer to the Repa Array, but I can not find a way to do this... So what is the proper way to achieve this ? thansk for your help. Frederic

2 1

Agda's BUILTIN Naturals in Haskell
by Georgi Lyubenov 01 May '19

01 May '19

Hey, Is there any way to do something similar to what Agda does with natural numbers via BUILTIN pragmas? More precisely I want to have correct-by-construction natural numbers, that at runtime are treated as `Integer`s. My initial idea was to abuse rewrite rules to turn `data N = Z | S N` into `Integer` terms somehow, but I'm not sure if this is possible. ======= Georgi

4 3

MPC 2019 deadline extension
by Graham Hutton 30 Apr '19

30 Apr '19

====================================================================== DEADLINE EXTENSION TO *10 MAY* -- MPC 2019 13th International Conference on Mathematics of Program Construction 7-9 October 2019, Porto, Portugal Co-located with Formal Methods 2019 https://tinyurl.com/MPC-Porto ====================================================================== TIMELINE: Abstract submission 7th May 2019 (AoE) (extended) Paper submission 10th May 2019 (AoE) (extended) Author notification 14th June 2019 Camera ready copy 12th July 2019 Conference 7-9 October 2019 KEYNOTE SPEAKERS: Assia Mahboubi INRIA, France Annabelle McIver Macquarie University, Australia BACKGROUND: The International Conference on Mathematics of Program Construction (MPC) aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. MPC 2019 will be held in Porto, Portugal from 7-9 October 2019, and is co-located with the International Symposium on Formal Methods, FM 2019. Previous conferences were held in Königswinter, Germany (2015); Madrid, Spain (2012); Québec City, Canada (2010); Marseille, France (2008); Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (2002); Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irsee, Germany (1995); Oxford, UK (1992); Twente, The Netherlands (1989). SCOPE: MPC seeks original papers on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Typical areas include type systems, program analysis and transformation, programming language semantics, security, and program logics. The notion of a 'program' is interpreted broadly, ranging from algorithms to hardware. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of 'programming pearls' that present elegant and instructive examples of the mathematics of program construction. SUBMISSION: Submission is in two stages. Abstracts (plain text, maximum 250 words) must be submitted by 7th May 2019. Full papers (pdf, formatted using the llncs.sty style file for LaTex) must be submitted by 10th May 2019. There is no prescribed page limit, but authors should strive for brevity. Both abstracts and papers will be submitted using EasyChair. Papers must present previously unpublished work, and not be submitted concurrently to any other publication venue. Submissions will be evaluated by the program committee according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Accepted papers must be presented in person at the conference by one of the authors. The proceedings of MPC 2019 will be published in the Lecture Notes in Computer Science (LNCS) series, as with all previous instances of the conference. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers from MPC 2019 and MPC 2015 will be invited to submit revised versions to a special issue of Science of Computer Programming (SCP). For any queries about submission please contact the program chair, Graham Hutton <graham.hutton(a)nottingham.ac.uk>. PROGRAM COMMITTEE: Patrick Bahr IT University of Copenhagen, Denmark Richard Bird University of Oxford, UK Corina Cîrstea University of Southampton, UK Brijesh Dongol University of Surrey, UK João F. Ferreira University of Lisbon, Portugal Jennifer Hackett University of Nottingham, UK William Harrison University of Missouri, USA Ralf Hinze University of Kaiserslautern, Germany Zhenjiang Hu National Institute of Informatics, Japan Graham Hutton (chair) University of Nottingham, UK Cezar Ionescu University of Oxford, UK Mauro Jaskelioff National University of Rosario, Argentina Ranjit Jhala University of California, USA Gabriele Keller Utrecht University, The Netherlands Ekaterina Komendantskaya Heriot-Watt University, UK Chris Martens North Carolina State University, USA Bernhard Möller University of Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan Mary Sheeran Chalmers University of Technology, Sweden Alexandra Silva University College London, UK Georg Struth University of Sheffield, UK CONFERENE VENUE: The conference will be held at the Alfândega Porto Congress Centre, a 150 year old former custom's house located in the historic centre of Porto on the bank of the river Douro. The venue was renovated by a Pritzer prize winning architect and has received many awards. LOCAL ORGANISERS: José Nuno Oliveira University of Minho, Portugal For any queries about local issues please contact the local organiser, José Nuno Oliveira <jno(a)di.uminho.pt>. ====================================================================== 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 contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 0

PPDP'19 Deadline extension
by Ekaterina Komendantskaya 28 Apr '19

28 Apr '19

DEADLINE EXTENSION TO *10 MAY* - PPDP 2019 21st International Symposium on Principles and Practice of Declarative Programming 7–9 October 2019, Porto, Portugal Collocated with FM'19 http://ppdp2019.macs.hw.ac.uk ====================================================================== Important Dates --------------- Title and abstract registration 4 May 2019 (AoE) (extended) Paper submission 10 May 2019 (AoE) (extended) Rebuttal period (48 hours) 10 June 2019 (AoE) (extended) Author notification 20 June 2019 (extended) Final paper version 15 July 2019 Conference 7–9 October 2019 About PPDP ---------- The PPDP 2019 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. See http://ppdp2019.macs.hw.ac.uk for further information and information. Invited Speakers ---------------- Amal Ahmed Northeastern University, USA Title: TBA Naoki Kobayashi The University of Tokyo, Japan Title: 10 Years of the Higher-Order Model Checking Project Submission page: ---------------- https://easychair.org/conferences/?conf=ppdp19

1 0

Type information in MVars
by Georgi Lyubenov 28 Apr '19

28 Apr '19

Hi, There are obviously a lot of cool tricks you can do with phantom parameters, but they are all lost when you start looking at a `MVar` holding a type with a phantom parameter. Is there any way to track this type-level information, while still being able to write/read values from multiple threads? ======= Georgi

3 3

ANN: network-3.1.0.0, network-2.8.0.1
by Evan Borden 27 Apr '19

27 Apr '19

Announcing the release of network-3.1.0.0 <http://hackage.haskell.org/package/network-3.1.0.0> and network-2.8.0.1 <http://hackage.haskell.org/package/network-2.8.0.1>. *Version 3.1.0.0* - Made GC of socket safer.(#399 <https://github.com/haskell/network/pull/399>) - Deprecating fdSocket. Use withFdSocket instead to ensure that sockets are GCed in proper time. (#399 <https://github.com/haskell/network/pull/399>) *Version 2.8.0.1* - Ensure that accept returns a correct sockaddr for unix domain. (#400 <https://github.com/haskell/network/pull/400>) - Avoid out of bounds writes in pokeSockAddr. (#400 <https://github.com/haskell/network/pull/400>) As always thank you to network's contributors and bug reporters.

1 0

[Job] Interos is hiring Haskell developers (Arlington, VA and Menlo Park, CA)
by John Evans 26 Apr '19

26 Apr '19

When I posted this on reddit, someone suggested I post it here as well, so: Interos Solutions, Inc. is a fast-growing venture backed company with an AI-driven SaaS application that delivers our commercial and government customers unique insight into their ever-changing business ecosystems. The core of our platform is the compilation, analysis and visualization of dynamically changing big data collected across open source, proprietary and public data sources. By continuously analyzing our "real-time" data stream we provide our customers with unique insights into their business relations, supply chains and other third-party activities. To accelerate the growth of our application, we are putting together a team of Haskell engineers, data analysts, data scientists, UI/UX professionals and product managers. We are committed to building a world class product organization that leverages tools like Haskell and latest machine learning techniques to achieve outsized results as individuals and as a team. Salary and benefits are competitive for the areas. We have offices in Arlington, VA and Menlo Park, CA. We are unable to consider remote employees at this time. https://interos.applicantpro.com/jobs/986652-306361.html https://interos.applicantpro.com/jobs/1004858-306361.html https://interos.applicantpro.com/jobs/1004874-306361.html We are also hiring for Business Analysts, Data Analysts, Data Visualization, DevOps engineers and Data Scientists, email me for links to those opportunities.

1 0

[ANNOUNCE] GHC 8.8.1-alpha1 is now available
by Ben Gamari 26 Apr '19

26 Apr '19

Hello everyone, The GHC team is pleased to announce the first alpha release of GHC 8.8.1. The source distribution, binary distributions, and documentation are available at https://downloads.haskell.org/~ghc/8.8.1-alpha1 A draft of the release notes is also available [1]. This release is the culmination of over 3000 commits by over one hundred contributors and has several new features and numerous bug fixes relative to GHC 8.6: * Profiling now works correctly on 64-bit Windows (although still may be problematic on 32-bit Windows due to platform limitations; see #15934) * A new code layout algorithm for amd64's native code generator * The introduction of a late lambda-lifting pass which may reduce allocations significantly for some programs. * Further work on Trees That Grow, enabling improved code re-use of the Haskell AST in tooling * More locations where users can write `forall` (GHC Proposal #0007) * Further work on the Hadrian build system This release starts the pre-release cycle for GHC 8.8. This cycle is starting quite a bit later than expected due recent work on GHC's CI and release infrastructure. See the GHC Blog [2] for more on this. As always, if anything looks amiss do let us know. Happy compiling! Cheers, - Ben [1] https://downloads.haskell.org/ghc/8.8.1-alpha1/docs/html/users_guide/8.8.1-… [2] https://www.haskell.org/ghc/blog/20190405-ghc-8.8-status.html

1 0

CDelta and Haskell
by Tysha Moore 26 Apr '19

26 Apr '19

Haskell Developers, We at Pyrofex Corporation are working on an exciting new project called CDelta (cdelta.io <http://cdelta.io/>), a transaction based blockchain that will compete with Visa and Venmo. This blockchain is written in Haskell and we are looking for build a team of Haskell developers here in Utah to bring this project to fruition. Our job description is below. We would LOVE to hear from you. Cryptocurrency Software Engineer Are you ready to work for a company of engineers, managed by engineers, and focused on engineers and the work they can do? Your opportunity to work with a brilliant team that’s developing world-changing technology is here—seize it! At Pyrofex, we do things differently: we hire great engineers, give them the tools to do great things, and expect them to do so. We are invested in each team member's growth and foster a workplace that celebrates accomplishments and hard work by focusing on our engineers and what they need in order to be successful. Pyrofex is hiring. Show us your best work. About Us Pyrofex Corporation is changing the blockchain game and quickly growing a world-class team to do it. As one of Utah Valley’s first cryptocurrency startups, founded in 2016 by ex-Googlers Mike Stay and Nash Foster, Pyrofex is busy creating next-generation blockchain platforms that are simple, secure, and always reliable. We take pride in our work. We set high expectations for everyone, from our founders to each team member, and as a result we deliver extraordinary products and services. At Pyrofex, we hire for strength, not for lack of weakness. We hire for capability and talent, not specific knowledge of a tool or language. We hire people who have a passion for quality and innovation. Each team member achieves great things in an environment supporting both independence and collaboration. About You You collaborate well with others to design and architect our complex systems. You take the amorphous sets of needs and use cases and distill these into written designs and specifications. You demonstrate a fastidious attention to detail, knowledge of your programming tools, and the ability to regularly produce working, correct code. You are interested in building high-performance, high-bandwidth networks, and solving interesting problems. Pyrofex hires engineers at all levels of experience—from current students to engineers with decades of experience. Our engineers have worked on compilers, system software, distributed data storage, service and reliability, and JavaScript language security features through their careers. The path each of us has taken to get here is unique and we suspect the same will be true of our best employees. We are most interested in hiring strong programmers with experience working with large datasets and peer-to-peer networking. We desire to hear from candidates with experience with functional programming (Scala, Clojure, F#, SCheme, Haskell) and encryption technology. Our most successful candidates also have a background in computer science, but if you think this job is for you, we'll take a look. About the Job Developers on our team design, implement, test, deploy, and manage a variety of systems and products using technologies like Haskell, GNU/Linux, and C/C++. The engineers on this team will design, implement, test, deploy, and manage a large-scale global software system using Linux and the JVM. Pyrofex builds cryptocurrency systems and large-scale distributed and decentralized applications. If this sounds good to you, then e-mail us at jobs(a)pyrofex.net <mailto:jobs@pyrofex.net> with the subject line, “AWW MAN! I CAN”T WAIT!!!” and your resume or linkedin profile. We would also enjoy a cover letter telling us about your work ethic and your favorite project. If you can send us examples of your code, that would be most excellent. Tysha Moore Talent Acquisition Specialist Pyrofex Corporation

1 0