From athas at sigkill.dk  Sun Oct  2 18:48:58 2022
From: athas at sigkill.dk (Troels Henriksen)
Date: Sun, 02 Oct 2022 20:48:58 +0200
Subject: [Haskell-cafe] Help test XDG support in cabal-install
Message-ID: <877d1idpt1.fsf@sigkill.dk>

Cabal, or more precisely cabal-install which is mostly known to
Haskellers as the cabal command line program, recently merged a pull
request that makes cabal support the XDG Basedir
Specification. Previously, cabal would put all of its files in the
~/.cabal directory. Now the files are spread over multiple directories:

  * $XDG_CONFIG_HOME/cabal for the main configuration file. On Unix,
    this defaults to ~/.config/cabal.

  * $XDG_CACHE_HOME/cabal for downloaded packages and script
    executables. Defaults to ~/.cache/cabal on Unix.

  * $XDG_STATE_HOME/cabal for compiled libraries and other stateful
    artifacts. Defaults to ~/.local/state/cabal on Unix.

  * ~/.local/bin for executables installed with 'cabal install'.

The advantage is mostly that cabal now behaves slightly more like other
modern Unix tools. For example, it is easier to put all configuration
files under version control if they’re all in the same subdirectory, and
it is easier to delete all program caches when you’re low on disk space.

This is obviously a rather invasive change. Does it mean that the next
version of cabal will break your workflow? Maybe! But if so, it is not
intentional. This change comes with what I hope is rather thorough
backwards compatibility behaviour. Basically, if ~/.cabal exists, or
$CABAL_DIR is set, the old behaviour of using a single unified directory
will be maintained. And of course, most paths can still be configured
manually in the configuration file.

Still, because of the delicacy of a change like this, we’d like some
external confirmation that cabal is still usable. This requires human
trials. Therefore, if you are a human who uses cabal, please try
installing the latest development version and see if it still works for
you. If you want to try out the new XDG future, you can delete your
~/.cabal directory (possibly copying ~/.cabal/config to
~/.config/cabal/config first). I’ve been dogfooding this support for a
over month, but I have no illusions about my usage covering the full
feature space.

Beyond whether cabal remains at all functional, I am personally curious
whether the XDG simulacrum that is implemented on Windows is at all
useful for Windows users, or whether it would be better for cabal to
retain a single unified directory on that platform.

Finally, on a meta note, this is my first contribution to Cabal. I
previously heard horror stories about its code complexity, but I don’t
think think they are warranted, at least not in the corner that I was
touching. You certainly find relics of a long development process,
including code necessary to support obsolete features (v1-build and
sandboxes), but for a project its age and scope, I found the code both
well structured and reasonably well documented. XDG support was added
entirely by modifying cabal client code, without touching the Cabal
library at all.

-- 
\  Troels
/\ Henriksen

From allbery.b at gmail.com  Mon Oct  3 19:23:22 2022
From: allbery.b at gmail.com (Brandon Allbery)
Date: Mon, 3 Oct 2022 15:23:22 -0400
Subject: [Haskell-cafe] Help test XDG support in cabal-install
In-Reply-To: <877d1idpt1.fsf@sigkill.dk>
References: <877d1idpt1.fsf@sigkill.dk>
Message-ID: <CAKFCL4W0xv6eD0NsgwqsxSUB8ObgFwhfyDRY8E+KjTXeOZ3g1A@mail.gmail.com>

On Sun, Oct 2, 2022 at 2:49 PM Troels Henriksen <athas at sigkill.dk> wrote:
> Still, because of the delicacy of a change like this, we’d like some
> external confirmation that cabal is still usable. This requires human
> trials. Therefore, if you are a human who uses cabal, please try
> installing the latest development version and see if it still works for
> you. If you want to try out the new XDG future, you can delete your
> ~/.cabal directory (possibly copying ~/.cabal/config to
> ~/.config/cabal/config first). I’ve been dogfooding this support for a
> over month, but I have no illusions about my usage covering the full
> feature space.

Is there a convenient way to install this without doing a `git clone`?
In particular I'd like a convenient way to manage it via `ghcup` as
was provided for the 3.8.1.0 RC.


-- 
brandon s allbery kf8nh
allbery.b at gmail.com

