- Haskell-Cafe - Haskell.org

ML Family Workshop 2022: Final Call for Presentations
by Benoit Montagu 17 May '22

17 May '22

We are happy to invite submissions to the ML Family Workshop 2022, to be held during the ICFP conference week on Thursday, September 15th. The ML family workshop warmly welcomes submission touching on the programming languages traditionally seen as part of the “ML family” (Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, etc.). The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of the members of the ML family. We also encourage presentations from related languages (such as Haskell, Scala, Rust, Nemerle, Links, Koka, F*, Eff, ATS, etc), to exchange experience of further developing ML ideas. The workshop does not have proceedings, making it the perfect venue to run some ideas with the community or present some work in progress within a friendly environment. The PC has a broad expertise and submissions are 3 pages long: when in doubt, just submit! Currently, the workshop is scheduled to be an in-person event. We will give to the authors of accepted abstracts the opportunity to give their talks remotely if necessary, in case they could not travel. See the detailed CFP online on the ICFP website: https://icfp22.sigplan.org/home/mlfamilyworkshop-2022#Call-for-Presentations Important dates --------------- Friday 3th June (any time zone): Abstract submission deadline Tuesday 28th June: Author notification Thursday 15th August: ML Family Workshop Program committee ----------------- Kenichi Asai (Ochanomizu University) Arthur Azevedo de Amorim (Boston University) Dariusz Biernacki (University of Wrocław) Stephen Dolan (Jane Street) Kavon Farvardin (Apple) Armaël Guéneau (Inria) Sam Lindley (University of Edinburgh) Guido Martínez (CIFASIS-CONICET) Keiko Nakata (SAP Innovation Center Potsdam) Lionel Parreaux (Hong Kong University of Science and Technology) Matija Pretnar (University of Ljubljana) Mike Rainey (Carnegie Mellon University) Yann Régis-Gianas (Nomadic Labs) KC Sivaramakrishnan (IIT Madras and Tarides) Ningning Xie (University of Cambridge) Chair: Benoît Montagu (Inria) Submission details ------------------ See the online CFP for the details on the expected submission format. Submissions must be uploaded to the workshop submission website https://ml2022.hotcrp.com/ before the submission deadline.

1 0

Assistant Professorships in Nottingham
by Graham Hutton 17 May '22

17 May '22

Dear all, As part of a strategic expansion, the School of Computer Science at the University of Nottingham is seeking to make multiple new appointments at the Assistant Professor level: https://tinyurl.com/38f753d5 These positions are aimed at early career academics who recently completed or will soon complete their PhD, and have a reduced teaching responsibility for the first three years. Applications in the area of the Functional Programming (FP) lab are strongly encouraged! The FP lab is keen to receive applications from candidates with a strong publication record (e.g. papers in leading venues such as LICS, POPL, ICFP, JFP, TOPLAS, etc) and the potential to secure external funding. The group recently grew its profile in type theory with the appointment of Nicolai Kraus and Ulrik Buchholtz. To complement these appointments, we particularly welcome applications from candidates who would bring further or other areas of expertise. Further information about the FP lab is available from: https://tinyurl.com/y2ekdkqa The deadline for applications is Tuesday 24th May 2022. -- Graham Hutton and Thorsten Altenkirch 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

Haskellers needed @ Superrare Labs
by Ruben Astudillo 13 May '22

13 May '22

Hello haskell-cafe . I have been working with SuperRare Labs for more than a year and they are looking to grow the team! I know the feelings of the community about NFTs and Blockchains. Those arguments have been said (and said better!) for example on the haskell sub-reddit. Still, I think there are neat pieces of technology on our backend and we have a good work environment where we can do some neat engineering. SuperRare labs is a US based company with US level compensation, fully remote (I am Chilean and I feel in-the-loop). Technology wise we are into Haskell, GraphQL (template haskell interop), `extensible`-records, Postgresql and hs-web3[0]. If any of those technologies interest you, _please_ send a message at the forms at greenhouse[1], in particular on the backend engineer role. Also, send me a private email so we can chat, answer your questions and/or see ways to speed up the process. [0]: <https://hackage.haskell.org/package/web3> [1]: <https://boards.greenhouse.io/superrarelabs> -- Rubén. (pgp: 1E88 3AC4 89EB FA22)

1 0

