- Haskell-Cafe - Haskell.org

Managing state between client/server (frontend/backend)
by Clinton Mead 02 Jan '22

02 Jan '22

A happy new year to all the Haskell community. My current role involves an app with a Scala backend and a React/Redux Javascript frontend. What should be quite simple tasks are made difficult/impossible, firstly by the fact if you even touch a Javascript codebase in any significant way you break the code in weird and wonderful ways, which may only be apparent as random runtime errors days, weeks or months in the future, but another issue is that tracking some bug back from the browser to the backend and the database is a nightmare because it's far from obvious what's going on across the language boundary between Scala and Javascript, particularly as everything is being flattened to JSON across that boundary. Anyway, I was thinking of a better way of doing this, and I thought it would be nice if much of the code was shared between the browser frontend and backend server though a common datatype, with the frontend just compiled with GHCJS. Some of the state to the client could be readonly, and some writable. The actual details of pushing the data back and forth would be abstracted away (as much as possible). When the client does writes, it wouldn't need to wait for the server to process these writes, it could just save these on the client side state, and send them off to the server to record, but otherwise continue on. There's quite a few nuances here I've started to think about (and there's likely more I haven't thought about) and given that I don't think this idea is particularly novel, are there any libraries out there that already do roughly what I'm talking about here? If someone has already thought this through I don't want to reinvent the wheel.

2 1

text-2.0 with UTF8 is finally released!
by Andrew Lelechenko 26 Dec '21

26 Dec '21

I’m happy to announce that text-2.0 with UTF-8 underlying representation has been finally released: https://hackage.haskell.org/package/text-2.0. The release is identical to rc2, circulated earlier. Changelog: https://hackage.haskell.org/package/text-2.0/changelog Please give it a try. Here is a cabal.project template: https://gist.github.com/Bodigrim/9834568f075be36a1c65e7aaba6a15db This work would not be complete without a blazingly-fast UTF-8 validator, submitted by Koz Ross into bytestring-0.11.2.0, whose contributions were sourced via HF as an in-kind donation from MLabs. I would like to thank Emily Pillmore for encouraging me to take on this project, helping with the proposal and permissions. I’m grateful to my fellow text maintainers, who’ve been carefully reviewing my work in course of the last six months, as well as helpful and responsive maintainers of downstream packages and GHC developers. Thanks all, it was a pleasant journey! Best regards, Andrew

3 2

[Haskell] [ANNOUNCE] GHC 9.0.2 released
by Zubin Duggal 25 Dec '21

25 Dec '21