From athas at sigkill.dk  Mon Oct  3 19:56:51 2022
From: athas at sigkill.dk (Troels Henriksen)
Date: Mon, 03 Oct 2022 21:56:51 +0200
Subject: [Haskell-cafe] Help test XDG support in cabal-install
In-Reply-To: <CAKFCL4W0xv6eD0NsgwqsxSUB8ObgFwhfyDRY8E+KjTXeOZ3g1A@mail.gmail.com>
 (Brandon Allbery's message of "Mon, 3 Oct 2022 15:23:22 -0400")
References: <877d1idpt1.fsf@sigkill.dk>
 <CAKFCL4W0xv6eD0NsgwqsxSUB8ObgFwhfyDRY8E+KjTXeOZ3g1A@mail.gmail.com>
Message-ID: <87sfk4d6kc.fsf@sigkill.dk>

Brandon Allbery <allbery.b at gmail.com> writes:

> On Sun, Oct 2, 2022 at 2:49 PM Troels Henriksen <athas at sigkill.dk> wrote:
>> Still, because of the delicacy of a change like this, we’d like some
>> external confirmation that cabal is still usable. This requires human
>> trials. Therefore, if you are a human who uses cabal, please try
>> installing the latest development version and see if it still works for
>> you. If you want to try out the new XDG future, you can delete your
>> ~/.cabal directory (possibly copying ~/.cabal/config to
>> ~/.config/cabal/config first). I’ve been dogfooding this support for a
>> over month, but I have no illusions about my usage covering the full
>> feature space.
>
> Is there a convenient way to install this without doing a `git clone`?
> In particular I'd like a convenient way to manage it via `ghcup` as
> was provided for the 3.8.1.0 RC.

As a side effect, Cabal's CI suite produces artifacts that contain
(dynamically linked) 'cabal' executables.  The following URL retrieves a
zipfile that contains a tarball that contains 'cabal':

https://github.com/haskell/cabal/suites/8566596132/artifacts/383133509

It may or may not work for ghcup.  I assume that once actual release
candidates are made, more easily-installable binaries will also be
provided, as with previous releases. But that's probably six months or
more away.

-- 
\  Troels
/\ Henriksen

From ecb10 at st-andrews.ac.uk  Mon Oct  3 23:24:16 2022
From: ecb10 at st-andrews.ac.uk (Edwin Brady)
Date: Mon, 3 Oct 2022 23:24:16 +0000
Subject: [Haskell-cafe] CFP for PEPM 2023 (Partial Evaluation and Program
	Manipulation)
Message-ID: <F666E321-2E17-4D3C-9872-75B048870197@st-andrews.ac.uk>

(Apologies for any duplicate copies)

                           -- CALL FOR PAPERS --

ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2022
===============================================================================

  * Website : https://popl23.sigplan.org/home/pepm-2023
  * Time    : 16th--17th January 2023
  * Place   : Boston, Massachusetts, United States
              (co-located with POPL 2023)

The ACM SIGPLAN Workshop on Partial Evaluation and Program
Manipulation (PEPM) has a history going back to 1991 and has been
co-located with POPL every year since 2006. It originated with the
discoveries of useful automated techniques for evaluating
programs with only partial input. Over the years, the scope of PEPM
has expanded to include a variety of research areas centred around the
theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subjects to black-box
execution but also as data structures that can be generated,
analysed, and transformed while establishing or maintaining important
semantic properties.

Scope
-----

In addition to the traditional PEPM topics (see below), PEPM 2023
welcomes submissions in new domains, in particular:

  * Semantics based and machine-learning based program synthesis and
    program optimisation.

  * Modelling, analysis, and transformation techniques for distributed
    and concurrent protocols and programs, such as session types,
    linear types, and contract specifications.

More generally, topics of interest for PEPM 2023 include, but are not
limited to:

  * Program and model manipulation techniques such as:
    supercompilation, partial evaluation, fusion, on-the-fly program
    adaptation, active libraries, program inversion, slicing, symbolic
    execution, refactoring, decompilation, and obfuscation.

  * Techniques that treat programs/models as data objects including
    metaprogramming, generative programming, embedded domain-specific
    languages, program synthesis by sketching and inductive
    programming, staged computation, and model-driven program
    generation and transformation.

  * Program analysis techniques that are used to drive program/model
    manipulation such as: abstract interpretation, termination
    checking, binding-time analysis, constraint solving, type systems,
    automated testing and test case generation.

  * Application of the above techniques including case studies of
    program manipulation in real-world (industrial, open-source)
    projects and software development processes, descriptions of
    robust tools capable of effectively handling realistic
    applications, benchmarking. Examples of application domains
    include legacy program understanding and transformation, DSL
    implementations, visual languages and end-user programming,
    scientific computing, middleware frameworks and infrastructure
    needed for distributed and web-based applications, embedded and
    resource-limited computation, and security.



This list of categories is not exhaustive, and we encourage
submissions describing new theories and applications related to
semantics-based program manipulation in general. If you have a
question as to whether a potential submission is within the scope of
the workshop, please contact the programme co-chairs, Edwin Brady
(ecb10 at st-andrews.ac.uk) and Jens Palsberg (palsberg at ucla.edu).

Submission categories and guidelines
------------------------------------

Two kinds of submissions will be accepted:

  * Regular Research Papers should describe new results, and will be
    judged on originality, correctness, significance, and clarity.
    Regular research papers must not exceed 12 pages.

  * Short Papers may include tool demonstrations and presentations of
    exciting if not fully polished research, and of interesting
    academic, industrial, and open-source applications that are new or
   unfamiliar. Short papers must not exceed 6 pages.

References and appendices are not included in page limits. Appendices
may not be read by reviewers. Both kinds of submissions should be
typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’
format available at:

  http://sigplan.org/Resources/Author/

and submitted electronically via HotCRP:

  https://pepm23.hotcrp.com/

Reviewing will be single-blind.

Submissions are welcome from PC members (except the two co-chairs).

Accepted regular research papers will appear in formal proceedings
published by ACM, and be included in the ACM Digital Library.
Accepted short papers do not constitute formal publications and will
not appear in the proceedings.

At least one author of each accepted contribution must attend the
workshop (physically or virtually) and present the work. In the case
of tool demonstration papers, a live demonstration of the described
tool is expected.

Important dates
---------------

  * Paper submission deadline : **Thursday 13th October 2022 (AoE)**
  * Author notification       : **Thursday 10th November 2022 (AoE)**
  * Workshop                  : **Monday 16th January 2023 to
                                  Tuesday 17th January 2023**

Best paper award
----------------

PEPM 2023 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.

Programme committee
-------------------

* Chairs: Edwin Brady (University of St Andrews, UK)
          Jens Palsberg (University of California Los Angeles, USA)

* Nada Amin Harvard (USA)
* Adam Barwell (Imperial College London, UK)
* Nicolas Biri (Input Output Global)
* David Castro-Perez (University of Kent at Canterbury, UK)
* Cristina David (University of Bristol, UK)
* Atsushi Igarashi (Kyoto University, Japan)
* Yukiyoshi Kameyama (University of Tsukuba, Japan)
* Geoffrey Mainland (Drexel University, USA)
* Hila Peleg (Technion Israel Institute of Technology, Israel)
* Casper Bach Poulsen (Delft University of Technology, Netherlands)
* Sukyoung Ryu (KAIST, Korea)
* Sven-Bodo Scholz (Radboud University Nijmegen, Netherlands)
* Ilya Sergey (National University of Singapore, Singapore)
* Satnam Singh (Groq Inc, USA)
* Elena Zucca (University of Genova, Italy)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221003/656b9ebf/attachment.html>

From edwardamsden at gmail.com  Tue Oct  4 21:20:58 2022
From: edwardamsden at gmail.com (Edward Amsden)
Date: Tue, 04 Oct 2022 16:20:58 -0500
Subject: [Haskell-cafe] Tlon is hiring a Haskell developer as a Senior
	Platform Engineer
Message-ID: <5fc74d03e60f3be1872a3d28ba250a6e1cf61ce5.camel@gmail.com>

Urbit (urbit.org) is a social OS for everyone, and Tlon (tlon.io) is
the primary company building it. Currently, most people run their Urbit
OS on their own machine, but this won’t work for the masses. People
need an easy way to get onto the network, and Tlon Hosting is building
the product and platform to provide that. We are committed to becoming
the primary infrastructure company for Urbit, hopefully managing
millions of Urbit instances (aka “ships”) in the future. You will be
joining a small team that is laying the foundation to build an
ambitious and profitable business, which means you can have a big
impact, and not only at Tlon, but on Urbit at large. 

We are looking for an infrastructure and platform engineer that is
capable of leading the development of the next iteration of the hosting
system. Running many Urbit instances at scale is not easy, because each
instance needs to be carefully monitored and most Urbit life-cycle
tasks need to be fully automated. To that effect, we implemented our
own Kubernetes operator and additional tooling, all of which are
written in Haskell. The role we are hiring for will have a central
place in the further buildout of the system. You will develop the basic
primitives and APIs that other engineers use to create a full featured
hosting product. Additionally, you will need to be able to think
strategically about how to iterate on the hosting platform so that
other people can build on top of Urbit without having to worry where
and how most of the Urbit instances run. In other words, hosting will
have to become the most reliable and fool-proof way of using Urbit.

Urbit is written in its own programming language, Hoon, and the runtime
is written in C. But the hosting platform code is all written in
Haskell, and that is what we are hiring for.

The position and team is 100% remote. Most of us work in Europe time
zones, and we prefer UTC +- 3 hours, but we are flexible. We do
multiple offsites every year where we get to spend time IRL as a team
and with everyone else at Tlon.

Compensation range is $140-190k base salary, plus benefits, plus
sizable bonus. There is a slight difference in the comp package
structure depending on whether you are in the US or not, but in dollar
value it should come out the same. 

Job Posting: https://tlon.io/careers/senior-platform-engineer

To apply, write us here: apply at tlon.io
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221004/b03dc720/attachment.html>

From allbery.b at gmail.com  Wed Oct  5 21:36:02 2022
From: allbery.b at gmail.com (Brandon Allbery)
Date: Wed, 5 Oct 2022 17:36:02 -0400
Subject: [Haskell-cafe] Help test XDG support in cabal-install
In-Reply-To: <87sfk4d6kc.fsf@sigkill.dk>
References: <877d1idpt1.fsf@sigkill.dk>
 <CAKFCL4W0xv6eD0NsgwqsxSUB8ObgFwhfyDRY8E+KjTXeOZ3g1A@mail.gmail.com>
 <87sfk4d6kc.fsf@sigkill.dk>
Message-ID: <CAKFCL4VFFSSf7rfCLDR8bXuZ3O+A0X7c2OPKHRdsbVyObKEbyg@mail.gmail.com>

Is there a migration path for converting to the new layout? The above
makes clear what happens to `~/.cabal/config` but only hints about
what I should do with other paths (e.g. `~/.cabal/store`). Or is the
preferred migration path to move the config file and nuke (or move out
of the way, as a backup) everything else?

On Mon, Oct 3, 2022 at 3:56 PM Troels Henriksen <athas at sigkill.dk> wrote:
>
> Brandon Allbery <allbery.b at gmail.com> writes:
>
> > On Sun, Oct 2, 2022 at 2:49 PM Troels Henriksen <athas at sigkill.dk> wrote:
> >> Still, because of the delicacy of a change like this, we’d like some
> >> external confirmation that cabal is still usable. This requires human
> >> trials. Therefore, if you are a human who uses cabal, please try
> >> installing the latest development version and see if it still works for
> >> you. If you want to try out the new XDG future, you can delete your
> >> ~/.cabal directory (possibly copying ~/.cabal/config to
> >> ~/.config/cabal/config first). I’ve been dogfooding this support for a
> >> over month, but I have no illusions about my usage covering the full
> >> feature space.
> >
> > Is there a convenient way to install this without doing a `git clone`?
> > In particular I'd like a convenient way to manage it via `ghcup` as
> > was provided for the 3.8.1.0 RC.
>
> As a side effect, Cabal's CI suite produces artifacts that contain
> (dynamically linked) 'cabal' executables.  The following URL retrieves a
> zipfile that contains a tarball that contains 'cabal':
>
> https://github.com/haskell/cabal/suites/8566596132/artifacts/383133509
>
> It may or may not work for ghcup.  I assume that once actual release
> candidates are made, more easily-installable binaries will also be
> provided, as with previous releases. But that's probably six months or
> more away.
>
> --
> \  Troels
> /\ Henriksen



-- 
brandon s allbery kf8nh
allbery.b at gmail.com

From athas at sigkill.dk  Thu Oct  6 06:09:11 2022
From: athas at sigkill.dk (Troels Henriksen)
Date: Thu, 06 Oct 2022 08:09:11 +0200
Subject: [Haskell-cafe] Help test XDG support in cabal-install
In-Reply-To: <CAKFCL4VFFSSf7rfCLDR8bXuZ3O+A0X7c2OPKHRdsbVyObKEbyg@mail.gmail.com>
 (Brandon Allbery's message of "Wed, 5 Oct 2022 17:36:02 -0400")
References: <877d1idpt1.fsf@sigkill.dk>
 <CAKFCL4W0xv6eD0NsgwqsxSUB8ObgFwhfyDRY8E+KjTXeOZ3g1A@mail.gmail.com>
 <87sfk4d6kc.fsf@sigkill.dk>
 <CAKFCL4VFFSSf7rfCLDR8bXuZ3O+A0X7c2OPKHRdsbVyObKEbyg@mail.gmail.com>
Message-ID: <87k05dcwl4.fsf@sigkill.dk>

Brandon Allbery <allbery.b at gmail.com> writes:

> Is there a migration path for converting to the new layout? The above
> makes clear what happens to `~/.cabal/config` but only hints about
> what I should do with other paths (e.g. `~/.cabal/store`). Or is the
> preferred migration path to move the config file and nuke (or move out
> of the way, as a backup) everything else?

Yes, nuke everything else.  It'll require recompilation, but some of the
Cabal devs expressed doubt that the store is even relocatable at all, as
it may embed file paths (possibly in the hashes).

-- 
\  Troels
/\ Henriksen

From mail at joachim-breitner.de  Thu Oct  6 12:28:50 2022
From: mail at joachim-breitner.de (Joachim Breitner)
Date: Thu, 06 Oct 2022 14:28:50 +0200
Subject: [Haskell-cafe] Request for Nominations to the GHC Steering Committee
Message-ID: <affb8fbd469ef26dcc88491fe0c0403658295776.camel@joachim-breitner.de>

Dear Haskell community,

the GHC Steering committee is seeking nominations for one or more new
members.

The committee scrutinizes, nitpicks, improves, weighs and eventually
accepts or rejects proposals that extend or change the language
supported by GHC and other (public-facing) aspects of GHC.
Our processes are described at
   https://github.com/ghc-proposals/ghc-proposals
which is also the GitHub repository where proposals are proposed. In
particular, please have a look at the bylaws at
   https://github.com/ghc-proposals/ghc-proposals/blob/master/committee.rst


We are looking for a member who has the ability 
 * to understand such language extension proposals,
 * to find holes and missing corner cases in the specifications,
 * foresee the interaction with other language features and 
   specifications,
 * comment constructively and improve the proposals,
 * judge the cost/benefit ratio and
 * finally come to a justifiable conclusion.

We look for committee members who have some of these properties:
 * have substantial experience in writing Haskell applications or
   libraries, which they can use to inform judgements about the
   utility or otherwise of proposed features,
 * have made active contributions to the Haskell community, for
   some time,
 * have expertise in language design and implementation, in either
   Haskell or related languages, which they can share with us.

There is no shortage of people who are eager to get fancy new features
into the language, both in the committee and the wider community. But
each new feature imposes a cost, to implement, to maintain in
perpetuity in GHC's code base, to learn, and to deal with its
unexpected interaction with other features. We need to strike a
balance, one that encourages innovation (as GHC always has) while still
making Haskell attractive for real-world production use and for
teaching. We therefore seek a balance of background, expertise, and
views on the committee.

Membership of the committee gives you the chance to influence the
future direction of Haskell, and to serve the Haskell community. The
committee’s work requires a small, but non-trivial amount of time,
especially when you are assigned a proposal for shepherding. We
estimate the workload to be around 2 hours per week, and our process
works best if members usually respond to technical emails within 1-2
weeks (within days is even better). Please keep that in mind if your
email inbox is already overflowing.

To nominate yourself, please send an email to me (as the committee
secretary) at mail at joachim-breitner.de until February 11th. I will
distribute the nominations among the committee, and we will keep the
nominations and our deliberations private.

On behalf of the committee,
Joachim Breitner

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/


From mail at joachim-breitner.de  Thu Oct  6 12:31:54 2022
From: mail at joachim-breitner.de (Joachim Breitner)
Date: Thu, 06 Oct 2022 14:31:54 +0200
Subject: [Haskell-cafe] Request for Nominations to the GHC Steering
	Committee
In-Reply-To: <affb8fbd469ef26dcc88491fe0c0403658295776.camel@joachim-breitner.de>
References: <affb8fbd469ef26dcc88491fe0c0403658295776.camel@joachim-breitner.de>
Message-ID: <a9f959935eedbca150a97c7c6cd5c11d07035eed.camel@joachim-breitner.de>

Sorry for that, but

Am Donnerstag, dem 06.10.2022 um 14:28 +0200 schrieb Joachim Breitner:
> To nominate yourself, please send an email to me (as the committee
> secretary) at mail at joachim-breitner.de until February 11th.
> 

should be October 16th.

Cheers,
Joachim


-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/


From melkon.or at gmail.com  Mon Oct 10 11:03:30 2022
From: melkon.or at gmail.com (Orestis Melkonian)
Date: Mon, 10 Oct 2022 12:03:30 +0100
Subject: [Haskell-cafe] LAST CALL: Agda Implementors' Meeting XXXI -
 Edinburgh, 10-16 November 2022
Message-ID: <a55f0bb9-009f-bc74-5efa-32a0e453a009@gmail.com>

---------------------------------------------------------------
              Agda Implementors' Meeting XXXI
*Last call* for participation
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI
---------------------------------------------------------------

The 31st Agda Implementors' Meeting will take place in Edinburgh, 
Scotland from Thursday 10 November 2022 to Wednesday 16 November 2022.
Note that AIMXXXI was initially planned for 2019 but got postponed due 
to COVID-19, whilst we had several online meetings XXXII-XXXV.
The meeting will consist of:

   * Presentations concerning theory, implementation, and use cases of 
Agda and other Agda-like languages.

   * Discussions around issues related to the Agda language.

   * Plenty of time to work in, on, under or around Agda, in 
collaboration with other participants.

Unfortunately, the EuroProofNet day we initially planned has been cancelled.

*Registration deadline (extended): October 21st*

To register for AIM XXXI, please fill out the form below and send it to 
Orestis Melkonian by email <orestis.melkonian at ed.ac.uk>, or simply edit 
the AIMXXI wiki page yourself.

 > ---------------------------------------------------------------
 > Registration form for Agda Implementors' Meeting XXXI
 >
 > Name:
 >
 > Title and optionally abstract (if you want to give a talk or lead a 
discussion):
 >
 > Suggestions for code sprints (optional):
 >
 > Dietary restrictions:
 >
 > Additional comments:
 >
 > ---------------------------------------------------------------

More information is available at

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI

Please spread the word about this meeting.

Best regards,
Orestis
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221010/ba686ed9/attachment.html>

From liyao at pdx.edu  Tue Oct 11 23:54:45 2022
From: liyao at pdx.edu (Yao Li)
Date: Tue, 11 Oct 2022 16:54:45 -0700
Subject: [Haskell-cafe] Ph.D. positions at Portland State University
Message-ID: <CAG7FV=sATdRA5bHHkDPY-_k=kGkjipM2PWowwzcxFFVTgau78Q@mail.gmail.com>

Dear All,

I am looking for Ph.D students (starting Fall 2023) who are interested in
programming languages, formal verification, and/or interactive theorem
proving to join my new group at Portland State University.

I am a new assistant professor at Portland State University. My research
aims to (1) advance the state of the art of verification on real-world
software and (2) make verification easier to use from a programming
languages perspective. You can find more information about me on my
webpage: https://lastland.github.io/

Please feel free to drop me an email if you are interested or if you have
any questions about my research, my group, or Portland State University.
I'd appreciate it if you can help spread the word to whoever might be
interested.

Cheers,
Yao Li, Ph.D., (He/Him)
Assistant Professor,
Computer Science Department, Portland State University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221011/65816ec4/attachment.html>

From boryskopec00 at gmail.com  Thu Oct 13 08:56:56 2022
From: boryskopec00 at gmail.com (=?UTF-8?B?Qm9yeXMgS29wZcSH?=)
Date: Thu, 13 Oct 2022 10:56:56 +0200
Subject: [Haskell-cafe] Haskell merchandise
Message-ID: <CAEH2LDDS6uPjmRXDwpdHyKCY0y5u-ieocCisbH6UU2njxWuCDA@mail.gmail.com>

Hey all,

Do you know where to find official (if there is one) merch on Haskell? I'm
talking stickers, clothes and gadgets.

Regards
Borys
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221013/24b5ae30/attachment.html>

From ruben.astud at gmail.com  Thu Oct 13 13:27:06 2022
From: ruben.astud at gmail.com (Ruben Astudillo)
Date: Thu, 13 Oct 2022 10:27:06 -0300
Subject: [Haskell-cafe] Haskell merchandise
In-Reply-To: <CAEH2LDDS6uPjmRXDwpdHyKCY0y5u-ieocCisbH6UU2njxWuCDA@mail.gmail.com>
References: <CAEH2LDDS6uPjmRXDwpdHyKCY0y5u-ieocCisbH6UU2njxWuCDA@mail.gmail.com>
Message-ID: <e7666c94-c493-8dac-d6f5-3037d4bfab79@gmail.com>

Hey

On 13-10-22 05:56, Borys Kopeć wrote:
> Do you know where to find official (if there is one) merch on Haskell? I'm
> talking stickers, clothes and gadgets.

I don't know if the haskell foundation has a shop, but I know certain
companies such as Serokell[1] have a shop.

[1]: https://shop.serokell.io/

-- 
Rubén. (pgp: 1E88 3AC4 89EB FA22)


From migmit at gmail.com  Thu Oct 13 13:35:39 2022
From: migmit at gmail.com (MigMit)
Date: Thu, 13 Oct 2022 15:35:39 +0200
Subject: [Haskell-cafe] Haskell merchandise
In-Reply-To: <CAEH2LDDS6uPjmRXDwpdHyKCY0y5u-ieocCisbH6UU2njxWuCDA@mail.gmail.com>
References: <CAEH2LDDS6uPjmRXDwpdHyKCY0y5u-ieocCisbH6UU2njxWuCDA@mail.gmail.com>
Message-ID: <58DED697-1A5D-4AD8-8A12-2DA4F18B681C@gmail.com>

God I hope we didn't stoop that low. The only next step I can think of would be offically minted NFTs.

> On 13 Oct 2022, at 10:56, Borys Kopeć <boryskopec00 at gmail.com> wrote:
> 
> Hey all,
> 
> Do you know where to find official (if there is one) merch on Haskell? I'm talking stickers, clothes and gadgets.
> 
> Regards
> Borys
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.


From ida.bzowska at gmail.com  Thu Oct 13 13:44:47 2022
From: ida.bzowska at gmail.com (Ida Bzowska)
Date: Thu, 13 Oct 2022 15:44:47 +0200
Subject: [Haskell-cafe] Haskell merchandise
In-Reply-To: <58DED697-1A5D-4AD8-8A12-2DA4F18B681C@gmail.com>
References: <CAEH2LDDS6uPjmRXDwpdHyKCY0y5u-ieocCisbH6UU2njxWuCDA@mail.gmail.com>
 <58DED697-1A5D-4AD8-8A12-2DA4F18B681C@gmail.com>
Message-ID: <CAHjTkBjedFMyYuhWwMrNHZuN3wwNfdrShrz6cRQk3RdAqw1dgg@mail.gmail.com>

Not all the sources are relevant/up to date, but maybe you will find
something interesting here as well
@boryskopec00 at gmail.com
https://wiki.haskell.org/Merchandise

λCheers
Ida Bzowska



czw., 13 paź 2022 o 15:35 MigMit <migmit at gmail.com> napisał(a):

> God I hope we didn't stoop that low. The only next step I can think of
> would be offically minted NFTs.
>
> > On 13 Oct 2022, at 10:56, Borys Kopeć <boryskopec00 at gmail.com> wrote:
> >
> > Hey all,
> >
> > Do you know where to find official (if there is one) merch on Haskell?
> I'm talking stickers, clothes and gadgets.
> >
> > Regards
> > Borys
> > _______________________________________________
> > Haskell-Cafe mailing list
> > To (un)subscribe, modify options or view archives go to:
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> > Only members subscribed via the mailman list are allowed to post.
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221013/2dc3027d/attachment.html>

From boryskopec00 at gmail.com  Thu Oct 13 17:11:39 2022
From: boryskopec00 at gmail.com (=?UTF-8?B?Qm9yeXMgS29wZcSH?=)
Date: Thu, 13 Oct 2022 19:11:39 +0200
Subject: [Haskell-cafe] Haskell merchandise
In-Reply-To: <CAHjTkBjedFMyYuhWwMrNHZuN3wwNfdrShrz6cRQk3RdAqw1dgg@mail.gmail.com>
References: <CAEH2LDDS6uPjmRXDwpdHyKCY0y5u-ieocCisbH6UU2njxWuCDA@mail.gmail.com>
 <58DED697-1A5D-4AD8-8A12-2DA4F18B681C@gmail.com>
 <CAHjTkBjedFMyYuhWwMrNHZuN3wwNfdrShrz6cRQk3RdAqw1dgg@mail.gmail.com>
Message-ID: <CAEH2LDBBgHzY5O4PQd3+zCKmUiH+47Z+K==ZRWSDKvgscr6pqQ@mail.gmail.com>

Thank you for your answers.
I wanted to find an official shop so I can (in some way) help Haskell
foundation.

If I understand correctly however, Haskell does not have a official merch
and also I think that the trademark is not restricted so it makes sense
that there are so many different places where you can buy things with
Haskell logo on them.

Regards
Borys


On Thu, 13 Oct 2022, 15:44 Ida Bzowska, <ida.bzowska at gmail.com> wrote:

> Not all the sources are relevant/up to date, but maybe you will find
> something interesting here as well
> @boryskopec00 at gmail.com
> https://wiki.haskell.org/Merchandise
>
> λCheers
> Ida Bzowska
>
>
>
> czw., 13 paź 2022 o 15:35 MigMit <migmit at gmail.com> napisał(a):
>
>> God I hope we didn't stoop that low. The only next step I can think of
>> would be offically minted NFTs.
>>
>> > On 13 Oct 2022, at 10:56, Borys Kopeć <boryskopec00 at gmail.com> wrote:
>> >
>> > Hey all,
>> >
>> > Do you know where to find official (if there is one) merch on Haskell?
>> I'm talking stickers, clothes and gadgets.
>> >
>> > Regards
>> > Borys
>> > _______________________________________________
>> > Haskell-Cafe mailing list
>> > To (un)subscribe, modify options or view archives go to:
>> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>> > Only members subscribed via the mailman list are allowed to post.
>>
>> _______________________________________________
>> Haskell-Cafe mailing list
>> To (un)subscribe, modify options or view archives go to:
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>> Only members subscribed via the mailman list are allowed to post.
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221013/26e8c769/attachment.html>

From ida.bzowska at gmail.com  Thu Oct 13 17:50:44 2022
From: ida.bzowska at gmail.com (Ida Bzowska)
Date: Thu, 13 Oct 2022 19:50:44 +0200
Subject: [Haskell-cafe] Haskell merchandise
In-Reply-To: <CAEH2LDBBgHzY5O4PQd3+zCKmUiH+47Z+K==ZRWSDKvgscr6pqQ@mail.gmail.com>
References: <CAEH2LDDS6uPjmRXDwpdHyKCY0y5u-ieocCisbH6UU2njxWuCDA@mail.gmail.com>
 <58DED697-1A5D-4AD8-8A12-2DA4F18B681C@gmail.com>
 <CAHjTkBjedFMyYuhWwMrNHZuN3wwNfdrShrz6cRQk3RdAqw1dgg@mail.gmail.com>
 <CAEH2LDBBgHzY5O4PQd3+zCKmUiH+47Z+K==ZRWSDKvgscr6pqQ@mail.gmail.com>
Message-ID: <CAHjTkBimefSzXk=d3EwBsaKuKvCcBWu6P2KyKf4=pRMNeW090Q@mail.gmail.com>

Plus/minus this is how things work for now with the merch in general, if
you want to support Haskell Foundation or Haskell.org - the best way is to
contribute to their projects.
Cheers,
Ida Bzowska



czw., 13 paź 2022 o 19:11 Borys Kopeć <boryskopec00 at gmail.com> napisał(a):

> Thank you for your answers.
> I wanted to find an official shop so I can (in some way) help Haskell
> foundation.
>
> If I understand correctly however, Haskell does not have a official merch
> and also I think that the trademark is not restricted so it makes sense
> that there are so many different places where you can buy things with
> Haskell logo on them.
>
> Regards
> Borys
>
>
> On Thu, 13 Oct 2022, 15:44 Ida Bzowska, <ida.bzowska at gmail.com> wrote:
>
>> Not all the sources are relevant/up to date, but maybe you will find
>> something interesting here as well
>> @boryskopec00 at gmail.com
>> https://wiki.haskell.org/Merchandise
>>
>> λCheers
>> Ida Bzowska
>>
>>
>>
>> czw., 13 paź 2022 o 15:35 MigMit <migmit at gmail.com> napisał(a):
>>
>>> God I hope we didn't stoop that low. The only next step I can think of
>>> would be offically minted NFTs.
>>>
>>> > On 13 Oct 2022, at 10:56, Borys Kopeć <boryskopec00 at gmail.com> wrote:
>>> >
>>> > Hey all,
>>> >
>>> > Do you know where to find official (if there is one) merch on Haskell?
>>> I'm talking stickers, clothes and gadgets.
>>> >
>>> > Regards
>>> > Borys
>>> > _______________________________________________
>>> > Haskell-Cafe mailing list
>>> > To (un)subscribe, modify options or view archives go to:
>>> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>>> > Only members subscribed via the mailman list are allowed to post.
>>>
>>> _______________________________________________
>>> Haskell-Cafe mailing list
>>> To (un)subscribe, modify options or view archives go to:
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>>> Only members subscribed via the mailman list are allowed to post.
>>
>>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221013/0c99e30c/attachment.html>

From jeffbrown.the at gmail.com  Thu Oct 13 18:41:34 2022
From: jeffbrown.the at gmail.com (Jeffrey Brown)
Date: Thu, 13 Oct 2022 13:41:34 -0500
Subject: [Haskell-cafe] Haskell merchandise
In-Reply-To: <CAHjTkBimefSzXk=d3EwBsaKuKvCcBWu6P2KyKf4=pRMNeW090Q@mail.gmail.com>
References: <CAEH2LDDS6uPjmRXDwpdHyKCY0y5u-ieocCisbH6UU2njxWuCDA@mail.gmail.com>
 <58DED697-1A5D-4AD8-8A12-2DA4F18B681C@gmail.com>
 <CAHjTkBjedFMyYuhWwMrNHZuN3wwNfdrShrz6cRQk3RdAqw1dgg@mail.gmail.com>
 <CAEH2LDBBgHzY5O4PQd3+zCKmUiH+47Z+K==ZRWSDKvgscr6pqQ@mail.gmail.com>
 <CAHjTkBimefSzXk=d3EwBsaKuKvCcBWu6P2KyKf4=pRMNeW090Q@mail.gmail.com>
Message-ID: <CAEc4Ma3ah481bqqLOw4JpTkVTmrLE-wGvp7Oy_9+EmMWE+kUpQ@mail.gmail.com>

Maybe some Haskeller would find selling merch for the foundation worth it,
if they knew how much they could expect to sell. I just set up a Twitter
poll to register interest:

https://twitter.com/carelogic/status/1580629149923700736

(I tried to make a more complicated Google survey but toward the end found
out it would cost me money.)

If you're long on money and/or short on time, donating money (as a purchase
or otherwise) seems like a perfectly legitimate move.

On Thu, Oct 13, 2022 at 12:51 PM Ida Bzowska <ida.bzowska at gmail.com> wrote:

> Plus/minus this is how things work for now with the merch in general, if
> you want to support Haskell Foundation or Haskell.org - the best way is to
> contribute to their projects.
> Cheers,
> Ida Bzowska
>
>
>
> czw., 13 paź 2022 o 19:11 Borys Kopeć <boryskopec00 at gmail.com> napisał(a):
>
>> Thank you for your answers.
>> I wanted to find an official shop so I can (in some way) help Haskell
>> foundation.
>>
>> If I understand correctly however, Haskell does not have a official merch
>> and also I think that the trademark is not restricted so it makes sense
>> that there are so many different places where you can buy things with
>> Haskell logo on them.
>>
>> Regards
>> Borys
>>
>>
>> On Thu, 13 Oct 2022, 15:44 Ida Bzowska, <ida.bzowska at gmail.com> wrote:
>>
>>> Not all the sources are relevant/up to date, but maybe you will find
>>> something interesting here as well
>>> @boryskopec00 at gmail.com
>>> https://wiki.haskell.org/Merchandise
>>>
>>> λCheers
>>> Ida Bzowska
>>>
>>>
>>>
>>> czw., 13 paź 2022 o 15:35 MigMit <migmit at gmail.com> napisał(a):
>>>
>>>> God I hope we didn't stoop that low. The only next step I can think of
>>>> would be offically minted NFTs.
>>>>
>>>> > On 13 Oct 2022, at 10:56, Borys Kopeć <boryskopec00 at gmail.com> wrote:
>>>> >
>>>> > Hey all,
>>>> >
>>>> > Do you know where to find official (if there is one) merch on
>>>> Haskell? I'm talking stickers, clothes and gadgets.
>>>> >
>>>> > Regards
>>>> > Borys
>>>> > _______________________________________________
>>>> > Haskell-Cafe mailing list
>>>> > To (un)subscribe, modify options or view archives go to:
>>>> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>>>> > Only members subscribed via the mailman list are allowed to post.
>>>>
>>>> _______________________________________________
>>>> Haskell-Cafe mailing list
>>>> To (un)subscribe, modify options or view archives go to:
>>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>>>> Only members subscribed via the mailman list are allowed to post.
>>>
>>> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.



-- 
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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221013/bf8244db/attachment.html>

From jeehoon.kang at cp.kaist.ac.kr  Fri Oct 14 02:11:55 2022
From: jeehoon.kang at cp.kaist.ac.kr (Jeehoon Kang)
Date: Fri, 14 Oct 2022 11:11:55 +0900
Subject: [Haskell-cafe] SRC@POPL 2023 Call for Submissions
Message-ID: <CAEgYQGOC=q3BzFPwhbzikzj2FP=OwaT1yXUXDc+Eab++fci=zw@mail.gmail.com>

(Apologies if you receive multiple copies of this message)

--------------------------------------------------------------------------

SRC at POPL 2023 Call for Submissions
ACM Student Research Competition

https://popl23.sigplan.org/track/POPL-2023-student-research-competition
Location: Boston, Massachusetts, USA
SRC Posters: Jan 18, 2023 (tentative)
SRC Presentation: Jan 20, 2023 (tentative)

--------------------------------------------------------------------------

Important Dates

Abstract Submission: Fri 11 Nov 2022
Notification of (Conditional) Acceptance: Fri 2 Dec 2022
Re-Submission for Conditionally Accepted Abstracts: Wed 7 Dec 2022
Notification of Final Acceptance: Fri 9 Dec 2022

--------------------------------------------------------------------------

Overview

POPL 2023 will host an ACM Student Research Competition, where
undergraduate and graduate students can present their original research
before a panel of judges and conference attendees. This year’s competition
will consist of three rounds:

• Round 1, Extended abstract: All students are encouraged to submit an
extended abstract outlining their research. The submission should be up to
three pages using “\documentclass[acmsmall,nonacm]{acmart}”.

• Round 2, Poster at POPL: Based on the abstracts, a panel of judges will
select the most promising entrants to participate in a poster session at
POPL. In the poster session, students will be able to interact with POPL
attendees and judges. After the poster session, three finalists in each
category (graduate/undergraduate) will be selected to advance to the next
round.

• Round 3, Oral presentation at POPL: The last round will consist of a
short oral live presentation at POPL to compete for the final awards in
each category. This round will also select an overall winner who will
advance to the ACM SRC Grand Finals.

--------------------------------------------------------------------------

Call for Submission

POPL invites students to participate in the Student Research Competition in
order to present their research and get feedback from prominent members of
the programming language research community. Please submit your extended
abstracts through HotCRP: https://popl23src.hotcrp.com

Submissions must be original research that is not already published at POPL
or another conference or journal. One of the goals of the SRC is to give
students feedback on ongoing, unpublished work. Furthermore, the abstract
must be authored solely by the student. If the work is collaborative with
others and/or part of a larger group project, the abstract should make
clear what the student’s role was and should focus on that portion of the
work.

The extended abstract should be up to three pages using
‘\documentclass[acmsmall,nonacm]{acmart}’. Reference lists do not count
towards the three-page limit. You may write appendices after the three-page
limit, but please be noted that the committee is not required to read them.

This year, we will have two review cycles. For each submission, one of the
following decisions will be made:
• Accept: abstracts that proceed to the next round unconditionally.
• Conditional Accept: abstracts that receive revision suggestions from the
PC members. Authors will have 5 days to revise the abstract accordingly and
then resubmit. The revised abstracts will then be re-evaluated, and either
accepted or rejected.
• Reject: abstracts that will not proceed to the next round.

--------------------------------------------------------------------------

Program Committee

Jeehoon Kang, KAIST
Danfeng Zhang, Pennsylvania State University
Youyou Cong, Tokyo Institute of Technology
Zeyu Ding, Binghamton University, USA
Andrew K. Hirsch, MPI-SWS
Yoonseung Kim, Yale University
Abhinav Verma, Pennsylvania State University
Yuepeng Wang, Simon Fraser University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221014/1e8b3718/attachment.html>

From david at haskell.foundation  Fri Oct 14 08:37:28 2022
From: david at haskell.foundation (David Christiansen)
Date: Fri, 14 Oct 2022 10:37:28 +0200
Subject: [Haskell-cafe] Haskell merchandise
In-Reply-To: <CAEH2LDBBgHzY5O4PQd3+zCKmUiH+47Z+K==ZRWSDKvgscr6pqQ@mail.gmail.com>
References: <CAEH2LDDS6uPjmRXDwpdHyKCY0y5u-ieocCisbH6UU2njxWuCDA@mail.gmail.com>
 <58DED697-1A5D-4AD8-8A12-2DA4F18B681C@gmail.com>
 <CAHjTkBjedFMyYuhWwMrNHZuN3wwNfdrShrz6cRQk3RdAqw1dgg@mail.gmail.com>
 <CAEH2LDBBgHzY5O4PQd3+zCKmUiH+47Z+K==ZRWSDKvgscr6pqQ@mail.gmail.com>
Message-ID: <CAK7U1=2tPxhKUO0CRTPy8NyVvMEZKiKK7EaTDJ0HZOCwisDw0Q@mail.gmail.com>

Hi Borys,

Thank you for your answers.
> I wanted to find an official shop so I can (in some way) help Haskell
> foundation.
>

Thank you for wanting to help us!

I've thought about setting up a sticker and t-shirt shop (or perhaps a few,
to cover different geographical regions). If there's a lot of interest, I
can re-evaluate this, but it hasn't been very high on my list so far
because there are lots of other groups already providing the gear, and I
suspect that the overall time use on the project wouldn't make it worth it.
So I'd encourage you to support an existing seller of Haskell gear who you
like, and if you'd like to help out with the foundation, either make a
direct donation or (even better) we can have a chat about volunteer
opportunities.

