- Haskell-Cafe - Haskell.org

Re: [Haskell-cafe] Updating the description of the mailing list?
by Douglas McIlroy 25 Oct '22

25 Oct '22

> Could the description be changed to simply be the first sentence? > "This mailing list is for the discussion of topics related to Haskell." Yes. Like definitions in a modern dictionary, it tells how the list is actually used rather than how some ancient authority thought it ought to be. Doug

1 0

Updating the description of the mailing list?
by Bryan 25 Oct '22

25 Oct '22

At https://mail.haskell.org/mailman/listinfo/haskell-cafe, the description states: This mailing list is for the discussion of topics related to Haskell. The volume may at times be high, as the scope is broader than the main Haskell mailing list. Discussions on the Haskell mailing list which have drifted off topic, or are only of interest to a small number of subscribers, will be asked to move to Haskell-Cafe. This implies that Haskell-Cafe is a place for off-topic discussions. In practice, haskell(a)haskell.org is unused and haskell-cafe(a)haskell.org *is* the Haskell mailing list. Could the description be changed to simply be the first sentence? "This mailing list is for the discussion of topics related to Haskell." --- This request comes from an effort to point potential new contributors to Haskell resources. Specifically, I'm editing https://gitlab.haskell.org/ghc/ghc/-/wikis/mailing-lists-and-irc. I wanted to add a link to haskell-cafe. While sanity-checking the URL, I read the description of the list and got momentarily confused: Should I actually be subscribed to haskell@ instead? But then after checking the archives, I remembered why I unsubscribed from that list many years ago. If it was confusing for me, I assume it would be confusing for newcomers as well. -Bryan

1 0

[ANN] - Hugs for MacOS (x86) - via Nix Flakes
by Justin Bailey 24 Oct '22

24 Oct '22

I spent some time with the last public release of the Hugs sources, making them compile on a modern Mac (x86 chipset). I used Nix's flakes feature to manage the build and install. If you'd like to run the hugs interpreter directly using the flake, just type: `nix run github:m4dc4p/hugs#hugs` If you'd like to execute a Haskell file, try: `nix run github:m4dc4p/hugs <file.hs>` Or alternately: `nix run github:m4dc4p/hugs#runhugs <file.hs>` (That is, `runhugs` is the default app provided by the flake.) See the README at https://github.com/m4dc4p/hugs for more details (including other binaries available). I don't have much of a use case for Hugs, so I got the flake to the point where I could start the interpreter and run simple programs. I'm glad to accept pull requests or bug reports. You can find the source and submit any issues at https://github.com/m4dc4p/hugs. Note: I don't have access to Apple silicon, so this build has only been tested under x86. If it works for M1 please let me know, or if you are able to submit a PR I'd welcome it! Enjoy! Justin

2 1

Munich Haskell Meeting, 2022-10-25 @ 19:30
by Leah Neukirchen 23 Oct '22

23 Oct '22

Dear all, Next week, our monthly Munich Haskell Meeting will take place again on Tuesday, October 25 at Cafe Puck at 19h30. For details see here: http://muenchen.haskell.bayern/dates.html If you plan to join, please add yourself to this dudle so we can reserve enough seats! It is OK to add yourself to the dudle anonymously or pseudonymously. https://nuudel.digitalcourage.de/haskell-munich-oct-2022 Everybody is welcome! cu, -- Leah Neukirchen <leah(a)vuxu.org> https://leahneukirchen.org/

1 0

Re: [Haskell-cafe] Announcing the Haskell Error Index
by Olaf Klinke 21 Oct '22

21 Oct '22