Final call for participation: Advanced Functional Programming Summer School in Utrecht
by Swierstra, W.S. (Wouter) 13 May '22

13 May '22

# Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 04 July – 08 July 2022 http://www.afp.school **Please register before June 17th ** ## ABOUT The Advanced Functional Programming summer school has been running for more than ten years. We aim to educate aspiring Haskell programmers beyond the basic material covered by many textbooks. After running remotely for the past two years, we're thrilled to announce that this year's edition will take place on site in Utrecht. We are monitoring the pandemic closely - and will make contingency plans if we cannot meet in person; at the moment, we do not have plans for remote participation. The lectures will cover several more advanced topics regarding the theory and practice of Haskell programming, including topics such as: * lambda calculus; * monads and monad transformers; * lazy evaluation; * generalized algebraic data types; * type families and type-level programming; * concurrency and parallelism. The summer school consists of a mix of lectures, labs, and a busy social program. ## LECTURERS Utrecht staff: * Gabriele Keller * Trevor McDonell * Wouter Swierstra ## PREREQUISITES We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as lists and trees. There is a great deal of material readily available that covers this material. If you've already started learning Haskell and are looking to take your functional programming skills to the next level, this is the course for you. ## DATES **Registration deadline: June 17th, 2022** School: 04 July – 08 July 2022 ## COSTS 750 euro - Profession registration only 250 euro - Student registration fee 200 euro - Housing fee We will charge a registration fee of 750 euros (or 250 euros for students) to cover our expenses. If this is problematic for you for any reason at all, please email the organisers and we can try to offer you a discounted rate or a fee waiver. We have a limited number of scholarships or discounts available for students that would not be able to attend otherwise, especially for women and under-represented minorities. ## FURTHER INFORMATION Further information, including instructions on how to register, is available on our website: http://www.afp.school

1 0

profiling cpu usage of concurrent program
by Olaf Klinke 12 May '22

12 May '22