Thanks again!

David Thrane Christiansen
Executive Director
The Haskell Foundation

>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221014/b3e3650b/attachment.html>

From ecb10 at st-andrews.ac.uk  Fri Oct 14 10:56:24 2022
From: ecb10 at st-andrews.ac.uk (Edwin Brady)
Date: Fri, 14 Oct 2022 10:56:24 +0000
Subject: [Haskell-cafe] CFP for PEPM 2023 (Deadline extended)
Message-ID: <FF67AB89-4366-4C61-98BD-6AC6FAC7E8CB@st-andrews.ac.uk>

Dear all,
(With apologies for any duplicate copies). Please see the CFP for PEPM 203
below. We have received some requests for extensions, and extended the
deadline to next Tuesday. Note that short papers, including tool demos,
works in progress and extended abstracts, are welcome too!
Edwin and Jens

                           -- CALL FOR PAPERS --

ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2023
===============================================================================

  * Website : https://popl23.sigplan.org/home/pepm-2023
  * Time    : 16th--17th January 2023
  * Place   : Boston, Massachusetts, United States
              (co-located with POPL 2023)

The ACM SIGPLAN Workshop on Partial Evaluation and Program
Manipulation (PEPM) has a history going back to 1991 and has been
co-located with POPL every year since 2006. It originated with the
discoveries of useful automated techniques for evaluating
programs with only partial input. Over the years, the scope of PEPM
has expanded to include a variety of research areas centred around the
theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subjects to black-box
execution but also as data structures that can be generated,
analysed, and transformed while establishing or maintaining important
semantic properties.

