Hey Matthew,
One dimension of analsysis that would be instructive would be to
characterize the differences in core / stg for these different versions
Also : am I correct in believing that these all are the exact same
algorithm in terms of representation or am I overlooking some differences
I'm looking at these links, but i'm actually having a hard time finding the
actual different definitions of this microbenchmark...
On Mon, Feb 11, 2019 at 9:22 AM Richard Eisenberg
wrote:
>
>
> On Feb 11, 2019, at 8:55 AM, Simon Peyton Jones
> wrote:
>
> What exactly is “the alternative
> On Feb 11, 2019, at 8:55 AM, Simon Peyton Jones wrote:
>
> What exactly is “the alternative compile-time implementation”?
In my response, I interpreted this to be macro-expansion, the alternative we
discuss in the paper. The paper includes a nice discussion of how the semantics
differs
ew Roberts
Sent: 11 February 2019 00:10
To: matthew.picker...@cs.ox.ac.uk; ge...@erdi.hu; Simon Peyton Jones
; r...@cs.brynmawr.edu
Subject: Performance of pattern synonyms
Hi all,
I am working with someone on a compile-time pattern matching extension and the
most important prior work is pattern syn