Dear Café, I have a network application of which I would like to know which parts are responsible for the majority of CPU usage. Conventional GHC profiling does not quite work here, because 1. +RTS -p shows that the program spends most of its *time* idling, where cost centers of interest are so insignificant that the precision of %time in the .prof format make it impossible to determine the relative execution time of selected cost centers. The Wiki [1] suggests the -P option. 2. Even ThreadScope (haven't tried yet) may show me only what's expected: The work is done in worker threads. I am not so much concerned about the level of concurrency or parallelism, but which parts occupy the cpu. I ran the program with +RTS -P and sorted the output by ticks. Naturally, functions like threadDelay and liftIO come at the top. But these all stand for waiting IO actions. As first approximation, I might ignore these and consider the remainder. Is that a valid approach? Is there a profiler that measures something like CPU cycles per cost center? Should I turn to ghc-events-analyze [2]? Or perf? Execution time is not critical (as long as the queue is emptied faster than data is flowing in) but maxing out the computing resources may become critical because it mandates more expensive hardware. I've been pitching Haskell to my bosses by promising better performance (compared to Python). Appropriate profiling seems essential to keep that promise. Olaf [1] https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/profiling.h… [2] https://hackage.haskell.org/package/ghc-events-analyze

1 0

Call for Reviewers APLAS 2022 Artifact Evaluation Committee
by Arpita Dutta 12 May '22

12 May '22

Dear all; The /20th Asian Symposium on Programming Languages and Systems/ (APLAS'22) is going to be holding its first /Artifact Evaluation Committee/ (AEC). The artifact evaluation process aims to promote, share, and catalogue the research artifacts of papers accepted to the APLAS research track. We are looking for motivated researchers at all academic stages (PhD Students, Researchers, Lecturers, & Professors) to join us on the inaugural APLAS'22 AEC. The self-nomination form is available at: https://forms.gle/rJREG9DiFQHegZmD9 To nominate other people please use the following form: https://forms.gle/KFiQYLjELMsEjGLp8 As a committee member your primary responsibility will be to review artifacts submitted by authors of accepted papers and ensure that the artifact is a faithful representation of the accepted paper's results. This will involve interacting with some tooling provided by the authors, check if the results of the main paper are consistent with the claims in the paper and are also reproducible for researchers to come. APLAS will use a three-phase artifact review process: Kick-The-Tyres; Review the Artifact; and Iron-out-the-Wrinkles. Reviewing guidance for committee members will be made available once the committee has been formed. We will close nominations on: Friday 08 July 2022 (AOE) and notify the selected committee members on: Friday 15 July 2022 (AOE) We expect most of the reviewing process to be performed between 22nd August 2022 and 19th September 2022. We expect each artifact to take around eight hours to review and we will look to assign each reviewer three to four reviews. For each artifact we will assign a Lead Reviewer to lead the reviewing process. Salient information about the reviewing process can be found online: https://2022.splashcon.org/track/aplas-2022-aec#Reviewer-Information<https://2022.splashcon.org/track/aplas-2022-aec#Reviewer-Information> Come join us to improve the quality of research in our field! Thanks Arpita Dutta and Jan de Muijnck-Hughes APLAS'22 AEC Co-Chairs. This call was adapted from the PLDI'22 AEC Call for Nominations.

1 0

BX 2022 - Call for papers (deadline 14 May)
by Li-yao Xia 10 May '22

10 May '22

# Tenth International Workshop on Bidirectional Transformations (BX 2022) 8 July 2022, Nantes, France Part of STAF 2022 (5-8 July): https://staf2022.univ-nantes.io/ BX 2022 homepage: http://bx-community.wikidot.com/bx2022:home ## Overview Bidirectional transformations (BX) are a mechanism for maintaining the consistency between two or more related (and heterogeneous) sources of information (e.g., relational databases, software models and code, or any other artefacts following standard or domain-specific formats). The strongest argument in favour of BX is its ability to provide a synchronization mechanism that is guaranteed to be correct by construction. BX has been attracting a wide range of research areas and communities, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation). Nowadays, the fast-growing complexity of software- or data-intensive systems has forced industry and academia to use and investigate different development techniques to manage the many different aspects of the systems. Researchers are actively investigating the use of bidirectional approaches to tackle a diverse set of challenges with various applications including model-driven software development, visualization with direct manipulation, big data, databases, domain-specific languages, serializers, and data transformation, integration and exchange. BX 2022 is a dedicated venue for BX in all relevant fields and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. Papers for BX 2022 can be submitted on EasyChair: https://www.easychair.org/conferences/?conf=bx2022 ## Important Dates - Paper submission: 14 May, 2022 - Author notification: 28 May, 2022 - Workshop: 8 July, 2022 ## Topics The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - bidirectional programming languages and frameworks - software development with BX - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for BX - analysis and classification of requirements for BX - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - model-driven and model-based approaches - survey and comparison of BX technologies - case studies and tool support - applications and experiences of adopting BX in the real world ## Categories of Submissions Five categories of submissions are considered: 1. Full Research Papers (13-15 pages) - in-depth presentations of novel concepts and results - applications of bx to new domains - survey papers providing novel comparisons between existing bx technologies and approaches, case studies 2. Tool Papers (7-8 pages) - guideline papers presenting best practices for employing a specific bx approach (with a specific tool) - presentation of new tools or substantial improvements to existing ones - qualitative and/or quantitative comparisons of applying different bx approaches and tools 3. Experience Report (7-8 pages) - sharing experiences and lessons learned with bx tools/frameworks/languages - how bx is used in (research/industrial/educational) projects 4. Short Papers (5 pages) - work in progress - small focused contributions - position papers and research perspectives - critical questions and challenges for bx 5. Talk Proposals (2 pages) - proposed lectures about topics of interest for bx - existing work representing relevant contributions for bx - promising contributions that are not mature enough to be proposed as papers of the other categories ## Submission guidelines Papers should use the new CEUR-ART style, single column, available as an Overleaf page or as a zip archive: https://www.overleaf.com/read/gwhxnqcghhdt http://ceur-ws.org/Vol-XXX/CEURART.zip and must be submitted via EasyChair: https://www.easychair.org/conferences/?conf=bx2022 If your submission is not a Full Research Paper, please include the intended submission category in the Title field of EasyChair’s submission form. Tool papers, experience reports and short papers will be mapped to the short paper category in CEUR (having between 5-9 standard pages, 1 standard page = 2500 characters), whereas full research papers will be mapped to the regular paper category in CEUR (having at least 10 standard pages). The bibliography is excluded from the page limits. All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools, and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers; short papers contain focused results, positions or perspectives that can be presented in full in just a few pages, and that correspondingly contain fewer results and that therefore might not be competitive in the full paper category. Talk proposals are expected to present work that is of particular interest to the community and worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and, for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g., via Share) or a dedicated website with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the program committee. If a submission is accepted, at least one author is expected to participate in the workshop to present it. Authors of accepted tool paper submissions are also expected to be available to demonstrate their tool at the event. ## Proceedings The workshop proceedings (in a STAF 2022 joint volume for workshops), including all accepted papers (except talk proposals), shall be submitted after the conference to CEUR-WS.org for online publication. Pre-prints of all papers will be available via the workshop website at the beginning of the conference. In case of questions, please contact the PC chairs at bx2022(a)easychair.org. Best regards, Li-yao Xia, Vadim Zaytsev, Xiao He

1 1

Full professorships at Utrecht University
by Swierstra, W.S. (Wouter) 10 May '22

10 May '22

Utrecht University is currently recruiting four full professors in Computing Science. The exact research areas are not fixed -- but I'd love to see applications from the functional programming community: https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/4-full… # Job description The Department of Information and Computing Sciences (ICS) is nationally and internationally renowned for its fundamental and applied research in computer science and information science. In our constantly changing (digital) society, we are continually looking for new, realistic ways to push the boundaries of both science and societal application. We contribute to innovative information technologies through the development and application of new concepts, theories, algorithms, and software methods. With our expertise, we nourish a wide range of interdisciplinary and societal collaboration initiatives. The Department has grown significantly in the past years. Due to this growth and the upcoming retirement of some of our professors we envisage having appointed eight new full professors by the end of 2024 in the following fields of expertise: software systems (preferably in software production, and software and information security), artificial intelligence and data science (preferably in machine learning, responsible AI, and natural Language processing) and interaction (preferably in data-driven interaction). We are now actively searching to fill four positions. Since we aim to continue to increase the participation of women in Information and Computing Sciences (both students and staff), we wish to appoint at least two female full professors. Additionally, we have one position open that is not tied to any specific area, exclusively reserved for female candidates, a Westerdijk chair*. In Software Systems, we have research groups on Software Technology, Software Technology for Teaching and Learning, Software Production, and Business Process Management and Analytics. We lead the research masters on Computing Science and Business Informatics, and co-lead the bachelors Informatics and Information Science. We engage closely with industry and public sector partners to study the development and adoption of software technology and software production methods. In Artificial Intelligence & Data Science, we have research groups on Intelligent Systems, Data Intensive Systems, Data Mining, and Natural Language Processing. We lead the multidisciplinary research master in Artificial Intelligence and Data Science, and co-lead the Applied Data Science master and Artificial Intelligence bachelor. We closely collaborate with the public sector and companies, for example in our National Police Lab AI and AI & Mobility Lab. We also work closely with other disciplines, for example in the university's Human Centered AI and Applied Data Science focus areas. In Interaction Technology, we have research groups on Human Centered Computing, Game and Media Technology, Social and Affective Computing, and Visualisation and Graphics. We lead the Research Masters on Game & Media Technology and Human-Computer Interaction, and co-lead the Bachelor Information Science. Our state-of-the-art facilities include a Human-Centered Computing lab for prototyping interactive systems and conducting user studies and a Motion Capture and Virtual Reality Lab with full body motion capture equipment. We co-lead the multidisciplinary AI & Media and AI & Healthy Living labs and the Center for Game Research. As a full professor you are a committed, internationally acknowledged and leading scientist with expertise in one of the areas of Information and Computing Science. Your ambition is to lead the further development of research, the quality of education (both in teaching and curriculum development) and the achievement of societal impact in the field of information and computing sciences. You seek internal and external (interdisciplinary) collaboration and acquire funding for research, developing new research collaborations and new application areas. You are an inspiring educator with enthusiasm for teaching. Alongside you will take a leading role in your field of expertise, you also play an important role in creating a workplace that is supportive, socially safe and inclusive, further enhancing scientific integrity and working together towards open science. You have a clear view of how to achieve this as a leading staff member. The Department provides a dynamic, informal and international work environment. Our approach is characterized by a connected, open, and can-do spirit that stimulates personal initiative and curiosity. You are a team player who encourages taking ownership and create value while sharing your knowledge both internally and across the wider (global) community. If you are excited to actively participate and collaborate in shaping our developing department, we invite you to apply. It is important that when you apply, you make clear where and how you see that your expertise fits the overall research and education portfolio of the department, including the relationship with (future) external stakeholders. *A Westerdijk chair is a position especially installed to be occupied by a female professor. It is named after Johanna Westerdijk, appointed at Utrecht University in 1917 as the first female full professor in the Netherlands. # Qualifications We are looking for new colleagues to complement our team at an academic as well as a personal level, who fit well with the following qualifications: a PhD in Computer Science, Information Science or another relevant discipline; an internationally acknowledged research line with a strong publication track record on original research of high impact; an active player in international scientific communities; experience in and a personal view on how to lead a group of scientists and create and sustain a supportive, collaborative and inclusive work environment; demonstrated ability to acquire external funding for research and innovation; driven to explore and forge new collaborations in- and outside academia; enthusiasm for education and experience with student supervision, ability to teach in BSc and MSc programmes; experience in and aspiration for further development of courses and programmes. # Offer a tenured position as full professor; a full-time gross salary ranging from €5,864 to €8,539 in scale H2 at full professor level; benefits including an 8% holiday bonus and an 8.3% end-of-year bonus; a pension scheme, partially paid parental leave, and flexible employment conditions based on the Collective Labour Agreement (cao) Dutch Universities; a starting package that is negotiable and depends on what is necessary to give you a running start in the department; assistance in finding housing and, if applicable, help with finding employment for a partner and schools for children; in addition to the employment conditions laid down in the CAO for Dutch Universities, Utrecht University has a number of its own arrangements. For example, there are agreements on professional development, leave arrangements and sports. We also give you the opportunity to expand your terms of employment via the Employment Conditions Selection Model. This is how we like to encourage you to continue to grow. # About the organisation At the Faculty of Science, there are 6 departments to make a fundamental connection with: Biology, Chemistry, Information and Computing Sciences, Mathematics, Pharmaceutical Sciences, and Physics. Each of these is made up of distinct institutes that work together to focus on answering some of humanity’s most pressing problems. More fundamental still are the individual research groups – the building blocks of our ambitious scientific projects. Utrecht University is a friendly and ambitious university at the heart of an ancient city. We love to welcome new scientists to our city – a thriving cultural hub that is consistently rated as one of the world’s happiest cities. We are renowned for our innovative interdisciplinary research and our emphasis on inspirational research and excellent education. We are equally well-known for our informal atmosphere and the can-do mentality of our people. This lively and inspiring academic environment attracts professors, researchers and PhD candidates from all over the globe, making both the University and the Faculty of Science a vibrant international and wonderfully diverse community. # Additional information If you have specific questions regarding the positions or the department, please email them to Professor Johan Jeuring (Head of Department) or Professor Judith Masthoff (Director of Research) at j.t.jeuring(a)uu.nl/ j.f.m.masthoff(a)uu.nl. If you are interested in reading more about the development of our department, we can provide you with a copy of our summarized organizational development plan. You can send your request to a.bonsma(a)uu.nl. Do you have a question about the application procedure? Please send an email to science.recruitment(a)uu.nl # Apply https://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/ApplicationFor… Everyone deserves to feel at home at our university. We welcome employees with a wide variety of backgrounds and perspectives. Please enclose: your motivation letter; your full academic curriculum vitae, including a list of publications; your vision on research and education. If this specific opportunity isn’t for you, but you know others who may be interested, please forward this vacancy to them. The application deadline is 1 July 2022.

1 0

[direct-sqlite] Package takeover
by ☂Josh Chia (謝任中) 09 May '22

09 May '22

Hi all, I tried to contact the author of https://hackage.haskell.org/package/direct-sqlite via github issues and direct email 27 days ago about taking over the package but have not received a response. I would like to take over as maintainer for the package and would also welcome co-maintainers. Josh Chia

1 0

cabal v2 global install status
by amindfv＠mailbox.org 09 May '22

09 May '22

I'm very comfortable using cabal's `v2-` nix-style local builds at home and at work, but on a personal machine at home I've clung to `v1-install` because I _really_ like the ability to choose which packages are available in a simple `ghci` session. For a long time that's been impossible or painful with the `v2-` commands. What's the status these days? I'm particularly interested in how it works for packages that only exist locally without a Hackage server. (Please note that while I'm open to hearing that it's impossible or only possible with workarounds/hacks, I'm not particularly looking for a discussion on whether it's "wrong" to want this feature.) Thanks! Tom

7 11