Scope
-----

In addition to the traditional PEPM topics (see below), PEPM 2023
welcomes submissions in new domains, in particular:

  * Semantics based and machine-learning based program synthesis and
    program optimisation.

  * Modelling, analysis, and transformation techniques for distributed
    and concurrent protocols and programs, such as session types,
    linear types, and contract specifications.

More generally, topics of interest for PEPM 2023 include, but are not
limited to:

  * Program and model manipulation techniques such as:
    supercompilation, partial evaluation, fusion, on-the-fly program
    adaptation, active libraries, program inversion, slicing, symbolic
    execution, refactoring, decompilation, and obfuscation.

  * Techniques that treat programs/models as data objects including
    metaprogramming, generative programming, embedded domain-specific
    languages, program synthesis by sketching and inductive
    programming, staged computation, and model-driven program
    generation and transformation.

  * Program analysis techniques that are used to drive program/model
    manipulation such as: abstract interpretation, termination
    checking, binding-time analysis, constraint solving, type systems,
    automated testing and test case generation.

  * Application of the above techniques including case studies of
    program manipulation in real-world (industrial, open-source)
    projects and software development processes, descriptions of
    robust tools capable of effectively handling realistic
    applications, benchmarking. Examples of application domains
    include legacy program understanding and transformation, DSL
    implementations, visual languages and end-user programming,
    scientific computing, middleware frameworks and infrastructure
    needed for distributed and web-based applications, embedded and
    resource-limited computation, and security.

This list of categories is not exhaustive, and we encourage
submissions describing new theories and applications related to
semantics-based program manipulation in general. If you have a
question as to whether a potential submission is within the scope of
the workshop, please contact the programme co-chairs, Edwin Brady
(ecb10 at st-andrews.ac.uk) and Jens Palsberg (palsberg at ucla.edu).

Submission categories and guidelines
------------------------------------

Two kinds of submissions will be accepted:

  * Regular Research Papers should describe new results, and will be
    judged on originality, correctness, significance, and clarity.
    Regular research papers must not exceed 12 pages.

  * Short Papers may include tool demonstrations and presentations of
    exciting if not fully polished research, and of interesting
    academic, industrial, and open-source applications that are new or
    unfamiliar. Short papers must not exceed 6 pages.

References and appendices are not included in page limits. Appendices
may not be read by reviewers. Both kinds of submissions should be
typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’
format available at:

  http://sigplan.org/Resources/Author/

and submitted electronically via HotCRP:

  https://pepm23.hotcrp.com/

Reviewing will be single-blind.

Submissions are welcome from PC members (except the two co-chairs).

Accepted regular research papers will appear in formal proceedings
published by ACM, and be included in the ACM Digital Library.
Accepted short papers do not constitute formal publications and will
not appear in the proceedings.

At least one author of each accepted contribution must attend the
workshop (physically or virtually) and present the work. In the case
of tool demonstration papers, a live demonstration of the described
tool is expected.

Important dates
---------------

  * Paper submission deadline (EXTENDED): **Tuesday 13th October 2022 (AoE)**
  * Author notification       (EXTENDED) : **Tuesday 15th November 2022 (AoE)**
  * Workshop                  : **Monday 16th January 2023 to
                                  Tuesday 17th January 2023**

Best paper award
----------------

PEPM 2023 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.

Programme committee
-------------------

* Chairs: Edwin Brady (University of St Andrews, UK)
          Jens Palsberg (University of California Los Angeles, USA)

* Nada Amin Harvard (USA)
* Adam Barwell (Imperial College London, UK)
* Nicolas Biri (Input Output Global)
* David Castro-Perez (University of Kent at Canterbury, UK)
* Cristina David (University of Bristol, UK)
* Atsushi Igarashi (Kyoto University, Japan)
* Yukiyoshi Kameyama (University of Tsukuba, Japan)
* Geoffrey Mainland (Drexel University, USA)
* Hila Peleg (Technion Israel Institute of Technology, Israel)
* Casper Bach Poulsen (Delft University of Technology, Netherlands)
* Sukyoung Ryu (KAIST, Korea)
* Sven-Bodo Scholz (Radboud University Nijmegen, Netherlands)
* Ilya Sergey (National University of Singapore, Singapore)
* Satnam Singh (Groq Inc, USA)
* Elena Zucca (University of Genova, Italy)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221014/ab79aa35/attachment-0001.html>

From ecb10 at st-andrews.ac.uk  Fri Oct 14 11:12:22 2022
From: ecb10 at st-andrews.ac.uk (Edwin Brady)
Date: Fri, 14 Oct 2022 11:12:22 +0000
Subject: [Haskell-cafe] CFP for PEPM 2023 (Deadline extended)
In-Reply-To: <565206F3-8C49-4A0B-B41D-4811254AF7C6@st-andrews.ac.uk>
References: <565206F3-8C49-4A0B-B41D-4811254AF7C6@st-andrews.ac.uk>
Message-ID: <26C9BCD7-5129-414A-AE30-E4BBD2C18F8E@st-andrews.ac.uk>

Apologies, it's Tuesday 18th AoE (next week), not Tuesday 13th. Thanks to those who pointed out the error and sorry for the extra noise.

From: Edwin Brady <ecb10 at st-andrews.ac.uk>

Dear all,
(With apologies for any duplicate copies). Please see the CFP for PEPM 203
below. We have received some requests for extensions, and extended the
deadline to next Tuesday. Note that short papers, including tool demos,
works in progress and extended abstracts, are welcome too!
Edwin and Jens

                           -- CALL FOR PAPERS --

ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2023
===============================================================================

  * Website : https://popl23.sigplan.org/home/pepm-2023
  * Time    : 16th--17th January 2023
  * Place   : Boston, Massachusetts, United States
              (co-located with POPL 2023)

The ACM SIGPLAN Workshop on Partial Evaluation and Program
Manipulation (PEPM) has a history going back to 1991 and has been
co-located with POPL every year since 2006. It originated with the
discoveries of useful automated techniques for evaluating
programs with only partial input. Over the years, the scope of PEPM
has expanded to include a variety of research areas centred around the
theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subjects to black-box
execution but also as data structures that can be generated,
analysed, and transformed while establishing or maintaining important
semantic properties.

Scope
-----

In addition to the traditional PEPM topics (see below), PEPM 2023
welcomes submissions in new domains, in particular:

  * Semantics based and machine-learning based program synthesis and
    program optimisation.

  * Modelling, analysis, and transformation techniques for distributed
    and concurrent protocols and programs, such as session types,
    linear types, and contract specifications.

More generally, topics of interest for PEPM 2023 include, but are not
limited to:

  * Program and model manipulation techniques such as:
    supercompilation, partial evaluation, fusion, on-the-fly program
    adaptation, active libraries, program inversion, slicing, symbolic
    execution, refactoring, decompilation, and obfuscation.

  * Techniques that treat programs/models as data objects including
    metaprogramming, generative programming, embedded domain-specific
    languages, program synthesis by sketching and inductive
    programming, staged computation, and model-driven program
    generation and transformation.

  * Program analysis techniques that are used to drive program/model
    manipulation such as: abstract interpretation, termination
    checking, binding-time analysis, constraint solving, type systems,
    automated testing and test case generation.

  * Application of the above techniques including case studies of
    program manipulation in real-world (industrial, open-source)
    projects and software development processes, descriptions of
    robust tools capable of effectively handling realistic
    applications, benchmarking. Examples of application domains
    include legacy program understanding and transformation, DSL
    implementations, visual languages and end-user programming,
    scientific computing, middleware frameworks and infrastructure
    needed for distributed and web-based applications, embedded and
    resource-limited computation, and security.

This list of categories is not exhaustive, and we encourage
submissions describing new theories and applications related to
semantics-based program manipulation in general. If you have a
question as to whether a potential submission is within the scope of
the workshop, please contact the programme co-chairs, Edwin Brady
(ecb10 at st-andrews.ac.uk<mailto:ecb10 at st-andrews.ac.uk>) and Jens Palsberg (palsberg at ucla.edu<mailto:palsberg at ucla.edu>).

Submission categories and guidelines
------------------------------------

Two kinds of submissions will be accepted:

  * Regular Research Papers should describe new results, and will be
    judged on originality, correctness, significance, and clarity.
    Regular research papers must not exceed 12 pages.

  * Short Papers may include tool demonstrations and presentations of
    exciting if not fully polished research, and of interesting
    academic, industrial, and open-source applications that are new or
    unfamiliar. Short papers must not exceed 6 pages.

References and appendices are not included in page limits. Appendices
may not be read by reviewers. Both kinds of submissions should be
typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’
format available at:

  http://sigplan.org/Resources/Author/

and submitted electronically via HotCRP:

  https://pepm23.hotcrp.com/

Reviewing will be single-blind.

Submissions are welcome from PC members (except the two co-chairs).

Accepted regular research papers will appear in formal proceedings
published by ACM, and be included in the ACM Digital Library.
Accepted short papers do not constitute formal publications and will
not appear in the proceedings.

At least one author of each accepted contribution must attend the
workshop (physically or virtually) and present the work. In the case
of tool demonstration papers, a live demonstration of the described
tool is expected.

Important dates
---------------

  * Paper submission deadline (EXTENDED): **Tuesday 13th October 2022 (AoE)**
  * Author notification       (EXTENDED) : **Tuesday 15th November 2022 (AoE)**
  * Workshop                  : **Monday 16th January 2023 to
                                  Tuesday 17th January 2023**

Best paper award
----------------

PEPM 2023 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.

Programme committee
-------------------

* Chairs: Edwin Brady (University of St Andrews, UK)
          Jens Palsberg (University of California Los Angeles, USA)

* Nada Amin Harvard (USA)
* Adam Barwell (Imperial College London, UK)
* Nicolas Biri (Input Output Global)
* David Castro-Perez (University of Kent at Canterbury, UK)
* Cristina David (University of Bristol, UK)
* Atsushi Igarashi (Kyoto University, Japan)
* Yukiyoshi Kameyama (University of Tsukuba, Japan)
* Geoffrey Mainland (Drexel University, USA)
* Hila Peleg (Technion Israel Institute of Technology, Israel)
* Casper Bach Poulsen (Delft University of Technology, Netherlands)
* Sukyoung Ryu (KAIST, Korea)
* Sven-Bodo Scholz (Radboud University Nijmegen, Netherlands)
* Ilya Sergey (National University of Singapore, Singapore)
* Satnam Singh (Groq Inc, USA)
* Elena Zucca (University of Genova, Italy)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221014/144813a8/attachment.html>

From pieter at cs.ru.nl  Fri Oct 14 14:47:30 2022
From: pieter at cs.ru.nl (Pieter Koopman)
Date: Fri, 14 Oct 2022 16:47:30 +0200
Subject: [Haskell-cafe] Ph.D. position at Radboud University Nijmegen,
	The Netherlands
Message-ID: <a3b52f80-7c76-46de-55a5-0bf2b5ad044b@cs.ru.nl>

Dear all,

we are looking for a PhD candidate in Software Technology 
<https://www.ru.nl/en/working-at/job-opportunities/phd-candidate-in-software-technology>. 
As a PhD candidate in the Software Technology Group, you will actively 
contribute to the research group's IoT activities, spearheading research 
on swarm computing in the IoT: intelligent cooperating nodes that are 
dynamically connected in an ever-changing network.

You will contribute to our research in swarm computing, working with 
dynamically changing networks of cooperating intelligent nodes. You have 
a Master's degree in computer science or mathematics with a background 
in declarative/functional programming. Experience with code generation, 
run-time systems, the internet of things, edge computing, language 
design, or low-power computing is a plus.

Please contact me for details.

Pieter Koopman
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221014/780a9b9a/attachment.html>

From jeffbrown.the at gmail.com  Fri Oct 14 18:43:38 2022
From: jeffbrown.the at gmail.com (Jeffrey Brown)
Date: Fri, 14 Oct 2022 13:43:38 -0500
Subject: [Haskell-cafe] Haskell merchandise
In-Reply-To: <CAK7U1=2tPxhKUO0CRTPy8NyVvMEZKiKK7EaTDJ0HZOCwisDw0Q@mail.gmail.com>
References: <CAEH2LDDS6uPjmRXDwpdHyKCY0y5u-ieocCisbH6UU2njxWuCDA@mail.gmail.com>
 <58DED697-1A5D-4AD8-8A12-2DA4F18B681C@gmail.com>
 <CAHjTkBjedFMyYuhWwMrNHZuN3wwNfdrShrz6cRQk3RdAqw1dgg@mail.gmail.com>
 <CAEH2LDBBgHzY5O4PQd3+zCKmUiH+47Z+K==ZRWSDKvgscr6pqQ@mail.gmail.com>
 <CAK7U1=2tPxhKUO0CRTPy8NyVvMEZKiKK7EaTDJ0HZOCwisDw0Q@mail.gmail.com>
Message-ID: <CAEc4Ma2k+wyYy+3f9gnrvh5sXt3G=pX4pZxyuYwe+jOhDv+R1g@mail.gmail.com>

My poll yielded a resounding yawn.

On Fri, Oct 14, 2022 at 3:38 AM David Christiansen via Haskell-Cafe <
haskell-cafe at haskell.org> wrote:

> Hi Borys,
>
> Thank you for your answers.
>> I wanted to find an official shop so I can (in some way) help Haskell
>> foundation.
>>
>
> Thank you for wanting to help us!
>
> I've thought about setting up a sticker and t-shirt shop (or perhaps a
> few, to cover different geographical regions). If there's a lot of
> interest, I can re-evaluate this, but it hasn't been very high on my list
> so far because there are lots of other groups already providing the gear,
> and I suspect that the overall time use on the project wouldn't make it
> worth it. So I'd encourage you to support an existing seller of Haskell
> gear who you like, and if you'd like to help out with the foundation,
> either make a direct donation or (even better) we can have a chat about
> volunteer opportunities.
>
> Thanks again!
>
> David Thrane Christiansen
> Executive Director
> The Haskell Foundation
>
>> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.



-- 
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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221014/ed38fabd/attachment.html>

From stefan.wehr at gmail.com  Tue Oct 18 07:15:18 2022
From: stefan.wehr at gmail.com (Stefan Wehr)
Date: Tue, 18 Oct 2022 09:15:18 +0200
Subject: [Haskell-cafe] Call for Contributions: BOB 2023 [March 17,
	Deadline Nov 21]