David, the Haskell error index is an awesome idea and the existing entries of high quality. Are there plans to tap the already quite enormous online resources about GHC errors, e.g. this mailing list, reddit and stackoverflow? One can imagine there are numerous brilliant explanations to be found. How did the other languages you mentioned handle the initial populatuion with content? (A general problem knowledge bases suffer: To be useful, a critical mass of knowledge must be accumulated, otherwise users won't be likely to contribute.) Regards, Olaf

2 1

TFPIE 2023 call for submissions (deadline Dec 27th)
by Elena Machkasova 21 Oct '22

21 Oct '22

Please consider submitting and spread the word! TFPIE 2023 Call for papers https://wiki.tfpie.science.ru.nl/TFPIE2023 (January 12th 2023, Boston, MA, USA, co-located with TFP 2023 and POPL 2023) TFPIE 2023 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: FP and beginning CS students FP and Computational Thinking FP and Artificial Intelligence FP in Robotics FP and Music Advanced FP for undergraduates FP in graduate education Engaging students in research using FP FP in Programming Languages FP in the high school curriculum FP as a stepping stone to other CS topics FP and Philosophy The pedagogy of teaching FP FP and e-learning: MOOCs, automated assessment etc. Best Lectures - more details below In addition to papers, we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. The length of the presentation should be comparable to that of a paper. In addition, the speaker can provide commentary on effectiveness or student feedback. Submissions Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/conferences/?conf=tfpie2023 After the workshop, presenters are invited to submit (a revised version of) their article for the formal review. The PC will select the best articles for publication in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. Important Dates Submission deadline: December 27th 2022, Anywhere on Earth. Notification: December 30th 2022 (Note: earlier submissions will receive earlier response) TFPIE Registration Deadline: TBA Workshop: January 12th 2023 Submission for formal review: April 19th 2023, Anywhere on Earth. Notification of full article: May 24th 2023 Camera ready: July 1st 2023 Program Committee Christopher Anand - McMaster University, Canada Attila Egri-Nagy - Akita International University, Japan Jason Hemann - Seton Hall University, USA Kevin Kappelmann - Technical University of Munich, Germany Elena Machkasova (Chair) - University of Minnesota Morris, USA Kristina Sojakova - INRIA, France Jørgen Villadsen - Technical University of Denmark, Denmark Registration information See https://wiki.tfpie.science.ru.nl/TFPIE2023 for updated information. Registration and attendance are mandatory for at least one author of every paper that is presented at the workshop. Presenters will have their registration fee waived. Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. Best regards, Elena Machkasova (program committee chair) -- Dr. Elena Machkasova Associate Professor of Computer Science Division of Science and Mathematics University of Minnesota, Morris Office: Sci 2325 (320) 589-6308 http://cda.morris.umn.edu/~elenam/ Pronouns: she/her/hers or any other

1 0

Re: [Haskell-cafe] Announcing the Haskell Error Index
by Douglas McIlroy 21 Oct '22

21 Oct '22

(comment mostly for entertainment) The announcement of the Haskell error index conjured memories of the Fortran I stop book. On an error, the original Fortran compiler executed a halt instruction. To find the cause, one would read the memory address of the halt from the console lights and manually look the address up in the stop book, a thick 11"x17" computer printout. In the Haskell error index, the codes are permanent identifiers for evolving diagnostic explanations. In contrast, Fortran stop numbers varied with compiler version, while the explanations were essentially static. The stop book was indispensable, but far from user-friendly. If reasonably curated, the error index could be a big advance in the latter respect. Doug McIlroy

1 0

Bogotá Functional Programming Interest Group
by Jeffrey Brown 20 Oct '22

20 Oct '22

I imagine people who read Haskell Cafe and live in Colombia might be interested in this new group. It's the closest thing I'm aware of to a Haskell user group in the country. https://www.meetup.com/functional-programming-interest-group-at-puj/ -- Jeff Brown | Jeffrey Benjamin Brown LinkedIn <https://www.linkedin.com/in/jeffreybenjaminbrown> | Github <https://github.com/jeffreybenjaminbrown> | Twitter <https://twitter.com/carelogic> | Facebook <https://www.facebook.com/mejeff.younotjeff>

2 1

Announcing the Haskell Error Index
by David Christiansen 20 Oct '22

20 Oct '22

The Haskell Error Index (https://errors.haskell.org/) is a community-driven web site for improving the documentation of Haskell tooling. In the upcoming release of GHC, each error message or warning includes a unique code. This code can be looked up on the index to find user-contributed explanations and examples. As the specific phrasing of messages in GHC is improved over time, the codes will remain constant, which allows the documentation on the site to retain its value and its search-engine usefulness. The site is run off of a Git repo full of Markdown files and example programs at https://github.com/haskellfoundation/error-message-index/ , so you don't need to be an expert to contribute. Contributions of documentation as well as technical improvements to the site generator, HTML, and CSS are all very welcome. Most of the current content and infrastructure was contributed by volunteers at Zurihac this year. Right now, it only covers an unreleased version of GHC, but the system is set up to also work with other tools. If you're an author of Haskell-related tooling and would like to have it included, please write to me at david(a)haskell.foundation. The site is inspired by the Rust error index and by the excellent user-contributed sections in the PHP documentation. It's part of the Haskell Foundation's technical agenda, arising from a Haskell Foundation Technical Proposal ( https://github.com/haskellfoundation/tech-proposals/blob/main/proposals/acc…) If you'd like to have influence on what we at the HF do, please submit a proposal! All the best, David Thrane Christiansen Executive Director The Haskell Foundation

2 1

PhD positions at Binghamton University
by William Hallahan 19 Oct '22

19 Oct '22

Dear all, I am a new faculty member at Binghamton University, looking for PhD students (starting in Spring 2023 or Fall 2023) to work on formal verification, analysis, and/or synthesis. A common aim of my work is to ease the process of verifying programs, either by improving the debugging experience when verification fails, or by automating the verification process. Much of my work revolves around functional languages, with a particular focus on debugging and verifying Haskell programs. I am also interested in verification and synthesis of systems in domains such as networking and machine learning. You can find more information about me on my website: https://billhallahan.github.io <https://billhallahan.github.io/> Please reach out if you are interested or if you have any questions. Best, William Hallahan

1 0