April 2024 - Haskell-Cafe

Agda Implementors' Meeting XXXVIII: Call for talks and participation
by mukesh tiwari 08 Apr '24

08 Apr '24

Dear all, The thirty-eighth Agda Implementors' Meeting will take place in Swansea, Wales, UK from Monday 13 to Saturday 18 May 2024. Wiki link for more details: https://wiki.portal.chalmers.se/ <https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII>agda <https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII>/Main/AIMXXXVIII <https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII> The meeting aims to bring together people not only developing but also using Agda or even those who are simply interested in it. We will have talks on the implementation details of Agda in the morning and code sprints in the afternoon. You can still submit your proposal for a talk or discussion! There's a (soft) deadline for registration on 14 April 2024 Registration instructions: https://wiki.portal.chalmers.se/ <https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII#Registration>agda <https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII#Registration> /Main/AIMXXXVIII#Registration <https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII#Registration> Best wishes, Anton Setzer ----------------------------------------------------------------------------- Dr Anton Setzer Darllenydd / Reader Ystafell / Room 403 Adran Gyfrifiadureg / Dept. of Computer Science Y Ffowndri Gyfrifiadurol / Computational Foundry Coleg Gwyddoniaeth / College of Science Prifysgol Abertawe/ Swansea University Campws y Bae/ Bay Campus Abertawe / Swansea SA1 8EN DU / UK Rhowch wybod i ni os hoffech dderbyn eich gohebiaeth yn Gymraeg. / Let us know if you would like to receive correspondence in Welsh. Rydym yn croesawu gohebiaeth yn Gymraeg neu yn Saesneg. / We welcome correspondence in Welsh or English. Ni fydd gohebu yn Gymraeg yn arwain at oedi./ Corresponding in Welsh will not lead to a delay.

1 0

ICFP Programming Contest 2024
by ICFP Contest 2024 07 Apr '24

07 Apr '24

Dear Haskell community, The ICFP programming contest 2024 is is held from Friday 28 June 2024 at 12:00 UTC to Monday 1 July 2024 at 12:00 UTC. There will be a lightning division, ending on Saturday 29 June 2024 at 12:00 UTC. This is the 27th instance of the annual programming contest series sponsored by the ACM SIGPLAN International Conference on Functional Programming. This is an open online programming contest. Anybody may participate except for the contest organisers. No advance registration or entry fee is required. Contestants are free to organize themselves into teams of any size. Any programming language(s) on any platform(s) may be used. As a member of this community, you are all invited to participate. For more information and contact details, see https://icfpcontest2024.github.io/ We hope to see many of you on the scoreboard the end of June! Functional greetings, The ICFP Contest 2024 organising committee

1 0

PL/Haskell?
by Matti Nykänen 04 Apr '24

04 Apr '24

It seems to be possible to invoke Haskell within PostgreSQL queries, see: <https://www.postgresql.org/about/news/plhaskell-v20-2597/> (1) Is it popular in the Haskell community? Or is it a proof-of-concept project to show that it can be done? (2) Does it have some easy-to-install packaging? All my initial attempts to follow the online installation instructions have resulted in aggravated lower back pain... -- Matti Nykänen

1 0

PLDI 2024 - Call for Participation (Early registration: May 15)
by Yao Li 03 Apr '24

03 Apr '24

Call for Participation for PLDI 2024, the ACM SIGPLAN Conference on Programming Language Design and Implementation! ------------------------------------------------------------------------ PLDI is a premier forum for programming language research, broadly construed, including design, implementation, theory, applications, and performance. Come join us, online or in Copenhagen, Denmark, to discuss the latest programming languages research! * Website : https://pldi24.sigplan.org/attending/registration * Time : Mon 24--Fri 28 June 2024 * Place : Radisson Blu Scandinavia, Amager Boulevard 70, 2300 Copenhagen S, Denmark ### Important dates * Early Registration: 15th of May, 2024 ### Important rates (Registration rates include a 25% VAT; The prices displayed include tax) Registration rates (in-person) On or before 15 May, 2024 After 15 May, 2024 Regular (ACM or SIGPLAN member) €770.00 €850.00 Regular (non-member) €850.00 €935.00 Student (ACM or SIGPLAN member) €425.00 €505.00 Student (non-member) €475.00 €540.00 Registration rates (virtual) On or before 15 May, 2024 After 15 May, 2024 Regular (ACM or SIGPLAN member) €37.50 €50.00 Regular (non-member) €37.50 €50.00 Student (ACM or SIGPLAN member) €37.50 €50.00 Student (non-member) €37.50 €50.00 1-Day Pass (Co-Located events) On or before 15 May, 2024 After 15 May, 2024 Regular (ACM or SIGPLAN member) €225.00 €250.00 Regular (non-member) €250.00 €275.00 Student (ACM or SIGPLAN member) €150.00 €175.00 Student (non-member) €175.00 €200.00 ### Co-located events: Co-located Conferences: - ISMM, ACM SIGPLAN International Symposium on Memory Management https://conf.researchr.org/home/ismm-2024 - LCTES, ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems https://pldi24.sigplan.org/home/LCTES-2024 Workshops: - ARRAY, the Array Programming Workshop https://pldi24.sigplan.org/home/ARRAY-2024 - CP, International Workshop on Choreographic Programming https://pldi24.sigplan.org/home/cp-2024 - EGRAPHS, the E-Graph Research, Applications, Practices, and Human-factors Symposium https://pldi24.sigplan.org/home/egraphs-2024 - Infer, the Infer Practitioners Workshop https://pldi24.sigplan.org/home/infer-2024 - PLMW, the Programming Languages Mentoring Workshop https://pldi24.sigplan.org/track/PLMW-PLDI-2024 - PODELSKI, PLDI 2024 Workshop Honoring Andreas Podelsk https://pldi24.sigplan.org/home/podelski-2024 - RTFM, Red-Hot Topics in Faculty Mentoring https://pldi24.sigplan.org/home/rtfm-2024 - SOAP, the ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis https://pldi24.sigplan.org/home/SOAP-2024 - Sparse, the Sparse workshop (formerly CTSTA) https://pldi24.sigplan.org/home/sparse-2024 - WQS, Workshop on Quantum Software https://pldi24.sigplan.org/home/wqs-2024 Tutorials: https://pldi24.sigplan.org/track/pldi-2024-tutorials - Algorithms and Applications for Provable Repair of Deep Neural Networks Aditya V. Thakur - Concurrent Algorithms in Kotlin Coroutines Nikita Koval - Democratizing DSL development with the BuildIt Framework Ajay Brahmakshatriya, Saman Amarasinghe - PODELSKI Thomas Wies, Martin Schäf, Andrey Rybalchenko - Quick and dirty development of static analyses with LiSA Luca Negrini, Pietro Ferrara - Static Code Analysis with SootUp Eric Bodden, Markus Schmidt, Jonas Klauke, Kadiray Karakaya, Stefan Schott Student Research Competition! https://pldi24.sigplan.org/track/pldi-2024-src ### Student Volunteering Sign up to be a Volunteer and help us make PLDI 2024 a great experience for all attendants! https://pldi24.sigplan.org/track/pldi-2024-student-volunteering Apply here: https://forms.gle/QB9Tdmhr9v9ZPGx9A. The deadline is 15th of April. Best regards, Yao Li, Ph.D., (He/Him) Assistant Professor, Computer Science Department, Portland State University