Message-ID: <CAJAdMdHaoV88GaV+7LD43EmR1dvB4dcPWn6oCXGHkLNgULi46Q@mail.gmail.com>

================================================================================
                         BOB Conference 2023
         "What happens when we use what's best for a change?"
                  https://bobkonf.de/2023/cfc.html
                         Berlin, Mar 17
                        Call for Contributions
                     Deadline: November 21, 2022
================================================================================

You are actively engaged in advanced software engineering methods,
solve ambitious problem with software and are open to cutting-edge
innovation? Attend this conference, meet people that share your goals,
and get to know the best software tools and technologies available
today. We strive to offer a day full of new experiences and
impressions that you can use to immediately improve your daily life as
a software developer.

If you share our vision and want to contribute, submit a proposal for
a talk or tutorial!

NOTE: The conference fee will be waived for presenters. Travel
expenses will not be covered (for exceptions see "Speaker Grants").

Online or Onsite
----------------

We expect we'll be able to hold BOB 2023 in Berlin. Note that we
intend to provide a safe environment for all participants. There will
be space outside to eat and chat. We may ask you to wear a mask
indoors when not presenting or eating, and may also ask you to take a
COVID test on-site before the event.

If an on-site BOB is not possible, we'll make BOB a successful online
event, like BOB 2021 and BOB 2022. Should BOB happen online, we will
likely ask for pre-recorded talks to make room for questions and
social interactions during the actual conference day. (Of course,
we'll provide assistance making those recordings.) Tutorials will
likely happen as a live-session.

Shepherding
-----------

The program committee offers shepherding to all speakers. Shepherding
provides speakers assistance with preparing their
sessions. Specifically:

- advice on structure and presentation
- review of talk slides
- assistance with recording
- review of recording, if applicable

Speaker Grants
--------------

BOB has Speaker Grants available to support speakers from groups
under-represented in technology. We specifically seek women speakers,
speakers of color, and speakers who are not able to attend the
conference for financial reasons.

Topics
------

We are looking for talks about best-of-breed software technology, e.g.:

- functional programming
- persistent data structures and databases
- event-based modelling and architecture
- "fancy types" (dependent types, gradual typing, linear types, ...)
- formal methods for correctness and robustness
- abstractions for concurrency and parallelism
- metaprogramming
- probabilistic programming
- math and programming
- controlled side effects
- program synthesis
- next-generation IDEs
- effective abstractions for data analytics
- … everything really that isn’t mainstream, but you think should be
- … includeing rough ideas worth discussing.

Presenters should provide the audience with information that is
practically useful for software developers.

Challenges
----------

Furthermore, we seek contributions on successful approaches for
solving hard problems, for example:

- bias in machine-learning systems
- digital transformation in difficult settings
- accessibiltity
- systems with critical reliability requirements
- ecologically sustainable software development

We're especially interested in experience reports.
Other topics are also relevant, e.g.:

- introductory talks on technical background
- overviews of a given field
- demos and how-tos

Requirements
------------

We accept proposals for presentations of 45 minutes (40 minutes talk +
5 minutes questions), as well as 90 minute tutorials for
beginners. The language of presentation should be either English or
German.

Your proposal should include (in your presentation language of choice):

- An abstract of max. 1500 characters.
- A short bio/cv
- Contact information (including at least email address)
- A list of 3-5 concrete ideas of how your work can be applied in a
developer's daily life
- additional material (websites, blogs, slides, videos of past presentations, …)
- Don't be confused: The system calls a submission event.

Organisation
------------

- Direct questions to konferenz at bobkonf dot de
- Proposal deadline: November 21, 2022
- Notification: December 5, 2022
- Program: December 12, 2022

Submit here:
https://pretalx.com/bob-2023/submit/

Program Committee
-----------------

(more information here: https://bobkonf.de/2023/programmkomitee.html)

- Matthias Fischmann, Wire
- Matthias Neubauer, SICK AG
- Nicole Rauch, Softwareentwicklung und Entwicklungscoaching
- Michael Sperber, Active Group
- Stefan Wehr, Hochschule Offenburg

Scientific Advisory Board

- Annette Bieniusa, TU Kaiserslautern
- Torsten Grust, Uni Tübingen
- Peter Thiemann, Uni Freiburg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221018/996d8339/attachment.html>

From fa-ml at ariis.it  Tue Oct 18 09:28:09 2022
From: fa-ml at ariis.it (Francesco Ariis)
Date: Tue, 18 Oct 2022 11:28:09 +0200
Subject: [Haskell-cafe] Package takeover request: utf8-light
Message-ID: <Y05xqROc6ANvLnps@mkiii.casa>

Hello list,
    I would like to take over `utf8-light`:

    https://hackage.haskell.org/package/fgl

as it currently breaks compilation for a game I wrote:

    https://github.com/haskell-infra/hackage-trustees/issues/347


There is no repository, I contacted the maintainer via email on october
2, without receiving any answer
—F

From fa-ml at ariis.it  Tue Oct 18 09:52:59 2022
From: fa-ml at ariis.it (Francesco Ariis)
Date: Tue, 18 Oct 2022 11:52:59 +0200
Subject: [Haskell-cafe] Package takeover request: utf8-light
In-Reply-To: <Y05xqROc6ANvLnps@mkiii.casa>
References: <Y05xqROc6ANvLnps@mkiii.casa>
Message-ID: <Y053eznR/wSilffV@mkiii.casa>

Il 18 ottobre 2022 alle 11:28 Francesco Ariis ha scritto:
>     https://hackage.haskell.org/package/fgl

Apologies, correct link should be

    https://hackage.haskell.org/package/utf8-light

From frase at frase.id.au  Tue Oct 18 16:39:29 2022
From: frase at frase.id.au (Fraser Tweedale)
Date: Wed, 19 Oct 2022 02:39:29 +1000
Subject: [Haskell-cafe] FOSDEM 2023 Haskell devroom proposal - co-organiser
	needed!
Message-ID: <Y07WwfjVSm0Ij5xq@bacardi.hollandpark.frase.id.au>

Greetings,

I decided to propose a Haskell devroom (like a one/half-day
specialist track or miniconf) for FOSDEM 2023, to be held February
4--5 in Brussels.  It would be great to promote Haskell among this
audience and hopefully attract new contributors / community members.

Unfortunately I left it quite late (deadline submission is today).
I only just realised I need a secondary contact (i.e. co-organiser)
to submit the proposal.  So... any volunteers?

Ideally you are located in Europe or definitely planning to attend
FOSDEM.  If you are willing, please reply!  I think I all need right
now is your name and email address (and enthusiasm).

The text of my proposal may be found at
https://github.com/frasertweedale/talks/blob/master/2022-02-xx-fosdem-haskell-devroom/proposal.md.

I have experience organising and host FP miniconfs at linux.conf.au
including running the CFP etc.  I expect FOSDEM will be similar,
except y'know, the other side of the world from Australia, where I
live.

Thanks,
Fraser

From athas at sigkill.dk  Tue Oct 18 17:11:11 2022
From: athas at sigkill.dk (Troels Henriksen)
Date: Tue, 18 Oct 2022 19:11:11 +0200
Subject: [Haskell-cafe] FOSDEM 2023 Haskell devroom proposal -
 co-organiser needed!
In-Reply-To: <Y07WwfjVSm0Ij5xq@bacardi.hollandpark.frase.id.au> (Fraser
 Tweedale's message of "Wed, 19 Oct 2022 02:39:29 +1000")
References: <Y07WwfjVSm0Ij5xq@bacardi.hollandpark.frase.id.au>
Message-ID: <87tu4183bk.fsf@sigkill.dk>

Fraser Tweedale <frase at frase.id.au> writes:

> Greetings,
>
> I decided to propose a Haskell devroom (like a one/half-day
> specialist track or miniconf) for FOSDEM 2023, to be held February
> 4--5 in Brussels.  It would be great to promote Haskell among this
> audience and hopefully attract new contributors / community members.
>
> Unfortunately I left it quite late (deadline submission is today).
> I only just realised I need a secondary contact (i.e. co-organiser)
> to submit the proposal.  So... any volunteers?
>
> Ideally you are located in Europe or definitely planning to attend
> FOSDEM.  If you are willing, please reply!  I think I all need right
> now is your name and email address (and enthusiasm).

I think it is important to have a Haskell devtrack at FOSDEM, so if
no-one more qualified appears, I'd like to volunteer.  I intend to
attend FOSDEM in 2023.  I have attended and presented at FOSDEM
previously, but have not been co-organiser of anything FOSDEM-related
before.  I have (co-)organised a few academic workshops, so I have a
vague idea of what is needed.  My name and email address are as in this
email.

-- 
\  Troels
/\ Henriksen

From frase at frase.id.au  Tue Oct 18 17:16:43 2022
From: frase at frase.id.au (Fraser Tweedale)
Date: Wed, 19 Oct 2022 03:16:43 +1000
Subject: [Haskell-cafe] FOSDEM 2023 Haskell devroom proposal -
 co-organiser needed!
In-Reply-To: <87tu4183bk.fsf@sigkill.dk>
References: <Y07WwfjVSm0Ij5xq@bacardi.hollandpark.frase.id.au>
 <87tu4183bk.fsf@sigkill.dk>
Message-ID: <Y07fewKrldO0ICE+@bacardi.hollandpark.frase.id.au>

On Tue, Oct 18, 2022 at 07:11:11PM +0200, Troels Henriksen wrote:
> Fraser Tweedale <frase at frase.id.au> writes:
> 
> > Greetings,
> >
> > I decided to propose a Haskell devroom (like a one/half-day
> > specialist track or miniconf) for FOSDEM 2023, to be held February
> > 4--5 in Brussels.  It would be great to promote Haskell among this
> > audience and hopefully attract new contributors / community members.
> >
> > Unfortunately I left it quite late (deadline submission is today).
> > I only just realised I need a secondary contact (i.e. co-organiser)
> > to submit the proposal.  So... any volunteers?
> >
> > Ideally you are located in Europe or definitely planning to attend
> > FOSDEM.  If you are willing, please reply!  I think I all need right
> > now is your name and email address (and enthusiasm).
> 
> I think it is important to have a Haskell devtrack at FOSDEM, so if
> no-one more qualified appears, I'd like to volunteer.  I intend to
> attend FOSDEM in 2023.  I have attended and presented at FOSDEM
> previously, but have not been co-organiser of anything FOSDEM-related
> before.  I have (co-)organised a few academic workshops, so I have a
> vague idea of what is needed.  My name and email address are as in this
> email.
> 

Troels, thank you very much.  I have submitted the proposal.  If the
devroom proposal gets accepted, I look forward to working with you
- and other volunteers - to make it a success.

Cheers,
Fraser

> -- 
> \  Troels
> /\ Henriksen

From jeffbrown.the at gmail.com  Tue Oct 18 18:44:02 2022
From: jeffbrown.the at gmail.com (Jeffrey Brown)
Date: Tue, 18 Oct 2022 13:44:02 -0500
Subject: [Haskell-cafe] =?utf-8?q?Bogot=C3=A1_Functional_Programming_Inter?=
	=?utf-8?q?est_Group?=
Message-ID: <CAEc4Ma2E4SXKWL2d3ebyHP3oZ2gkB8niHVn8ov1s6mMWaeM2EA@mail.gmail.com>

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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221018/a926a9c9/attachment.html>

From david at haskell.foundation  Wed Oct 19 07:17:26 2022
From: david at haskell.foundation (David Christiansen)
Date: Wed, 19 Oct 2022 09:17:26 +0200
Subject: [Haskell-cafe] FOSDEM 2023 Haskell devroom proposal -
 co-organiser needed!
In-Reply-To: <Y07fewKrldO0ICE+@bacardi.hollandpark.frase.id.au>
References: <Y07WwfjVSm0Ij5xq@bacardi.hollandpark.frase.id.au>
 <87tu4183bk.fsf@sigkill.dk> <Y07fewKrldO0ICE+@bacardi.hollandpark.frase.id.au>
Message-ID: <CAK7U1=2EHKpoB70wd4HxTDugWsEP4=LM8rjS0ko6bo1=iXPpXA@mail.gmail.com>

Hi all,

Sorry to be late to this conversation, and I'm glad to see that this got
submitted!

I'd like to help out from the HF side if possible. What would be most
useful to you?

David

On Tue, Oct 18, 2022 at 7:17 PM Fraser Tweedale <frase at frase.id.au> wrote:

> On Tue, Oct 18, 2022 at 07:11:11PM +0200, Troels Henriksen wrote:
> > Fraser Tweedale <frase at frase.id.au> writes:
> >
> > > Greetings,
> > >
> > > I decided to propose a Haskell devroom (like a one/half-day
> > > specialist track or miniconf) for FOSDEM 2023, to be held February
> > > 4--5 in Brussels.  It would be great to promote Haskell among this
> > > audience and hopefully attract new contributors / community members.
> > >
> > > Unfortunately I left it quite late (deadline submission is today).
> > > I only just realised I need a secondary contact (i.e. co-organiser)
> > > to submit the proposal.  So... any volunteers?
> > >
> > > Ideally you are located in Europe or definitely planning to attend
> > > FOSDEM.  If you are willing, please reply!  I think I all need right
> > > now is your name and email address (and enthusiasm).
> >
> > I think it is important to have a Haskell devtrack at FOSDEM, so if
> > no-one more qualified appears, I'd like to volunteer.  I intend to
> > attend FOSDEM in 2023.  I have attended and presented at FOSDEM
> > previously, but have not been co-organiser of anything FOSDEM-related
> > before.  I have (co-)organised a few academic workshops, so I have a
> > vague idea of what is needed.  My name and email address are as in this
> > email.
> >
>
> Troels, thank you very much.  I have submitted the proposal.  If the
> devroom proposal gets accepted, I look forward to working with you
> - and other volunteers - to make it a success.
>
> Cheers,
> Fraser
>
> > --
> > \  Troels
> > /\ Henriksen
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221019/9047df5d/attachment.html>

From frase at frase.id.au  Wed Oct 19 09:37:54 2022
From: frase at frase.id.au (Fraser Tweedale)
Date: Wed, 19 Oct 2022 19:37:54 +1000
Subject: [Haskell-cafe] FOSDEM 2023 Haskell devroom proposal -
 co-organiser needed!
In-Reply-To: <CAK7U1=2EHKpoB70wd4HxTDugWsEP4=LM8rjS0ko6bo1=iXPpXA@mail.gmail.com>
References: <Y07WwfjVSm0Ij5xq@bacardi.hollandpark.frase.id.au>
 <87tu4183bk.fsf@sigkill.dk>
 <Y07fewKrldO0ICE+@bacardi.hollandpark.frase.id.au>
 <CAK7U1=2EHKpoB70wd4HxTDugWsEP4=LM8rjS0ko6bo1=iXPpXA@mail.gmail.com>
Message-ID: <Y0/FcpwCjHL/18qv@bacardi.hollandpark.frase.id.au>

On Wed, Oct 19, 2022 at 09:17:26AM +0200, David Christiansen wrote:
> Hi all,
> 
> Sorry to be late to this conversation, and I'm glad to see that this got
> submitted!
> 
> I'd like to help out from the HF side if possible. What would be most
> useful to you?
> 
> David
> 
David, thank you very much.

First we wait and see if they accept the Haskell devroom proposal
(announcement on or around 31 October).  If so, then HF may be able
to assist in such ways as:

- Sending someone from HF to give an intro/update about HF and work
  being undertaken or sponsored by HF.

- Provide swag (e.g. stickers) - or assist to arrange some.

- Other good ideas I didn't think of yet.

FOSDEM also has a "stands" area and the stands CFP is still open for
submissions (until 15 November).  Perhaps Haskell Foundation could
consider submitting a stand proposal?  More info[1].

[1] https://fosdem.org/2023/news/2022-09-26-stands-cfp/

Cheers,
Fraser

> On Tue, Oct 18, 2022 at 7:17 PM Fraser Tweedale <frase at frase.id.au> wrote:
> 
> > On Tue, Oct 18, 2022 at 07:11:11PM +0200, Troels Henriksen wrote:
> > > Fraser Tweedale <frase at frase.id.au> writes:
> > >
> > > > Greetings,
> > > >
> > > > I decided to propose a Haskell devroom (like a one/half-day
> > > > specialist track or miniconf) for FOSDEM 2023, to be held February
> > > > 4--5 in Brussels.  It would be great to promote Haskell among this
> > > > audience and hopefully attract new contributors / community members.
> > > >
> > > > Unfortunately I left it quite late (deadline submission is today).
> > > > I only just realised I need a secondary contact (i.e. co-organiser)
> > > > to submit the proposal.  So... any volunteers?
> > > >
> > > > Ideally you are located in Europe or definitely planning to attend
> > > > FOSDEM.  If you are willing, please reply!  I think I all need right
> > > > now is your name and email address (and enthusiasm).
> > >
> > > I think it is important to have a Haskell devtrack at FOSDEM, so if
> > > no-one more qualified appears, I'd like to volunteer.  I intend to
> > > attend FOSDEM in 2023.  I have attended and presented at FOSDEM
> > > previously, but have not been co-organiser of anything FOSDEM-related
> > > before.  I have (co-)organised a few academic workshops, so I have a
> > > vague idea of what is needed.  My name and email address are as in this
> > > email.
> > >
> >
> > Troels, thank you very much.  I have submitted the proposal.  If the
> > devroom proposal gets accepted, I look forward to working with you
> > - and other volunteers - to make it a success.
> >
> > Cheers,
> > Fraser
> >
> > > --
> > > \  Troels
> > > /\ Henriksen
> > _______________________________________________
> > Haskell-Cafe mailing list
> > To (un)subscribe, modify options or view archives go to:
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> > Only members subscribed via the mailman list are allowed to post.

From lists at richarde.dev  Wed Oct 19 12:56:59 2022
From: lists at richarde.dev (Richard Eisenberg)
Date: Wed, 19 Oct 2022 12:56:59 +0000
Subject: [Haskell-cafe] What's different about quantified constraints
 since GHC 9.2?
In-Reply-To: <4e11fdc4-064a-1b57-16f5-4b06e5db0e1f@gmail.com>
References: <4e11fdc4-064a-1b57-16f5-4b06e5db0e1f@gmail.com>
Message-ID: <010f0183f0518bb8-4a4d16ec-93aa-4d8f-9d52-be217d4a2d4c-000000@us-east-2.amazonses.com>

If I remember correctly, we added more aggressive expansion of superclasses in quantified-constraint givens. But it's all a bit surprising that it works, given that the superclass given will have a type family in an instance head, which is supposed to not happen (because inference would be fragile, not because there's anything unsound).

Richard

> On Sep 20, 2022, at 5:07 PM, Li-yao Xia <lysxia at gmail.com> wrote:
> 
> Dear Café,
> 
> There's a trick [1] involving quantified constraints (and usually type families) where a function has a quantified constraint (forall a. CF a) and which is explicitly instantiated with a well-placed type annotation (_ :: CF x => ...). Since GHC 9.2, this trick works without that type annotation. How did GHC get smarter at instantiating this quantified constraint? Below is a minimized example which compiles on GHC 9.2.1 but not 9.0.1 (haven't tested 9.0.2), unless you uncomment the last line.
> 
> Cheers,
> Li-yao
> 
> [1]: an Iceland_jack trick https://gitlab.haskell.org/ghc/ghc/-/issues/14860#note_151394
> 
> 
> {-# LANGUAGE TypeFamilies, FlexibleInstances, FlexibleContexts, QuantifiedConstraints, ScopedTypeVariables #-}
> module A where
> 
> type family F a
> class C a
> class C (F a) => CF a
> 
> f :: C (F a) => a
> f = undefined
> 
> g :: (forall a. CF a) => a
> g = f
>   -- :: forall a. CF a => a  -- needed until GHC 9.0.1 but not GHC 9.2.1 (and later)
> 
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.


From jorrit.willaert at student.kuleuven.be  Wed Oct 19 15:08:42 2022
From: jorrit.willaert at student.kuleuven.be (Jorrit Willaert)
Date: Wed, 19 Oct 2022 15:08:42 +0000
Subject: [Haskell-cafe] Haskell language model
Message-ID: <HE1PR0801MB189826B1A5D5CDAFD3A440B3A12B9@HE1PR0801MB1898.eurprd08.prod.outlook.com>


Dear all,

For my thesis, I will try to offer Haskell coding assignments for a course in a more dynamic way, where the next assignment is based on the knowledge gap of the learner. For this, I will use a neural network, which will have to process a submission of a learner. Therefore, I want to use a language model that extracts features from the submission.
I was planning to use BERT in a first phase, since this model creates embeddings from a document. However, this model is not trained on any programming language, so this may turn out to be insufficient. Moreover, models such as CodeBERT are trained on source code, but only on very well known programming languages.

I was wondering if someone had an idea if there already exists a language model that can create meaningful representations for Haskell. More general models such as Codex (paying API) or GPT-Code-Clippy (free and opensource) could also be tried out, but if there exists a model that has been trained on Haskell specific data, that would of course be the most beneficial option.

If you want to read more about my thesis, you can read more about it in the attachment.

Thanks in advance!

Kind regards,
Jorrit Willaert
https://www.linkedin.com/in/jorrit-willaert-166a64198/
https://github.com/JorritWillaert
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221019/6de5b2dd/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: masterproef.pdf
Type: application/pdf
Size: 257702 bytes
Desc: masterproef.pdf
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221019/6de5b2dd/attachment-0001.pdf>

From whallahan at binghamton.edu  Wed Oct 19 20:53:29 2022
From: whallahan at binghamton.edu (William Hallahan)
Date: Wed, 19 Oct 2022 16:53:29 -0400
Subject: [Haskell-cafe] PhD positions at Binghamton University
Message-ID: <0AC733C3-29FF-40C7-BD36-945ED2CF85DF@binghamton.edu>

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221019/b907d5c3/attachment.html>

From david at haskell.foundation  Thu Oct 20 12:26:22 2022
From: david at haskell.foundation (David Christiansen)
Date: Thu, 20 Oct 2022 14:26:22 +0200
Subject: [Haskell-cafe] Announcing the Haskell Error Index
Message-ID: <CAK7U1=0k0o1nJUC-o0WAZHbbq2ZRjzR=31r9Sd3NBGDA4kfqQw@mail.gmail.com>

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 at 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/accepted/024-error-messages.md).
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221020/b0657dfe/attachment.html>

From hecate at glitchbra.in  Thu Oct 20 13:57:56 2022
From: hecate at glitchbra.in (=?UTF-8?Q?H=c3=a9cate?=)
Date: Thu, 20 Oct 2022 15:57:56 +0200
Subject: [Haskell-cafe] Announcing the Haskell Error Index
In-Reply-To: <CAK7U1=0k0o1nJUC-o0WAZHbbq2ZRjzR=31r9Sd3NBGDA4kfqQw@mail.gmail.com>
References: <CAK7U1=0k0o1nJUC-o0WAZHbbq2ZRjzR=31r9Sd3NBGDA4kfqQw@mail.gmail.com>
Message-ID: <7361eb54-8b67-9cd5-c755-5deead5af048@glitchbra.in>

Hi David,

as an industrial Haskell user I cannot thank you enough for the value 
that this brings to my teams, especially when we are in the process of 
onboarding newcomers.
This is priceless.

Cheers,
Hécate

Le 20/10/2022 à 14:26, David Christiansen via Haskell-Cafe a écrit :
> 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 at 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/accepted/024-error-messages.md). 
> 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
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.