The GHC developers are very happy to at long last announce the availability of GHC 9.0.2. Binary distributions, source distributions, and documentation are available at the [usual place](https://downloads.haskell.org/ghc/9.0.2/). Download Page: https://www.haskell.org/ghc/download_ghc_9_0_2.html Blog Post: https://www.haskell.org/ghc/blog/20211225-ghc-9.0.2-released.html GHC 9.0.2 adds first class AArch64/Darwin support using the LLVM backend, as well as fixing a number of critical correctness bugs with the 9.0.1 release, along with numerous improvements to compiler performance and memory usage: * First-class support for Apple M1 hardware using GHC's LLVM ARM backend. * Fix a number of incorrect rewrite rules for `fromInteger` (#19345, #20066). * Fix a number of runtime system and GC bugs which typically manifested in crashes (#19417, #19297, #19645, #19667, #18033, #20132, #19715, #20399, #20414, #20649, #19147, #20051, #20093) * Fixes for various compiler performance and memory usage issues (#20134, #13586, #20509, #19668, #19996, #19471) * Improvements and bug fixes for the code generator and optimiser (#18638, #19581, #19700, #19996, #19181, #19822) * Fixes for typechecker bugs (#19410 , #19191, #19522, #19400, #19849) * Bug fixes for the frontend and parser (#19397, #19838, #19518, #19777, #20242, #19786) * Emit warnings if Unicode Bidirectional Formatting characters are found in the source, possibly misleading code reviewers (#20263). * Many packaging related fixes, including versioned `ghc-pkg` executables (#20087), and actually distributing GHC versions linked against the `native` big integer backend (#18967, #19953) on both Windows and Alpine Linux. Some previous releases were still linked against the `GMP` library due to a misconfiguration of the builders. * A significant refactoring of `process` fixing numerous bugs mostly on Apple platforms (#19994, [process refactoring](https://github.com/haskell/process/pull/208)) * Bug fixes for the linker on Darwin platforms (#20004, #19968, #19950). A complete list of bug fixes and improvements can be found in the [release notes](https://downloads.haskell.org/ghc/9.0.2/docs/html/users_guide/9.0.2-…. Finally, thank you to Microsoft Research, GitHub, IOHK, the Zw3rk stake pool, Tweag I/O, Serokell, Equinix, SimSpace, and other anonymous contributors whose on-going financial and in-kind support has facilitated GHC maintenance and release management over the years. Moreover, this release would not have been possible without the hundreds of open-source contributors whose work comprise this release. As always, do open a [ticket][] if you see anything amiss. Happy Holidays and Happy Hacking! - Zubin

2 2

CFP (Deadline Extended): The 5th International Conference on Emerging Data and Industry 4.0 (EDI40) Porto, Portugal March 22-25, 2022
by Shashank Swarup 24 Dec '21

24 Dec '21

*************************************************************************** The 5th International Conference on Emerging Data and Industry 4.0 (EDI40) Porto, Portugal March 22-25, 2022 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-22/ Workshops: http://cs-conferences.acadiau.ca/EDI40-22/#workshop Important Dates - Workshops Proposals Due: October 1, 2021 * - Paper Submission Due: December 30, 2021 (Revised & Firm)* - Acceptance Notification: January 15, 2022 - Camera-Ready Submission: February 10, 2022 EDI40 2022 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: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal Personal and Ubiquitous Computing (IF:3.006), Springer (https://www.springer.com/journal/779) - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.992), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and… ) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2022 will be held in Porto, Portugal. Porto is the second-largest city in Portugal after Lisbon and one of the major urban areas of the Iberian Peninsula. Porto is also called the Invicta because during the 19th century Portuguese civil war, the city withstood a siege of over a year.The urban area of Porto, which extends beyond the administrative limits of the city, has a population of 2.1 million in an area of 389 km2 (150 sq mi), making it the second-largest urban area in Portugal. It is recognized as a gamma- level global city by the Globalization and World Cities (GaWC) Study Group, the only Portuguese city besides Lisbon to be recognized as a global city. EDI40 will be held in conjunction with the 13th International Conference on Ambient Systems, Networks and Technologies (ANT 2022). 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 Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal 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 Michael Sheng, Macquarie University, Australia Publicity Chairs Wim Ectors, Hasselt University, Belgium Faouzi Kammoun, Ecole SupÃƒÂ©rieure PrivÃƒÂ©e d'IngÃƒÂ©nierie et de Technologies, Tunis Aneta Poniszewska-MaraÃ…â€žda, Lodz University of Technology, Poland Shashank Swarup, Acadia University, Canada Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-22/#programCommittees International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada

1 0

3 Fully funded PhD positions in Software Technology at Radboud University, Netherlands
by Peter Achten 20 Dec '21

20 Dec '21

-------------------------------------------------------------------------------------- 3 Fully funded PhD positions in Software Technology at Radboud University, Netherlands -------------------------------------------------------------------------------------- In the Software Technology group at Radboud University in Nijmegen, Netherlands, we are looking for enthusiastic and outstanding Computer Science or Mathematics students with a strong background in at least one of the following areas: * programming languages * compiler technology * code generation * runtime systems * High-Performance-Computing * Parallel Computing to strengthen our group. Our key driving force is the desire to combine programming language research with compiler technology and code generation techniques for creating practically applicable software tools. Our credo lies in HP3 technology: combining High-Productivity, High-Portability, and High-Performance. Long-term projects driven by our group include the Clean project (clean.cs.ru.nl), the SaC project (www.sac-home.org) and the iTask system (clean.cs.ru.nl/ITasks). Our current focal points are: *Gradual Programming*, *Swarm Computing*, *Heterogeneous High- Performance Computing*, *Sustainable and Energy-Efficient Computing*. With *Gradual Programming*, we aim to combine the flexibility of rapid prototyping with the type safety of strongly typed programming languages. We look into a radically new approach towards typing programming languages for increased productivity, correctness and sustainability. Please contact Peter Achten (P.Achten(a)cs.ru.nl) for details. *Swarm Computing* refers to the idea of being able to, from a single source, perform programming, controlling, and computation on a dynamic and hybrid collection of computational units varying from CPUs, GPUs, FPGAs, TPUs, to IoT devices. Currently, we are particularly interested in Swarm Computing for sustainable IoT utilisation. Please contact Pieter Koopman (pieter(a)cs.ru.nl) for details. In *Heterogeneous High-Performance Computing*, we are interested in the generation of code for swarm computing systems aiming for unprecedented levels of efficiency in terms of both, runtime and energy efficiency. This includes mainstream accelerators such as GPUs and FPGAs as well as novel architectures such as Cerebras’ new architecture (www.cerebras.net) This work will contribute to the new TEN-X initiative (mission10-x.org) Please contact Sven-Bodo Scholz (SvenBodo.Scholz(a)ru.nl) for details. We offer: * a gross monthly salary starting from €2,434 in the first year, step-wise increasing to €3,111 in the fourth year. * a 4 year full-time contract, subject to a successful performance evaluation after 18 months. * a stimulating work environment with excellent Dual Career and Family Care Services. = How to apply = Applications should consist of a single pdf-file containing your CV, a cover letter explaining your motivation, and a letter of reference. We will consider applications as they arrive until the positions are filled. The deadline for applications is January 31 2022. Please send your application to: SvenBodo.Scholz(a)ru.nl.

1 0

Package takeover request for oath
by Fumiaki Kinoshita 17 Dec '21

17 Dec '21

At the moment, oath is registered as a "reserved package name" (see https://mail.haskell.org/pipermail/libraries/2021-December/031524.html) and does not exist as an actual package. I'd like to upload a package with this name unless there's a specific reason why I should not. My Hackage username is FumiakiKinoshita. Best regards,

3 6

install error: sym
by Gregory Guthrie 15 Dec '21

15 Dec '21

Seems like this is a package error? Sym\Perm\STAT.hs:13:8: error: File name does not match module name: Saw: `Sym.Perm.Stat' Expected: `Sym.Perm.STAT' Install log: PS C:\Users\guthrie\Desktop> cabal install sym Resolving dependencies... Build profile: -w ghc-8.10.2 -O1 In order, the following will be built (use -v for more details): - base-orphans-0.8.6 (lib) (requires download & build) - primitive-0.7.3.0 (lib) (requires download & build) - hashable-1.4.0.1 (lib) (requires download & build) - vector-0.12.3.1 (lib) (requires download & build) - sym-0.13.0 (lib) (requires download & build) Downloading base-orphans-0.8.6 Downloaded base-orphans-0.8.6 Downloading primitive-0.7.3.0 Starting base-orphans-0.8.6 (lib) Downloaded primitive-0.7.3.0 Downloading vector-0.12.3.1 Starting primitive-0.7.3.0 (lib) Downloaded vector-0.12.3.1 Downloading hashable-1.4.0.1 Downloaded hashable-1.4.0.1 Downloading sym-0.13.0 Downloaded sym-0.13.0 Building base-orphans-0.8.6 (lib) Building primitive-0.7.3.0 (lib) Installing base-orphans-0.8.6 (lib) Completed base-orphans-0.8.6 (lib) Starting hashable-1.4.0.1 (lib) Building hashable-1.4.0.1 (lib) Installing primitive-0.7.3.0 (lib) Completed primitive-0.7.3.0 (lib) Starting vector-0.12.3.1 (lib) Installing hashable-1.4.0.1 (lib) Building vector-0.12.3.1 (lib) Completed hashable-1.4.0.1 (lib) Installing vector-0.12.3.1 (lib) Completed vector-0.12.3.1 (lib) Starting sym-0.13.0 (lib) Building sym-0.13.0 (lib) Failed to build sym-0.13.0. Build log ( C:\Users\guthrie\AppData\Roaming\cabal\logs\ghc-8.10.2\sym-0.13.0-6a5a01f540d09f303c049bc421a706632878562d.log ): Preprocessing library for sym-0.13.0.. Building library for sym-0.13.0.. Sym\Perm\STAT.hs:13:8: error: File name does not match module name: Saw: `Sym.Perm.Stat' Expected: `Sym.Perm.STAT' | 13 | module Sym.Perm.Stat | ^^^^^^^^^^^^^ cabal.exe: Failed to build sym-0.13.0. See the build log above for details. Dr. Gregory Guthrie

4 5

Error message??
by Gregory Guthrie 15 Dec '21

15 Dec '21

I don't understand the error here: -- ------------------------------------------ -- Find permutation by index iPerm :: Int -> [a] -> (Int,Int) iPerm k list = nPerm k $ length list where nPerm k n = divMod k (fact(n - 1)) -- indexPerm :: Int -> [a] -> [a] indexPerm _ [] = [] indexPerm g list = d :: indexPerm r (delete d list) -- line 19 *** where (q,r) = iPerm g list d = list !! q Adding a type signature for indexPerm changes the error (below), but seems to be the same basic issue. I thought I might need: indexPerm :: Eq a => Int -> [a] -> [a] to match the restriction on delete argument types, although I would have thought that would be inferred if needed, but it gives the same error message. ----------------------------------------------------------------------- Prelude> (compiling) [1 of 1] Compiling Main ( syntaxtest.hs, interpreted ) yntaxtest.hs:19:20: error: * Couldn't match expected type `indexPerm r (delete1 d1 list1)' with actual type `a' because type variables `indexPerm', `r', `delete1', `d1', `list1' would escape their scope These (rigid, skolem) type variables are bound by an expression type signature: forall (indexPerm :: * -> * -> *) r (delete1 :: * -> * -> *) d1 list1. indexPerm r (delete1 d1 list1) at syntaxtest.hs:19:25-51 * In the expression: d :: indexPerm r (delete d list) In an equation for `indexPerm': indexPerm g list = d :: indexPerm r (delete d list) where (q, r) = iPerm g list d = list !! q * Relevant bindings include d :: a (bound at syntaxtest.hs:21:10) list :: [a] (bound at syntaxtest.hs:19:13) indexPerm :: Int -> [a] -> [delete d list] (bound at syntaxtest.hs:18:1) | 19 | indexPerm g list = d :: indexPerm r (delete d list) | ^ | 19 | indexPerm g list = d :: indexPerm r (delete d list) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Failed, no modules loaded. ----------------------------------------------------------------------- (error with the explicit type signature) syntaxtest.hs:19:20: error: * Couldn't match expected type `indexPerm r (delete d list)' with actual type `a' `a' is a rigid type variable bound by the type signature for: indexPerm :: forall a. Int -> [a] -> [a] at syntaxtest.hs:17:1-30 * In the expression: d :: indexPerm r (delete d list) In an equation for `indexPerm': indexPerm g list = d :: indexPerm r (delete d list) where (q, r) = iPerm g list d = list !! q * Relevant bindings include d :: a (bound at syntaxtest.hs:21:10) list :: [a] (bound at syntaxtest.hs:19:13) indexPerm :: Int -> [a] -> [a] (bound at syntaxtest.hs:18:1) | 19 | indexPerm g list = d :: indexPerm r (delete d list) | ^ | 19 | indexPerm g list = d :: indexPerm r (delete d list) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Failed, no modules loaded. Gregory Guthrie

3 3

Fully (UK Home) Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2021-01-24)
by Achim D. Brucker 15 Dec '21

15 Dec '21

Several fully funded PhD scholarships for UK applicants are available in the Security and Trust of Advanced Systems Group [1] (Prof. Achim Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer Science of the University of Exeter, UK [4]. We are looking for enthusiastic and outstanding Computer Science or Mathematics students with a strong background in at least one of the following topics: * safety or security of (software) systems, * formal modelling or formal reasoning/verification, * program analysis or program verification, * language-based security * semantics of programming languages, * theorem proving, model checking, * cryptographic protocols, * distributed systems (e.g., blockchain), * specification-based testing, and * design and implementation of security architectures. This award provides annual funding to cover UK tuition fees and a tax-free stipend. For students who pay UK tuition fees the award will cover the tuition fees in full, plus at least £15,009 per year tax-free stipend. The studentship will be awarded on the basis of merit for 3.5 years of full-time study. Interested candidates should contact the potential supervisors Prof. Achim Brucker (a.brucker(a)exeter.ac.uk) or Dr. Diego Marmsoler (d.marmsoler(a)exeter.ac.uk) to discuss their application. For more details, please consult the official advertisements: * Compositional Verification of Smart Contracts in Isabelle: https://www.exeter.ac.uk/study/funding/award/?id=4326 * Formal Verification for Safety- or Security-Critical Systems: https://www.exeter.ac.uk/study/funding/award/?id=4328 * Software Engineering for Security- or Safety-Critical Systems: https://www.exeter.ac.uk/study/funding/award/?id=4329 * Open Call: https://www.exeter.ac.uk/study/funding/award/?id=4343 The closing date for applications is midnight on the 24th of January 2022. Best, Achim and Diego [1] http://emps.exeter.ac.uk/computer-science/research/cyber-security/ [2] https://www.brucker.ch/ [3] https://marmsoler.com/ [4] http://emps.exeter.ac.uk/computer-science/ -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

Postdoc position - hardware acceleration of Haskell
by Rob Stewart 14 Dec '21

14 Dec '21

Hi haskell-cafe, I have an opening for a postdoc position at Heriot-Watt University in Edinburgh, on hardware acceleration of functional programming languages. In particular, Haskell. Candidates should have a background in hardware design and FPGA programming. Hardware engineering experience should include circuit design, developing processor architectures, memory hierarchies and/or instruction sets. Candidates should have some understanding of functional programming. Programming language implementation experience is desirable, but not essential. The role will involve developing a special purpose processor for Haskell, aimed at outperforming the throughput and energy performance of CPUs. The project has close industry ties in Ireland and the Netherlands. It is a three year project, starting in May 2022. The HAFLANG project: https://haflang.github.io Job details and application form: https://enzj.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX/j… The application deadline is 28th February 2022. Contact the PI, Rob Stewart, with inquiries (R.Stewart(a)hw.ac.uk) Please share this widely. -- Rob Stewart Assistant Professor of Computer Science Heriot-Watt University, Edinburgh W: https://www.macs.hw.ac.uk/~rs46

1 0