1 0

Announce: HsShellScript 3.6.4
by Volker Wysk 03 Apr '24

03 Apr '24

Hi! HsShellScript is a library that lets you do your Unix scripting in Haskell. It was outdated with respect to the supported compiler (meaning base- package) version, but now I've ported it to base >= 4.17.0.0 && < 5 (GHC 9.4/9.5). That's the recommended version (as of 2024-04-02). Here's the homepage: https://volker-wysk.de/hsshellscript/ Cheers, Volker

1 0

Hackage: "Build: PlanningFailed"
by Volker Wysk 03 Apr '24

03 Apr '24

Hello I'm fighting with Hackage. To make things short, I've published my HsShellScript library (was a package candidate before). Here's the library's Hackage page: https://hackage.haskell.org/package/hsshellscript-3.6.2 And there's a button labeled "Build: PlanningFailed". When I click on it, I get the following messages under "Build Log": -----snip----- Resolving dependencies... Error: cabal: Could not resolve dependencies: [__0] trying: hsshellscript-3.6.2 (user goal) [__1] next goal: base (dependency of hsshellscript) [__1] rejecting: base-4.18.1.0/installed-4.18.1.0 (conflict: hsshellscript => base>=4.13.0 && <4.14) [__1] skipping: base-4.19.1.0, base-4.19.0.0, base-4.18.2.0, base-4.18.1.0, base-4.18.0.0, base-4.17.2.1, base-4.17.2.0, base-4.17.1.0, base-4.17.0.0, base-4.16.4.0, base-4.16.3.0, base-4.16.2.0, base-4.16.1.0, base-4.16.0.0, base-4.15.1.0, base-4.15.0.0, base-4.14.3.0, base-4.14.2.0, base-4.14.1.0, base-4.14.0.0 (has the same characteristics that caused the previous version to fail: excluded by constraint '>=4.13.0 && <4.14' from 'hsshellscript') [__1] rejecting: base-4.13.0.0, base-4.12.0.0, base-4.11.1.0, base-4.11.0.0, base-4.10.1.0, base-4.10.0.0, base-4.9.1.0, base-4.9.0.0, base-4.8.2.0, base-4.8.1.0, base-4.8.0.0, base-4.7.0.2, base-4.7.0.1, base-4.7.0.0, base-4.6.0.1, base-4.6.0.0, base-4.5.1.0, base-4.5.0.0, base-4.4.1.0, base-4.4.0.0, base-4.3.1.0, base-4.3.0.0, base-4.2.0.2, base-4.2.0.1, base-4.2.0.0, base-4.1.0.0, base-4.0.0.0, base-3.0.3.2, base-3.0.3.1 (constraint from non-upgradeable package requires installed instance) [__1] fail (backjumping, conflict set: base, hsshellscript) After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: base, hsshellscript -----snip----- Why does it reject the base library? The versions conflict, but why does it think the version should be base-4.18.1.0? The library compiles okay on my machine (using "cabal build"). I have this in the hsshellscript.cabal file, under "build-depends:": base >= 4.13.0 && < 4.14 I've got this version information from calling "cabal gen-bounds". Cheers, Volker

7 20

Cabal: Can only one processor core be used?
by Volker Wysk 02 Apr '24

02 Apr '24

Hi I've searched the web and the cabal user guide on how to use more processor cores for compilation via cabal. I couldn't find anything. It looks like only one processor core can be used with cabal, even though (I've read on the web) GHC supports parallel compilation. Cabal compilation times can be a pain. It can't be that you can use only one processor core with cabal, can it ..? Cheers, Volker

7 9