-- 
Hécate ✨
🐦: @TechnoEmpress
IRC: Hecate
WWW: https://glitchbra.in
RUN: BSD


From ruben.astud at gmail.com  Thu Oct 20 14:54:30 2022
From: ruben.astud at gmail.com (Ruben Astudillo)
Date: Thu, 20 Oct 2022 11:54:30 -0300
Subject: [Haskell-cafe]
 =?utf-8?q?Bogot=C3=A1_Functional_Programming_Inter?=
 =?utf-8?q?est_Group?=
In-Reply-To: <CAEc4Ma2E4SXKWL2d3ebyHP3oZ2gkB8niHVn8ov1s6mMWaeM2EA@mail.gmail.com>
References: <CAEc4Ma2E4SXKWL2d3ebyHP3oZ2gkB8niHVn8ov1s6mMWaeM2EA@mail.gmail.com>
Message-ID: <d16dd501-8ae8-45aa-cdef-4812f13a9f4a@gmail.com>

On 18-10-22 15:44, Jeffrey Brown wrote:
> 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.

Best of luck! I am from Chile and I tried to do the same back in 2014.
Hopefully you will have more luck.

I will pay a visit whenever I am in Colombia!

-- 
Rubén. (pgp: 1E88 3AC4 89EB FA22)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 236 bytes
Desc: OpenPGP digital signature
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221020/8c49c23f/attachment.sig>

From douglas.mcilroy at dartmouth.edu  Fri Oct 21 13:53:52 2022
From: douglas.mcilroy at dartmouth.edu (Douglas McIlroy)
Date: Fri, 21 Oct 2022 09:53:52 -0400
Subject: [Haskell-cafe] Announcing the Haskell Error Index
Message-ID: <CAKH6PiWn0iy2fG8J4Yea4BKBZOwE_+b2HVmbm+WGPtq=fjLNSA@mail.gmail.com>

(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

From elenam at morris.umn.edu  Fri Oct 21 14:37:31 2022
From: elenam at morris.umn.edu (Elena Machkasova)
Date: Fri, 21 Oct 2022 09:37:31 -0500
Subject: [Haskell-cafe] TFPIE 2023 call for submissions (deadline Dec 27th)
Message-ID: <CABVKp4dx5=eZfqG2zp22BCseoEN55LBr__XpJKS5MtFUp8J4TQ@mail.gmail.com>

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221021/2cc3180d/attachment.html>

From olf at aatal-apotheke.de  Fri Oct 21 16:20:27 2022
From: olf at aatal-apotheke.de (Olaf Klinke)
Date: Fri, 21 Oct 2022 18:20:27 +0200
Subject: [Haskell-cafe] Announcing the Haskell Error Index
Message-ID: <1a608aec47c3f66a19122fb8a7ac8f81e589e6d4.camel@aatal-apotheke.de>

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


From david at haskell.foundation  Fri Oct 21 17:36:29 2022
From: david at haskell.foundation (David Christiansen)
Date: Fri, 21 Oct 2022 19:36:29 +0200
Subject: [Haskell-cafe] Announcing the Haskell Error Index
In-Reply-To: <1a608aec47c3f66a19122fb8a7ac8f81e589e6d4.camel@aatal-apotheke.de>
References: <1a608aec47c3f66a19122fb8a7ac8f81e589e6d4.camel@aatal-apotheke.de>
Message-ID: <CAK7U1=3G9RBmNdiBf1==hu0dMT_DSzgUFi2AG+2+1OT0aN2BYg@mail.gmail.com>

Hi Olaf,


> the Haskell error index is an awesome idea and the existing entries of
> high quality.
>

Thanks! I hope it ends up being useful.


> 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.


I wouldn't feel comfortable taking somebody else's explanations, unless the
author wanted to contribute them. But links from the error index to good
explanations elsewhere on the Web are certainly welcome as part of the
documentation.


> 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.)
>

I think that the PHP community started with hand-written API documentation
like most other languages have, and then attached a comment section with
quality moderation that attracted good additional information from PHP
users. I don't know who wrote the information in the Rust error index, but
given that its texts are shorter, I suspect that it was someone working on
the compiler docs as a whole anyway. That site doesn't have a user-driven
section, from what I could see, though perhaps there's somewhere to send
PRs.

David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221021/7e944ddf/attachment.html>

From jgbailey at gmail.com  Sat Oct 22 15:31:04 2022
From: jgbailey at gmail.com (Justin Bailey)
Date: Sat, 22 Oct 2022 08:31:04 -0700
Subject: [Haskell-cafe] [ANN] - Hugs for MacOS (x86) - via Nix Flakes
Message-ID: <CABPxb2kQL+=NFv2psnZC_tXgiHh38VAEO=nZug6FexM1OLp-Dw@mail.gmail.com>

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

From david.feuer at gmail.com  Sat Oct 22 18:32:32 2022
From: david.feuer at gmail.com (David Feuer)
Date: Sat, 22 Oct 2022 14:32:32 -0400
Subject: [Haskell-cafe] Help with TH trick
Message-ID: <CAMgWh9u790fTWOOyNgg18w62EZPxUCJU8qf-hZjBW3Ys0iqL9g@mail.gmail.com>

I remember seeing a package that offered a function used something like
this:

$(deriveThingy [d| instance Foo a => Thingy a |])

to allow the user to specify the constraint(s) for a generated instance.
I'd love to borrow the code for that, but I can't remember what package it
was in, what class it derived, etc. Can anyone help?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221022/74a689c8/attachment.html>

From allbery.b at gmail.com  Sat Oct 22 18:49:40 2022
From: allbery.b at gmail.com (Brandon Allbery)
Date: Sat, 22 Oct 2022 14:49:40 -0400
Subject: [Haskell-cafe] Help with TH trick
In-Reply-To: <CAMgWh9u790fTWOOyNgg18w62EZPxUCJU8qf-hZjBW3Ys0iqL9g@mail.gmail.com>
References: <CAMgWh9u790fTWOOyNgg18w62EZPxUCJU8qf-hZjBW3Ys0iqL9g@mail.gmail.com>
Message-ID: <CAKFCL4XC2wkb8CHZNe_JbcBs3pEgjx4cT+FKBRSgNhbBxUL0Aw@mail.gmail.com>

I'm not aware of anything specifically like that, but the `make…`
functions in https://hackage.haskell.org/package/deriving-compat-0.6.1/docs/Data-Deriving.html
may allow you to do something similar?

On Sat, Oct 22, 2022 at 2:32 PM David Feuer <david.feuer at gmail.com> wrote:
>
> I remember seeing a package that offered a function used something like this:
>
> $(deriveThingy [d| instance Foo a => Thingy a |])
>
> to allow the user to specify the constraint(s) for a generated instance. I'd love to borrow the code for that, but I can't remember what package it was in, what class it derived, etc. Can anyone help?
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.



-- 
brandon s allbery kf8nh
allbery.b at gmail.com

From david.feuer at gmail.com  Sat Oct 22 19:05:04 2022
From: david.feuer at gmail.com (David Feuer)
Date: Sat, 22 Oct 2022 15:05:04 -0400
Subject: [Haskell-cafe] Help with TH trick
In-Reply-To: <CAKFCL4XC2wkb8CHZNe_JbcBs3pEgjx4cT+FKBRSgNhbBxUL0Aw@mail.gmail.com>
References: <CAMgWh9u790fTWOOyNgg18w62EZPxUCJU8qf-hZjBW3Ys0iqL9g@mail.gmail.com>
 <CAKFCL4XC2wkb8CHZNe_JbcBs3pEgjx4cT+FKBRSgNhbBxUL0Aw@mail.gmail.com>
Message-ID: <CAMgWh9tgkEhxAxeLWtzmSyboTN+X8x+rvwdeQW3d6TE5kyRqvw@mail.gmail.com>

That doesn't work out so well when the class has a bunch of methods. I
definitely saw the nice way on Hackage ... somewhere.

On Sat, Oct 22, 2022, 2:49 PM Brandon Allbery <allbery.b at gmail.com> wrote:

> I'm not aware of anything specifically like that, but the `make…`
> functions in
> https://hackage.haskell.org/package/deriving-compat-0.6.1/docs/Data-Deriving.html
> may allow you to do something similar?
>
> On Sat, Oct 22, 2022 at 2:32 PM David Feuer <david.feuer at gmail.com> wrote:
> >
> > I remember seeing a package that offered a function used something like
> this:
> >
> > $(deriveThingy [d| instance Foo a => Thingy a |])
> >
> > to allow the user to specify the constraint(s) for a generated instance.
> I'd love to borrow the code for that, but I can't remember what package it
> was in, what class it derived, etc. Can anyone help?
> > _______________________________________________
> > Haskell-Cafe mailing list
> > To (un)subscribe, modify options or view archives go to:
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> > Only members subscribed via the mailman list are allowed to post.
>
>
>
> --
> brandon s allbery kf8nh
> allbery.b at gmail.com
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221022/0c2374e4/attachment.html>

From david.feuer at gmail.com  Sat Oct 22 19:48:14 2022
From: david.feuer at gmail.com (David Feuer)
Date: Sat, 22 Oct 2022 15:48:14 -0400
Subject: [Haskell-cafe] Help with TH trick
In-Reply-To: <CAMgWh9tgkEhxAxeLWtzmSyboTN+X8x+rvwdeQW3d6TE5kyRqvw@mail.gmail.com>
References: <CAMgWh9u790fTWOOyNgg18w62EZPxUCJU8qf-hZjBW3Ys0iqL9g@mail.gmail.com>
 <CAKFCL4XC2wkb8CHZNe_JbcBs3pEgjx4cT+FKBRSgNhbBxUL0Aw@mail.gmail.com>
 <CAMgWh9tgkEhxAxeLWtzmSyboTN+X8x+rvwdeQW3d6TE5kyRqvw@mail.gmail.com>
Message-ID: <CAMgWh9v97Yz5N6Qdjp56nS_cYkNj=9vWegkb12wdynh74s-RBw@mail.gmail.com>

Okay, I found it: recursion-schemes.

On Sat, Oct 22, 2022, 3:05 PM David Feuer <david.feuer at gmail.com> wrote:

> That doesn't work out so well when the class has a bunch of methods. I
> definitely saw the nice way on Hackage ... somewhere.
>
> On Sat, Oct 22, 2022, 2:49 PM Brandon Allbery <allbery.b at gmail.com> wrote:
>
>> I'm not aware of anything specifically like that, but the `make…`
>> functions in
>> https://hackage.haskell.org/package/deriving-compat-0.6.1/docs/Data-Deriving.html
>> may allow you to do something similar?
>>
>> On Sat, Oct 22, 2022 at 2:32 PM David Feuer <david.feuer at gmail.com>
>> wrote:
>> >
>> > I remember seeing a package that offered a function used something like
>> this:
>> >
>> > $(deriveThingy [d| instance Foo a => Thingy a |])
>> >
>> > to allow the user to specify the constraint(s) for a generated
>> instance. I'd love to borrow the code for that, but I can't remember what
>> package it was in, what class it derived, etc. Can anyone help?
>> > _______________________________________________
>> > Haskell-Cafe mailing list
>> > To (un)subscribe, modify options or view archives go to:
>> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>> > Only members subscribed via the mailman list are allowed to post.
>>
>>
>>
>> --
>> brandon s allbery kf8nh
>> allbery.b at gmail.com
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221022/1d747615/attachment.html>

From leah at vuxu.org  Sun Oct 23 15:12:25 2022
From: leah at vuxu.org (Leah Neukirchen)
Date: Sun, 23 Oct 2022 17:12:25 +0200
Subject: [Haskell-cafe] Munich Haskell Meeting, 2022-10-25 @ 19:30
Message-ID: <87h6zua812.fsf@vuxu.org>

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 at vuxu.org>  https://leahneukirchen.org/

From carter.schonwald at gmail.com  Mon Oct 24 18:06:24 2022
From: carter.schonwald at gmail.com (Carter Schonwald)
Date: Mon, 24 Oct 2022 14:06:24 -0400
Subject: [Haskell-cafe] [ANN] - Hugs for MacOS (x86) - via Nix Flakes
In-Reply-To: <CABPxb2kQL+=NFv2psnZC_tXgiHh38VAEO=nZug6FexM1OLp-Dw@mail.gmail.com>
References: <CABPxb2kQL+=NFv2psnZC_tXgiHh38VAEO=nZug6FexM1OLp-Dw@mail.gmail.com>
Message-ID: <CAHYVw0xAm1qiou1AMidt1OWmB6hrM9ib5AR6R7eanOeTgvbs3w@mail.gmail.com>

wonderful! This a fantastic piece of computational archaeology!

On Sat, Oct 22, 2022 at 11:31 AM Justin Bailey <jgbailey at gmail.com> wrote:

> 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
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221024/2acfba6a/attachment.html>

From b at chreekat.net  Tue Oct 25 06:01:21 2022
From: b at chreekat.net (Bryan)
Date: Tue, 25 Oct 2022 06:01:21 +0000
Subject: [Haskell-cafe] Updating the description of the mailing list?
Message-ID: <6JHhB40dnho62PSe_pqLCj-1ONkxz27qtQ8d2VOdYRRdBY_XnPvF9rtLWrOly1N2v4yE4enr6qMg4g12fusE3lYDCARMWz-172PM1ZTmwBM=@chreekat.net>

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 at haskell.org is unused and haskell-cafe at 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

From douglas.mcilroy at dartmouth.edu  Tue Oct 25 14:25:02 2022
From: douglas.mcilroy at dartmouth.edu (Douglas McIlroy)
Date: Tue, 25 Oct 2022 10:25:02 -0400
Subject: [Haskell-cafe] Updating the description of the mailing list?
Message-ID: <CAKH6PiVb5iY2YnM1stNAstVd6Hswb5eTjoh3+OHOERXJkYJ=cw@mail.gmail.com>

>  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

From mgsloan at gmail.com  Wed Oct 26 02:52:59 2022
From: mgsloan at gmail.com (Michael Sloan)
Date: Tue, 25 Oct 2022 20:52:59 -0600
Subject: [Haskell-cafe] Help with TH trick
In-Reply-To: <CAMgWh9v97Yz5N6Qdjp56nS_cYkNj=9vWegkb12wdynh74s-RBw@mail.gmail.com>
References: <CAMgWh9u790fTWOOyNgg18w62EZPxUCJU8qf-hZjBW3Ys0iqL9g@mail.gmail.com>
 <CAKFCL4XC2wkb8CHZNe_JbcBs3pEgjx4cT+FKBRSgNhbBxUL0Aw@mail.gmail.com>
 <CAMgWh9tgkEhxAxeLWtzmSyboTN+X8x+rvwdeQW3d6TE5kyRqvw@mail.gmail.com>
 <CAMgWh9v97Yz5N6Qdjp56nS_cYkNj=9vWegkb12wdynh74s-RBw@mail.gmail.com>
Message-ID: <CAEDDsWd1PH_E6+qyMdsDbxb=fFoJZxvPb8712sJAic=bpQHoqA@mail.gmail.com>

You might also be interested in
https://hackage.haskell.org/package/th-utilities-0.2.5.0/docs/TH-Derive.html -
though afaik it didn't catch on.

The cleverness there is to use nesting splicing, where the inner one
generates code involving something like "runDeriver (Proxy @ Storable X)
...", where runDeriver is a method of a typeclass.  The instances of this
class implement the code generation that is ultimately used for the output.

$($(derive [d|
        instance Deriving (Storable X)
        |]))


On Sat, Oct 22, 2022, 13:48 David Feuer <david.feuer at gmail.com> wrote:

> Okay, I found it: recursion-schemes.
>
> On Sat, Oct 22, 2022, 3:05 PM David Feuer <david.feuer at gmail.com> wrote:
>
>> That doesn't work out so well when the class has a bunch of methods. I
>> definitely saw the nice way on Hackage ... somewhere.
>>
>> On Sat, Oct 22, 2022, 2:49 PM Brandon Allbery <allbery.b at gmail.com>
>> wrote:
>>
>>> I'm not aware of anything specifically like that, but the `make…`
>>> functions in
>>> https://hackage.haskell.org/package/deriving-compat-0.6.1/docs/Data-Deriving.html
>>> may allow you to do something similar?
>>>
>>> On Sat, Oct 22, 2022 at 2:32 PM David Feuer <david.feuer at gmail.com>
>>> wrote:
>>> >
>>> > I remember seeing a package that offered a function used something
>>> like this:
>>> >
>>> > $(deriveThingy [d| instance Foo a => Thingy a |])
>>> >
>>> > to allow the user to specify the constraint(s) for a generated
>>> instance. I'd love to borrow the code for that, but I can't remember what
>>> package it was in, what class it derived, etc. Can anyone help?
>>> > _______________________________________________
>>> > Haskell-Cafe mailing list
>>> > To (un)subscribe, modify options or view archives go to:
>>> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>>> > Only members subscribed via the mailman list are allowed to post.
>>>
>>>
>>>
>>> --
>>> brandon s allbery kf8nh
>>> allbery.b at gmail.com
>>>
>> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221025/8432ec8b/attachment.html>

From david.feuer at gmail.com  Wed Oct 26 05:20:49 2022
From: david.feuer at gmail.com (David Feuer)
Date: Wed, 26 Oct 2022 01:20:49 -0400
Subject: [Haskell-cafe] Help with TH trick
In-Reply-To: <CAEDDsWd1PH_E6+qyMdsDbxb=fFoJZxvPb8712sJAic=bpQHoqA@mail.gmail.com>
References: <CAMgWh9u790fTWOOyNgg18w62EZPxUCJU8qf-hZjBW3Ys0iqL9g@mail.gmail.com>
 <CAKFCL4XC2wkb8CHZNe_JbcBs3pEgjx4cT+FKBRSgNhbBxUL0Aw@mail.gmail.com>
 <CAMgWh9tgkEhxAxeLWtzmSyboTN+X8x+rvwdeQW3d6TE5kyRqvw@mail.gmail.com>
 <CAMgWh9v97Yz5N6Qdjp56nS_cYkNj=9vWegkb12wdynh74s-RBw@mail.gmail.com>
 <CAEDDsWd1PH_E6+qyMdsDbxb=fFoJZxvPb8712sJAic=bpQHoqA@mail.gmail.com>
Message-ID: <CAMgWh9udbF=7g5gbQr3_zk3HfJuhDXdt+p3=iw4GUy1VKip80w@mail.gmail.com>

I must admit that looks rather mysterious to me. The documentation I saw
doesn't make the benefit of the nested splice terribly obvious.

On Tue, Oct 25, 2022, 10:53 PM Michael Sloan <mgsloan at gmail.com> wrote:

> You might also be interested in
> https://hackage.haskell.org/package/th-utilities-0.2.5.0/docs/TH-Derive.html -
> though afaik it didn't catch on.
>
> The cleverness there is to use nesting splicing, where the inner one
> generates code involving something like "runDeriver (Proxy @ Storable X)
> ...", where runDeriver is a method of a typeclass.  The instances of this
> class implement the code generation that is ultimately used for the output.
>
> $($(derive [d|
>         instance Deriving (Storable X)
>         |]))
>
>
> On Sat, Oct 22, 2022, 13:48 David Feuer <david.feuer at gmail.com> wrote:
>
>> Okay, I found it: recursion-schemes.
>>
>> On Sat, Oct 22, 2022, 3:05 PM David Feuer <david.feuer at gmail.com> wrote:
>>
>>> That doesn't work out so well when the class has a bunch of methods. I
>>> definitely saw the nice way on Hackage ... somewhere.
>>>
>>> On Sat, Oct 22, 2022, 2:49 PM Brandon Allbery <allbery.b at gmail.com>
>>> wrote:
>>>
>>>> I'm not aware of anything specifically like that, but the `make…`
>>>> functions in
>>>> https://hackage.haskell.org/package/deriving-compat-0.6.1/docs/Data-Deriving.html
>>>> may allow you to do something similar?
>>>>
>>>> On Sat, Oct 22, 2022 at 2:32 PM David Feuer <david.feuer at gmail.com>
>>>> wrote:
>>>> >
>>>> > I remember seeing a package that offered a function used something
>>>> like this:
>>>> >
>>>> > $(deriveThingy [d| instance Foo a => Thingy a |])
>>>> >
>>>> > to allow the user to specify the constraint(s) for a generated
>>>> instance. I'd love to borrow the code for that, but I can't remember what
>>>> package it was in, what class it derived, etc. Can anyone help?
>>>> > _______________________________________________
>>>> > Haskell-Cafe mailing list
>>>> > To (un)subscribe, modify options or view archives go to:
>>>> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>>>> > Only members subscribed via the mailman list are allowed to post.
>>>>
>>>>
>>>>
>>>> --
>>>> brandon s allbery kf8nh
>>>> allbery.b at gmail.com
>>>>
>>> _______________________________________________
>> Haskell-Cafe mailing list
>> To (un)subscribe, modify options or view archives go to:
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>> Only members subscribed via the mailman list are allowed to post.
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221026/e675fb04/attachment.html>

From tom at codedown.io  Sat Oct 29 04:27:19 2022
From: tom at codedown.io (Tom McLaughlin)
Date: Fri, 28 Oct 2022 21:27:19 -0700
Subject: [Haskell-cafe] Package takeover request: webdriver
Message-ID: <CADUoo-YTAN3Rpuydz38x4io9BEep2QCKSTtDLDS69edh+QDzWw@mail.gmail.com>

This package is here: http://hackage.haskell.org/package/webdriver.

I opened an issue a few weeks ago asking if a new maintainer was wanted:
https://github.com/kallisti-dev/hs-webdriver/issues/188

I've opened various PRs (as has the rest of the community) but there hasn't
been a commit by the author since June 2019.

Thanks!
Tom
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221028/3785fa1a/attachment.html>

From tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk  Sat Oct 29 12:12:15 2022
From: tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk (Tom Ellis)
Date: Sat, 29 Oct 2022 13:12:15 +0100
Subject: [Haskell-cafe] Mystery: constructor type applications differ from
	signatures
Message-ID: <Y10Ynw/zlhRQUAdM@cloudinit-builder>

I can't understand the different results from three versions of almost
exactly the same function.  The only difference is whether I bind type
variables using type application or with a type signature.

In each function isMaybeF, isMaybeG and isMaybeH below I bind three
type variables f, g and h:

    AppK @_ @f @_ t (Proxy @g :: Proxy h)

f, g and h ought to be just three different ways of binding exactly
the same type.  To my surpise, using them gives different results.
The only difference between isMaybeF, isMaybeG and isMaybeH is the
type variable I apply to `FromType`.

I get a type error when I use a variable that was bound by a type
application (f or g).  The variable that was bound by a type signature
(h) works as expected.

It seems that when using f or g the type checker is too eager and
looks at `FromType @f` (respectively g), decides that f must be of the
form `Type -> Type`, a constraint which it can't satisfy at the site
of the `AppK` pattern match, so it fails.  When using h, by contrast,
it seems to be able to wait to dispatch that constraint until it has
seen `IsType`.

Subsequently I discovered a simpler example with similar behaviour,
except the type checker succeeds for g as well as h.

What is going on here?

(This all originally arose from my investigations into
https://github.com/haskell/core-libraries-committee/issues/99#issuecomment-1295488553)

Tom



{-# LANGUAGE GADTs #-}
{-# LANGUAGE LambdaCase #-}

-- | Requires GHC >= 9.2 and the issue appears in both 9.2 and 9.4
module Puzzle where

import Data.Kind (Type)
import Data.Typeable (eqT, Proxy(Proxy))
import Type.Reflection (Typeable, (:~:) (Refl))

-- | @FunRep (f b)@ witnesses that @b :: Type at .
data FunRep a where
  AppK ::
    forall (k :: Type) (f :: k -> Type) (b :: k).
    IsType k ->
    Proxy f ->
    FunRep (f b)

-- | @IsType k@ witnesses that @k ~ Type at .
data IsType k where
  IsType :: IsType Type

data FromType where
  FromType :: forall (f :: Type -> Type). FromType

-- Could not deduce: k ~ *
isMaybeF :: forall (a :: Type). FunRep a -> FromType
isMaybeF = \case
  AppK @_ @f @_ t (Proxy @g :: Proxy h) ->
    case t of
      IsType -> FromType @f

-- Could not deduce: k ~ *
isMaybeG :: forall (a :: Type). FunRep a -> FromType
isMaybeG = \case
  AppK @_ @f @_ t (Proxy @_ @g :: Proxy h) ->
    case t of
      IsType -> FromType @g

-- Works fine
isMaybeH :: forall (a :: Type). FunRep a -> FromType
isMaybeH = \case
  AppK @_ @f @_ t (Proxy @_ @g :: Proxy h) ->
    case t of
      IsType -> FromType @h






{-# LANGUAGE GADTs #-}
{-# LANGUAGE LambdaCase #-}

-- | Requires GHC >= 9.2 and the issue appears in both 9.2 and 9.4
module Puzzle2 where

import Data.Kind (Type)
import Data.Typeable (eqT, Proxy(Proxy))
import Type.Reflection (Typeable, (:~:) (Refl))

-- | @FunRep (f b)@ witnesses that @b :: Type at .
data FunRep a where
  AppK ::
    forall k (b :: k).
    IsType k ->
    Proxy k ->
    FunRep b

-- | @IsType k@ witnesses that @k ~ Type at .
data IsType k where
  IsType :: IsType Type

data FromType where
  FromType :: forall (b :: Type). FromType

-- Works fine
isMaybeF :: forall k (a :: k). FunRep a -> FromType
isMaybeF = \case
  AppK @_ @f t (Proxy @_ @g :: Proxy h) ->
    case t of
      IsType -> FromType @f

-- Works fine
isMaybeG :: forall k (a :: k). FunRep a -> FromType
isMaybeG = \case
  AppK @_ @f t (Proxy @_ @g :: Proxy h) ->
    case t of
      IsType -> FromType @g

-- Works fine
isMaybeH :: forall k (a :: k). FunRep a -> FromType
isMaybeH = \case
  AppK @_ @f t (Proxy @_ @g :: Proxy h) ->
    case t of
      IsType -> FromType @h

From tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk  Sat Oct 29 12:41:25 2022
From: tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk (Tom Ellis)
Date: Sat, 29 Oct 2022 13:41:25 +0100
Subject: [Haskell-cafe] Mystery: constructor type applications differ
 from signatures
In-Reply-To: <Y10Ynw/zlhRQUAdM@cloudinit-builder>
References: <Y10Ynw/zlhRQUAdM@cloudinit-builder>
Message-ID: <Y10fdRN2kU5qFrD/@cloudinit-builder>

On Sat, Oct 29, 2022 at 01:12:15PM +0100, Tom Ellis wrote:
> -- Works fine
> isMaybeF :: forall k (a :: k). FunRep a -> FromType
> isMaybeF = \case
>   AppK @_ @f t (Proxy @_ @g :: Proxy h) ->
>     case t of
>       IsType -> FromType @f

Correction: this one is the one that doesn't work fine.  The error is
"Couldn't match kind ‘k’ with ‘*’".

From ryan.gl.scott at gmail.com  Sat Oct 29 13:24:24 2022
From: ryan.gl.scott at gmail.com (Ryan Scott)
Date: Sat, 29 Oct 2022 09:24:24 -0400
Subject: [Haskell-cafe] Mystery: constructor type applications differ
	from signatures
Message-ID: <CADdQpRDrOb4tW1hxYKPgH1XkGBi+XGdDwAR9xWjWwi4xWAx8NA@mail.gmail.com>

 I'm inclined to believe that this is a bug in the way that GHC typechecks
type applications in patterns. Can you file a GHC issue about this?

Ryan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221029/2ef73c7a/attachment.html>

From tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk  Sat Oct 29 13:49:43 2022
From: tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk (Tom Ellis)
Date: Sat, 29 Oct 2022 14:49:43 +0100
Subject: [Haskell-cafe] Mystery: constructor type applications differ
 from signatures
In-Reply-To: <CADdQpRDrOb4tW1hxYKPgH1XkGBi+XGdDwAR9xWjWwi4xWAx8NA@mail.gmail.com>
References: <CADdQpRDrOb4tW1hxYKPgH1XkGBi+XGdDwAR9xWjWwi4xWAx8NA@mail.gmail.com>
Message-ID: <Y10vd2EHEf9DVPXF@cloudinit-builder>

OK, here you go: https://gitlab.haskell.org/ghc/ghc/-/issues/22383

On Sat, Oct 29, 2022 at 09:24:24AM -0400, Ryan Scott wrote:
>  I'm inclined to believe that this is a bug in the way that GHC typechecks
> type applications in patterns. Can you file a GHC issue about this?

From haskellcafe at dandart.co.uk  Sat Oct 29 17:57:17 2022
From: haskellcafe at dandart.co.uk (Dan Dart)
Date: Sat, 29 Oct 2022 18:57:17 +0100
Subject: [Haskell-cafe] Package takeover request: webdriver
In-Reply-To: <CADUoo-YTAN3Rpuydz38x4io9BEep2QCKSTtDLDS69edh+QDzWw@mail.gmail.com>
References: <CADUoo-YTAN3Rpuydz38x4io9BEep2QCKSTtDLDS69edh+QDzWw@mail.gmail.com>
Message-ID: <CADNJRYG=_fZ0dw5wbNfmpQwVsjo6vETU11sPVeB7fE0Ssu2Fyg@mail.gmail.com>

Hey Tom and everyone,

I have previously forked and fixed a few things here:
https://github.com/danwdart/hs-webdriver - and I just looked up your
issue just now.

I would second this, it would help a lot! You've got my vote.

Toodloo
Dan

From hendursaga at aol.com  Sat Oct 29 20:33:22 2022
From: hendursaga at aol.com (Hendursaga)
Date: Sat, 29 Oct 2022 16:33:22 -0400
Subject: [Haskell-cafe] Package takeover request: webdriver
In-Reply-To: <CADNJRYG=_fZ0dw5wbNfmpQwVsjo6vETU11sPVeB7fE0Ssu2Fyg@mail.gmail.com>
References: <CADUoo-YTAN3Rpuydz38x4io9BEep2QCKSTtDLDS69edh+QDzWw@mail.gmail.com>
 <CADNJRYG=_fZ0dw5wbNfmpQwVsjo6vETU11sPVeB7fE0Ssu2Fyg@mail.gmail.com>
Message-ID: <87pmeafjzh.fsf@aol.com>

> I would second this, it would help a lot! You've got my vote.

I will third this, I was hoping to switch over to Haskell from Clojure for some of my web scraping needs, but there was one or two blocking issues last I tried.

~ Hendursaga

From tom at codedown.io  Mon Oct 31 07:29:15 2022
From: tom at codedown.io (Tom McLaughlin)
Date: Mon, 31 Oct 2022 00:29:15 -0700
Subject: [Haskell-cafe] Package takeover request: webdriver
In-Reply-To: <87pmeafjzh.fsf@aol.com>
References: <CADUoo-YTAN3Rpuydz38x4io9BEep2QCKSTtDLDS69edh+QDzWw@mail.gmail.com>
 <CADNJRYG=_fZ0dw5wbNfmpQwVsjo6vETU11sPVeB7fE0Ssu2Fyg@mail.gmail.com>
 <87pmeafjzh.fsf@aol.com>
Message-ID: <CADUoo-YRAdeH8R=Crk4GFQc3T5P=Fa3BVFcwDwAHwO8Y0OcccA@mail.gmail.com>

I was just looking over the instructions and realized I forgot to CC the
maintainer on the initial email. Added to CC now.

On Sat, Oct 29, 2022 at 1:33 PM Hendursaga <hendursaga at aol.com> wrote:

> > I would second this, it would help a lot! You've got my vote.
>
> I will third this, I was hoping to switch over to Haskell from Clojure for
> some of my web scraping needs, but there was one or two blocking issues
> last I tried.
>
> ~ Hendursaga
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221031/0e0749b3/attachment.html>

From abela at chalmers.se  Mon Oct 31 11:15:05 2022
From: abela at chalmers.se (Andreas Abel)
Date: Mon, 31 Oct 2022 12:15:05 +0100
Subject: [Haskell-cafe] Apply now for maintainership for the `cassava`
	package
Message-ID: <000bb951-58af-1a6b-4a33-2e287ef11cc1@chalmers.se>

Looking for maintainer(s) for `cassava`.  Please see

   https://github.com/haskell-hvr/cassava/issues/218

if you are interested in this package.  (And answer there.)

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/

From Graham.Hutton at nottingham.ac.uk  Mon Oct 31 11:24:09 2022
From: Graham.Hutton at nottingham.ac.uk (Graham Hutton)
Date: Mon, 31 Oct 2022 11:24:09 +0000
Subject: [Haskell-cafe] Journal of Functional Programming - Call for PhD
	Abstracts
Message-ID: <7DD92DD6-9F68-43A5-AEB6-BF1CCA1D87BC@nottingham.ac.uk>

Dear all,

If you or one of your students recently completed a PhD (or
Habilitation) in the area of functional programming, please
submit the dissertation abstract for publication in JFP:
simple process, no refereeing, open access, 200+ published
to date, deadline 30th November 2022.  Please share!

Best wishes,

Graham Hutton


============================================================

CALL FOR PHD ABSTRACTS

Journal of Functional Programming

Deadline: 30th November 2022

http://tinyurl.com/jfp-phd-abstracts

============================================================

PREAMBLE:

Many students complete PhDs in functional programming each
year. As a service to the community, twice per year the Journal
of Functional Programming publishes the abstracts from PhD
dissertations completed during the previous year.

The abstracts are made freely available on the JFP website,
i.e. not behind any paywall.  They do not require any transfer
of copyright, merely a license from the author.  A dissertation
is eligible for inclusion if parts of it have or could have
appeared in JFP, that is, if it is in the general area of
functional programming.  The abstracts are not reviewed.

Please submit dissertation abstracts according to the instructions
below.  We welcome submissions from both the student and the
advisor/supervisor although we encourage them to coordinate.

Habilitation dissertations are also eligible for inclusion.

============================================================

SUBMISSION:

Please submit the following information to Graham Hutton
<graham.hutton at nottingham.ac.uk> by 30th November 2022.

o Dissertation title: (including any subtitle)

o Student: (full name)

o Awarding institution: (full name and country)

o Date of award: (month and year; depending on the
  institution, this may be the date of the viva, corrections
  being approved, graduation ceremony, or otherwise)

o Advisor/supervisor: (full names)

o Dissertation URL: (please provide a permanently accessible
  link to the dissertation if you have one, such as to an
  institutional repository or other public archive; links
  to personal web pages should be considered a last resort)

o Dissertation abstract: (plain text, maximum 350 words; you may
  use \emph{...} for emphasis, but we prefer no other markup or
  formatting; if your original abstract exceeds the word limit,
  please submit an abridged version within the limit)

Please do not submit a copy of the dissertation itself, as
this is not required.  JFP reserves the right to decline
to publish abstracts that are not deemed appropriate.

============================================================

PHD ABSTRACT EDITOR:

Graham Hutton
School of Computer Science
University of Nottingham
Nottingham NG8 1BB
United Kingdom

============================================================




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.





From emilypi at cohomolo.gy  Mon Oct 31 21:35:04 2022
From: emilypi at cohomolo.gy (Emily Pillmore)
Date: Mon, 31 Oct 2022 21:35:04 +0000
Subject: [Haskell-cafe] [ANN] mtl-2.3.1
Message-ID: <l9xars3g.97e0b26c-a686-489a-add7-5323e7c4d8d4@we.are.superhuman.com>

Hello Ghosts and Ghouls,

After a period of spooky deliberation and well-received release candidate, Koz and I are pleased to announce `mtl-2.3.1`, which features the following hellish changelog:

* Add `modifyError` to `Control.Monad.Error.Class`, and re-export from

`Control.Monad.Except`.

* Make the `MonadCont` instance for `ContT` more polykinded; now, `r` is allowed

to be of an arbitrary kind `k`, rather than only `Type`.

* Add a generic `liftCallCC` for use with any `MonadTrans`.

* Add `modifyError` to `Control.Monad.Error.Class`

* Return re-export of `ExceptT` and related functions to `Control.Monad.Except`.

* Add `label` function to `MonadCont`

If you wish to migrate to `mtl-2.3.x` and have not yet done so, please refer the migration guide in the repo: https://github.com/haskell/mtl/blob/master/docs/Mtl-2.3.x-Migration.md

A release has been published on the github repository under the tag v2.3.1.

Happy Halloween!

Emily + Koz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221031/66bab685/attachment.html>