Re: Implicit reboxing of unboxed tuple in let-patterns

[Spiwack, Arnaud]

> I admit I don't feel as strongly any more. My argument in that thread was
> from the standpoint of a language designer: there is really no reason, a
> priori, for an unboxed-tuple binding to be strict. What controls strictness
> is whether the bound variables are of unlifted type. However, I'm currently
> in more sympathy with language users, who (for whatever reason) seem to
> think that bindings with #s in them should be strict. (I have this
> intuition myself, even though it's not quite warranted on technical
> grounds.)
>

A middle ground could be to not allow unbanged patterns for unboxed tuples.
Since they currently exist, we could also simply emit a warning, saying:
“this is probably not what you want, do add an exclamation mark”.


> What do we think of
>
> pattern Unl x y = (# x, y #)
>
> ex1, ex2 :: ()
> ex1 = let Unl x y = Unl undefined undefined in ()
> ex2 = let Unl x y = undefined in ()
>
>
> ? Today, both ex1 and ex2 evaluate to (). If we were to change the
> specification here, would we consider any unlifted-type pattern (where the
> type of the pattern itself is unlifted, independent of the type of any of
> its bound variables) to be banged? Or would it be a super-special case for
> unboxed tuples?
>

Ooh… pattern synonyms for unboxed tuple. I must confess that I don't know
what the semantics of these ought to be. It does look like an interesting
can of worms. How do they currently desugar?
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Implicit reboxing of unboxed tuple in let-patterns

[Richard Eisenberg]

> On Sep 2, 2020, at 9:39 AM, Spiwack, Arnaud  wrote:
> 
> Ooh… pattern synonyms for unboxed tuple. I must confess that I don't know 
> what the semantics of these ought to be. It does look like an interesting can 
> of worms. How do they currently desugar?

Right now, there is one rule: if the type of any variable bound in the pattern 
is unlifted, then the pattern is an unlifter-var pattern and is strict. The 
pattern must be banged, unless the bound variable is not nested. This rule is 
consistent across all features.

This thread is suggesting to add a special case -- one that seems to match 
intuition, but it's still a special case. And my question is: should the 
special case be for unboxed tuples? or should the special case be for any 
pattern whose overall type is unlifted?

Richard___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC Logo

[Richard Eisenberg]

I'm oddly drawn to the idea of a turtle -- except that turtles are slow. But 
animals are cute. Maybe something involving a fox, given that foxes can be 
clever? Octopuses are also known to be very clever, but maybe GitHub has 
octopuses covered.

> On Sep 1, 2020, at 8:42 PM, Carter Schonwald  
> wrote:
> 
> Ben, what if we have someone draw a cartoony version of your box turtle? i 
> feel like that would be a pretty cute logo! totally ahistorical, but would 
> certainly be cute!
> 
> On Tue, Sep 1, 2020 at 7:51 PM Daneel Yaitskov  > wrote:
> Hi, 
> 
> Is it a contest for picking up a new logo?
> As for me logo "λ GHC" is redundant, because H stands for Haskell and λ here 
> means Haskell.
> 
> So logo should be GλC.
> 
> Best Regards,
> Daniil.
> 
> On Sat, Aug 15, 2020, 8:50 AM Ben Gamari  > wrote:
> Hi everyone,
> 
> Recently a sponsor asked for a logo for our project. As far as I know,
> GHC doesn't really have a consistent logo; the closest that we have had
> is the stylized "GHC" on the top of ghc.haskell.org .
> 
> To accomodate the request, I took a few minutes and reworked the
> typography of the Thompson-Wheeler Haskell logo for use by GHC. I
> couldn't positively identify the typeface used for the "Haskell" text,
> but I believe that the extra-bold Cantarell face that I chose in the GHC
> variant has a similar feel to the Haskell logo and is free to use.
> 
> I've posted the logo on the Wiki for future reference [1]. Feedback is
> very much welcome.
> 
> Cheers,
> 
> - Ben
> 
> 
> 
> [1] https://gitlab.haskell.org/ghc/ghc/-/wikis/logo 
> 
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org 
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs 
> 
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org 
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs 
> 
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC Logo

[Richard Eisenberg]

On Sep 2, 2020, someone wrote to me privately saying:

> I was thinking Cats for some reason.

Ooh. I'm picturing a cat with its tail wrapped around a lambda, or something 
like that. And Simon PJ does have a cat named Haskell who could perhaps be the 
model. :)

Richard

> On Sep 2, 2020, at 10:16 AM, Richard Eisenberg  wrote:
> 
> I'm oddly drawn to the idea of a turtle -- except that turtles are slow. But 
> animals are cute. Maybe something involving a fox, given that foxes can be 
> clever? Octopuses are also known to be very clever, but maybe GitHub has 
> octopuses covered.
> 
>> On Sep 1, 2020, at 8:42 PM, Carter Schonwald > > wrote:
>> 
>> Ben, what if we have someone draw a cartoony version of your box turtle? i 
>> feel like that would be a pretty cute logo! totally ahistorical, but would 
>> certainly be cute!
>> 
>> On Tue, Sep 1, 2020 at 7:51 PM Daneel Yaitskov > > wrote:
>> Hi, 
>> 
>> Is it a contest for picking up a new logo?
>> As for me logo "λ GHC" is redundant, because H stands for Haskell and λ here 
>> means Haskell.
>> 
>> So logo should be GλC.
>> 
>> Best Regards,
>> Daniil.
>> 
>> On Sat, Aug 15, 2020, 8:50 AM Ben Gamari > > wrote:
>> Hi everyone,
>> 
>> Recently a sponsor asked for a logo for our project. As far as I know,
>> GHC doesn't really have a consistent logo; the closest that we have had
>> is the stylized "GHC" on the top of ghc.haskell.org 
>> .
>> 
>> To accomodate the request, I took a few minutes and reworked the
>> typography of the Thompson-Wheeler Haskell logo for use by GHC. I
>> couldn't positively identify the typeface used for the "Haskell" text,
>> but I believe that the extra-bold Cantarell face that I chose in the GHC
>> variant has a similar feel to the Haskell logo and is free to use.
>> 
>> I've posted the logo on the Wiki for future reference [1]. Feedback is
>> very much welcome.
>> 
>> Cheers,
>> 
>> - Ben
>> 
>> 
>> 
>> [1] https://gitlab.haskell.org/ghc/ghc/-/wikis/logo 
>> 
>> ___
>> ghc-devs mailing list
>> ghc-devs@haskell.org 
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs 
>> 
>> ___
>> ghc-devs mailing list
>> ghc-devs@haskell.org 
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs 
>> 
>> ___
>> ghc-devs mailing list
>> ghc-devs@haskell.org 
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> 
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC Logo

[Ryan Yates]

Cats are warm and fuzzy.

On Wed, Sep 2, 2020 at 10:38 AM Richard Eisenberg  wrote:

> On Sep 2, 2020, someone wrote to me privately saying:
>
> > I was thinking Cats for some reason.
>
> Ooh. I'm picturing a cat with its tail wrapped around a lambda, or
> something like that. And Simon PJ does have a cat named Haskell who could
> perhaps be the model. :)
>
> Richard
>
> On Sep 2, 2020, at 10:16 AM, Richard Eisenberg  wrote:
>
> I'm oddly drawn to the idea of a turtle -- except that turtles are slow.
> But animals are cute. Maybe something involving a fox, given that foxes can
> be clever? Octopuses are also known to be very clever, but maybe GitHub has
> octopuses covered.
>
> On Sep 1, 2020, at 8:42 PM, Carter Schonwald 
> wrote:
>
> Ben, what if we have someone draw a cartoony version of your box turtle? i
> feel like that would be a pretty cute logo! totally ahistorical, but would
> certainly be cute!
>
> On Tue, Sep 1, 2020 at 7:51 PM Daneel Yaitskov 
> wrote:
>
>> Hi,
>>
>> Is it a contest for picking up a new logo?
>> As for me logo "λ GHC" is redundant, because H stands for Haskell and λ here
>> means Haskell.
>>
>> So logo should be GλC.
>>
>> Best Regards,
>> Daniil.
>>
>> On Sat, Aug 15, 2020, 8:50 AM Ben Gamari  wrote:
>>
>>> Hi everyone,
>>>
>>> Recently a sponsor asked for a logo for our project. As far as I know,
>>> GHC doesn't really have a consistent logo; the closest that we have had
>>> is the stylized "GHC" on the top of ghc.haskell.org.
>>>
>>> To accomodate the request, I took a few minutes and reworked the
>>> typography of the Thompson-Wheeler Haskell logo for use by GHC. I
>>> couldn't positively identify the typeface used for the "Haskell" text,
>>> but I believe that the extra-bold Cantarell face that I chose in the GHC
>>> variant has a similar feel to the Haskell logo and is free to use.
>>>
>>> I've posted the logo on the Wiki for future reference [1]. Feedback is
>>> very much welcome.
>>>
>>> Cheers,
>>>
>>> - Ben
>>>
>>>
>>>
>>> [1] https://gitlab.haskell.org/ghc/ghc/-/wikis/logo
>>> ___
>>> ghc-devs mailing list
>>> ghc-devs@haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>>
>> ___
>> ghc-devs mailing list
>> ghc-devs@haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC Logo

[Bryan Richter]

I have no idea who or where it came from, but I loved the owl from BayHac
2013. In my mind, it has always been the Haskell mascot (I was pretty new
to the community in 2013).

https://wiki.haskell.org/BayHac2013

[image: image.png]


On Wed, Sep 2, 2020 at 5:39 PM Ryan Yates  wrote:

> Cats are warm and fuzzy.
>
> On Wed, Sep 2, 2020 at 10:38 AM Richard Eisenberg 
> wrote:
>
>> On Sep 2, 2020, someone wrote to me privately saying:
>>
>> > I was thinking Cats for some reason.
>>
>> Ooh. I'm picturing a cat with its tail wrapped around a lambda, or
>> something like that. And Simon PJ does have a cat named Haskell who could
>> perhaps be the model. :)
>>
>> Richard
>>
>> On Sep 2, 2020, at 10:16 AM, Richard Eisenberg  wrote:
>>
>> I'm oddly drawn to the idea of a turtle -- except that turtles are slow.
>> But animals are cute. Maybe something involving a fox, given that foxes can
>> be clever? Octopuses are also known to be very clever, but maybe GitHub has
>> octopuses covered.
>>
>> On Sep 1, 2020, at 8:42 PM, Carter Schonwald 
>> wrote:
>>
>> Ben, what if we have someone draw a cartoony version of your box turtle?
>> i feel like that would be a pretty cute logo! totally ahistorical, but
>> would certainly be cute!
>>
>> On Tue, Sep 1, 2020 at 7:51 PM Daneel Yaitskov 
>> wrote:
>>
>>> Hi,
>>>
>>> Is it a contest for picking up a new logo?
>>> As for me logo "λ GHC" is redundant, because H stands for Haskell and λ here
>>> means Haskell.
>>>
>>> So logo should be GλC.
>>>
>>> Best Regards,
>>> Daniil.
>>>
>>> On Sat, Aug 15, 2020, 8:50 AM Ben Gamari  wrote:
>>>
 Hi everyone,

 Recently a sponsor asked for a logo for our project. As far as I know,
 GHC doesn't really have a consistent logo; the closest that we have had
 is the stylized "GHC" on the top of ghc.haskell.org.

 To accomodate the request, I took a few minutes and reworked the
 typography of the Thompson-Wheeler Haskell logo for use by GHC. I
 couldn't positively identify the typeface used for the "Haskell" text,
 but I believe that the extra-bold Cantarell face that I chose in the GHC
 variant has a similar feel to the Haskell logo and is free to use.

 I've posted the logo on the Wiki for future reference [1]. Feedback is
 very much welcome.

 Cheers,

 - Ben



 [1] https://gitlab.haskell.org/ghc/ghc/-/wikis/logo
 ___
 ghc-devs mailing list
 ghc-devs@haskell.org
 http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

>>> ___
>>> ghc-devs mailing list
>>> ghc-devs@haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>>
>> ___
>> ghc-devs mailing list
>> ghc-devs@haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>
>>
>> ___
>> ghc-devs mailing list
>> ghc-devs@haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>
>>
>> ___
>> ghc-devs mailing list
>> ghc-devs@haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC Logo

[Dr . ÉRDI Gergő]

The Cat's name should be Hask.

On Wed, Sep 2, 2020, 22:39 Richard Eisenberg  wrote:

> On Sep 2, 2020, someone wrote to me privately saying:
>
> > I was thinking Cats for some reason.
>
> Ooh. I'm picturing a cat with its tail wrapped around a lambda, or
> something like that. And Simon PJ does have a cat named Haskell who could
> perhaps be the model. :)
>
> Richard
>
> On Sep 2, 2020, at 10:16 AM, Richard Eisenberg  wrote:
>
> I'm oddly drawn to the idea of a turtle -- except that turtles are slow.
> But animals are cute. Maybe something involving a fox, given that foxes can
> be clever? Octopuses are also known to be very clever, but maybe GitHub has
> octopuses covered.
>
> On Sep 1, 2020, at 8:42 PM, Carter Schonwald 
> wrote:
>
> Ben, what if we have someone draw a cartoony version of your box turtle? i
> feel like that would be a pretty cute logo! totally ahistorical, but would
> certainly be cute!
>
> On Tue, Sep 1, 2020 at 7:51 PM Daneel Yaitskov 
> wrote:
>
>> Hi,
>>
>> Is it a contest for picking up a new logo?
>> As for me logo "λ GHC" is redundant, because H stands for Haskell and λ here
>> means Haskell.
>>
>> So logo should be GλC.
>>
>> Best Regards,
>> Daniil.
>>
>> On Sat, Aug 15, 2020, 8:50 AM Ben Gamari  wrote:
>>
>>> Hi everyone,
>>>
>>> Recently a sponsor asked for a logo for our project. As far as I know,
>>> GHC doesn't really have a consistent logo; the closest that we have had
>>> is the stylized "GHC" on the top of ghc.haskell.org.
>>>
>>> To accomodate the request, I took a few minutes and reworked the
>>> typography of the Thompson-Wheeler Haskell logo for use by GHC. I
>>> couldn't positively identify the typeface used for the "Haskell" text,
>>> but I believe that the extra-bold Cantarell face that I chose in the GHC
>>> variant has a similar feel to the Haskell logo and is free to use.
>>>
>>> I've posted the logo on the Wiki for future reference [1]. Feedback is
>>> very much welcome.
>>>
>>> Cheers,
>>>
>>> - Ben
>>>
>>>
>>>
>>> [1] https://gitlab.haskell.org/ghc/ghc/-/wikis/logo
>>> ___
>>> ghc-devs mailing list
>>> ghc-devs@haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>>
>> ___
>> ghc-devs mailing list
>> ghc-devs@haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC Logo

[Carter Schonwald]

Mark lentzer (I’m almost certainly spelling his last name wrong)

On Wed, Sep 2, 2020 at 10:47 AM Bryan Richter  wrote:

> I have no idea who or where it came from, but I loved the owl from BayHac
> 2013. In my mind, it has always been the Haskell mascot (I was pretty new
> to the community in 2013).
>
> https://wiki.haskell.org/BayHac2013
>
> [image: image.png]
>
>
> On Wed, Sep 2, 2020 at 5:39 PM Ryan Yates  wrote:
>
>> Cats are warm and fuzzy.
>>
>> On Wed, Sep 2, 2020 at 10:38 AM Richard Eisenberg 
>> wrote:
>>
>>> On Sep 2, 2020, someone wrote to me privately saying:
>>>
>>> > I was thinking Cats for some reason.
>>>
>>> Ooh. I'm picturing a cat with its tail wrapped around a lambda, or
>>> something like that. And Simon PJ does have a cat named Haskell who could
>>> perhaps be the model. :)
>>>
>>> Richard
>>>
>>> On Sep 2, 2020, at 10:16 AM, Richard Eisenberg  wrote:
>>>
>>> I'm oddly drawn to the idea of a turtle -- except that turtles are slow.
>>> But animals are cute. Maybe something involving a fox, given that foxes can
>>> be clever? Octopuses are also known to be very clever, but maybe GitHub has
>>> octopuses covered.
>>>
>>> On Sep 1, 2020, at 8:42 PM, Carter Schonwald 
>>> wrote:
>>>
>>> Ben, what if we have someone draw a cartoony version of your box turtle?
>>> i feel like that would be a pretty cute logo! totally ahistorical, but
>>> would certainly be cute!
>>>
>>> On Tue, Sep 1, 2020 at 7:51 PM Daneel Yaitskov 
>>> wrote:
>>>
 Hi,

 Is it a contest for picking up a new logo?
 As for me logo "λ GHC" is redundant, because H stands for Haskell and λ 
 here
 means Haskell.

 So logo should be GλC.

 Best Regards,
 Daniil.

 On Sat, Aug 15, 2020, 8:50 AM Ben Gamari  wrote:

> Hi everyone,
>
>
>
>
>
> Recently a sponsor asked for a logo for our project. As far as I know,
>
>
> GHC doesn't really have a consistent logo; the closest that we have had
>
>
> is the stylized "GHC" on the top of ghc.haskell.org.
>
>
>
>
>
> To accomodate the request, I took a few minutes and reworked the
>
>
> typography of the Thompson-Wheeler Haskell logo for use by GHC. I
>
>
> couldn't positively identify the typeface used for the "Haskell" text,
>
>
> but I believe that the extra-bold Cantarell face that I chose in the
> GHC
>
>
> variant has a similar feel to the Haskell logo and is free to use.
>
>
>
>
>
> I've posted the logo on the Wiki for future reference [1]. Feedback is
>
>
> very much welcome.
>
>
>
>
>
> Cheers,
>
>
>
>
>
> - Ben
>
>
>
>
>
>
>
>
>
>
>
> [1] https://gitlab.haskell.org/ghc/ghc/-/wikis/logo
>
>
> ___
>
>
> ghc-devs mailing list
>
>
> ghc-devs@haskell.org
>
>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
>

 ___


 ghc-devs mailing list


 ghc-devs@haskell.org


 http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs



>>>
>>> ___
>>> ghc-devs mailing list
>>> ghc-devs@haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>>
>>>
>>> ___
>>> ghc-devs mailing list
>>> ghc-devs@haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>>
>>>
>>> ___
>>>
>>>
>>> ghc-devs mailing list
>>>
>>>
>>> ghc-devs@haskell.org
>>>
>>>
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>>
>>>
>>>
>>
>> ___
>>
>>
>> ghc-devs mailing list
>>
>>
>> ghc-devs@haskell.org
>>
>>
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>
>>
>>
>
> ___
>
> ghc-devs mailing list
>
> ghc-devs@haskell.org
>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC Logo

[Carter Schonwald]

Ghc is a turtle. So much super linearity in the code base and very much a
safety oriented tool ;)

On Wed, Sep 2, 2020 at 10:16 AM Richard Eisenberg  wrote:

> I'm oddly drawn to the idea of a turtle -- except that turtles are slow.
> But animals are cute. Maybe something involving a fox, given that foxes can
> be clever? Octopuses are also known to be very clever, but maybe GitHub has
> octopuses covered.
>
>
> On Sep 1, 2020, at 8:42 PM, Carter Schonwald 
> wrote:
>
> Ben, what if we have someone draw a cartoony version of your box turtle? i
> feel like that would be a pretty cute logo! totally ahistorical, but would
> certainly be cute!
>
> On Tue, Sep 1, 2020 at 7:51 PM Daneel Yaitskov 
> wrote:
>
>> Hi,
>>
>> Is it a contest for picking up a new logo?
>> As for me logo "λ GHC" is redundant, because H stands for Haskell and λ here
>> means Haskell.
>>
>> So logo should be GλC.
>>
>> Best Regards,
>> Daniil.
>>
>> On Sat, Aug 15, 2020, 8:50 AM Ben Gamari  wrote:
>>
>>> Hi everyone,
>>>
>>>
>>>
>>>
>>>
>>> Recently a sponsor asked for a logo for our project. As far as I know,
>>>
>>>
>>> GHC doesn't really have a consistent logo; the closest that we have had
>>>
>>>
>>> is the stylized "GHC" on the top of ghc.haskell.org.
>>>
>>>
>>>
>>>
>>>
>>> To accomodate the request, I took a few minutes and reworked the
>>>
>>>
>>> typography of the Thompson-Wheeler Haskell logo for use by GHC. I
>>>
>>>
>>> couldn't positively identify the typeface used for the "Haskell" text,
>>>
>>>
>>> but I believe that the extra-bold Cantarell face that I chose in the GHC
>>>
>>>
>>> variant has a similar feel to the Haskell logo and is free to use.
>>>
>>>
>>>
>>>
>>>
>>> I've posted the logo on the Wiki for future reference [1]. Feedback is
>>>
>>>
>>> very much welcome.
>>>
>>>
>>>
>>>
>>>
>>> Cheers,
>>>
>>>
>>>
>>>
>>>
>>> - Ben
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>> [1] https://gitlab.haskell.org/ghc/ghc/-/wikis/logo
>>>
>>>
>>> ___
>>>
>>>
>>> ghc-devs mailing list
>>>
>>>
>>> ghc-devs@haskell.org
>>>
>>>
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>>
>>>
>>>
>>
>> ___
>>
>>
>> ghc-devs mailing list
>>
>>
>> ghc-devs@haskell.org
>>
>>
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>
>>
>>
>
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC Logo

[Ben Gamari]

Richard Eisenberg  writes:

> I'm oddly drawn to the idea of a turtle -- except that turtles are
> slow. But animals are cute. Maybe something involving a fox, given
> that foxes can be clever? Octopuses are also known to be very clever,
> but maybe GitHub has octopuses covered.
>
In general I'm rather neutral on the logo question. There is a fine line
between "juvenile" (which may detract from the project's credibility in
the eyes of some) and "cute" (which I think is universally a Good
Thing); the current rather boring logo was a quick attempt to satisfy
the need for some logo while recognizing that I lack the artistic
ability to walk that line. I don't think it's a bad logo but it's quite
dull and far from being a *good* logo. I do hope someone steps up to do
better.

Logos aside, I do feel the need to correct the record here: you
clearly have not seen how quickly a turtle can move when offered banana
or shrimp. They can be quite quick when suitably incentivized!

Cheers,

- Ben


signature.asc
Description: PGP signature
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: HsPragTick

[Ben Gamari]

"Alan & Kim Zimmerman"  writes:

> I am working through the API Annotations, and have come across HsPragTick.
>
> In source it appears as
>
>   c = {-# GENERATED "foobar" 1 : 2  -  3 :   4 #-} 0.00
>
> But it does not seem to be used anywhere. It is passed through for renaming
> and type checking, and Coverage.hs uses it as
>
> addTickHsExpr (HsPragE _ HsPragTick{} (L pos e0)) = do
> e2 <- allocTickBox (ExpBox False) False False (locA pos) $
> addTickHsExpr e0
> return $ unLoc e2
>
> So if it is used at all, the contents are ignored.
>
> Can it be removed?
>
I traced the pragma's addition back to 
d386e0d20c6953b7cba4d53538a1782c4aa9980d (way back in 2006!). It appears
that it was intended to be used by code generators for use in informing
the code coveraging checker about generated code provenance. When it was
added it used the pragma's "payload" fields as source location
information to build an "ExternalBox". However, it looks like this
constructor was dropped in 55a5d8d90280a611bafb659bc80778d3927a6bff [2]
(only a year later!).

At this point it seems like the pragma serves no useful purpose. Given
that it *also* is not documented, I think we should remove it. I have
opened #18639 to track this.

Cheers,

- Ben


[1] 
https://gitlab.haskell.org/ghc/ghc/-/commit/d386e0d20c6953b7cba4d53538a1782c4aa9980d
 
[2] 
https://gitlab.haskell.org/ghc/ghc/-/commit/55a5d8d90280a611bafb659bc80778d3927a6bff#a033dd77bd63482866f5d4f8ed130427c9000779_308_319


signature.asc
Description: PGP signature
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC Logo

[John Cotton Ericson]

Yeah I think the old "functional programming is slow" memes died off 
about when the rest of the industry went on its JavaScript bender, so I 
am not really worried about the negative connotations of turtles.


The positive connotations of turtles sounds very good to me. Besides safety,

 *   the longevity of at least giant tortoises also speaks to GHC's
   rare ability to stay at the vanguard of research while still being
   wildly used.
 * Their ability to walk and swim speaks to the diverse backends that
   can be attached to GHC (NCG, LLVM, GHCJS, Asterius, Clash's, etc.).
 * Even the fable, from which the slowness myth comes from I guess,
   goes well with "avoid success at all costs".

Conversely I am not a fan of choosing a Cat. I like Cats fine in real 
life, don't get be wrong, but Cats are so popular on the internet that 
this would be the the unmarked animal choice, with no clear connotations 
or memorability. I think that would be the juvenile choice, per Ben's 
slippery slope.


Foxes are nice, but I think Firefox has that for life.

Octopuses are alright. GitHub's Octocat doesn't doesn't pose nearly as 
much of a problem as Firefox for foxes. Still, while Octopuses are 
smart, they are usually solitary and mischievous. GHC is very much a 
long-term group effort, belying the solitary connotation, and I 
certainly hope any compiler I use isn't mischievous!


A turtle for a compiler is a bold choice that indicates our values, 
confidence that the performance of compiled code is immune to cheap 
derision, and humor.


John

P.S. The funny patterns on turtles' backs could be made of lambdas?...

P.P.S. and yes, if it does compel us to fix rampant list appending just 
so we're fast on all fronts, that would be nice too :).


On 9/2/20 11:47 AM, Ben Gamari wrote:

Richard Eisenberg  writes:


I'm oddly drawn to the idea of a turtle -- except that turtles are
slow. But animals are cute. Maybe something involving a fox, given
that foxes can be clever? Octopuses are also known to be very clever,
but maybe GitHub has octopuses covered.


In general I'm rather neutral on the logo question. There is a fine line
between "juvenile" (which may detract from the project's credibility in
the eyes of some) and "cute" (which I think is universally a Good
Thing); the current rather boring logo was a quick attempt to satisfy
the need for some logo while recognizing that I lack the artistic
ability to walk that line. I don't think it's a bad logo but it's quite
dull and far from being a *good* logo. I do hope someone steps up to do
better.

Logos aside, I do feel the need to correct the record here: you
clearly have not seen how quickly a turtle can move when offered banana
or shrimp. They can be quite quick when suitably incentivized!

Cheers,

- Ben

___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Creative ideas on how to debug heap corruption

[Ben Gamari]

Ben Lippmeier  writes:

>> On 31 Aug 2020, at 5:54 pm, Moritz Angermann  
>> wrote:
>> 
>> If anyone has some create ideas, I'd love to hear them.  I've been wondering
>> if just logging allocations (offset, range, type) would help figuring out 
>> what we
>> expected to be there; and then maybe try to break on the allocation, (and
>> subsequent writes).
>> 
>> I'm sure some have been down this road before. 
>
> Force a GC before every allocation, and make the GC check the validity
> of the objects before it moves anything. I think this used to be
> possible by compiling the runtime system in debug mode.
>
> The usual pain of heap corruption is that once the heap is corrupted
> it may be several GC cycles before you get the actual crash, and in
> the meantime the objects have all been moved around. The GC walks over
> all the objects by nature, so get it to validate the heap every time
> it does, then force it to run as often as you possibly can.
>
Indeed.  Small nurseries (using +RTS -A), deterministic GC behavior
(with +RTS -V0 -I0), and sanity checking (with +RTS -DS) are all a very
useful for this.

> A user space approach is to use a library like vacuum or packman that
> also walks over the heap objects directly.
>
> http://hackage.haskell.org/package/vacuum-2.2.0.0/docs/GHC-Vacuum.html
> https://hackage.haskell.org/package/packman
>
For what it's worth, the ghc-debug [1] project which Sven Tennie, Matt
Pickering, and I have been working on over the last year or so was in
part motivated by precisely this use-case. It would allow the heap of
one Haskell process's heap to be traversed by another process. This is
useful for both debugging and profiling use-cases.

Cheers,

- Ben


[1] https://github.com/bgamari/ghc-debug


signature.asc
Description: PGP signature
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC Logo

[Joachim Breitner]

Quite a convincing plea :)


Am Mittwoch, den 02.09.2020, 12:07 -0400 schrieb John Cotton Ericson:
> Yeah I think the old "functional programming is slow" memes died off about 
> when the rest of the industry went on its JavaScript bender, so I am not 
> really worried about the negative connotations of turtles.
> The positive connotations of turtles sounds very good to me. Besides safety,
>  the longevity of at least giant tortoises also speaks to GHC's rare ability 
> to stay at the vanguard of research while still being wildly used.
> Their ability to walk and swim speaks to the diverse backends that can be 
> attached to GHC (NCG, LLVM, GHCJS, Asterius, Clash's, etc.).
> Even the fable, from which the slowness myth comes from I guess, goes well 
> with "avoid success at all costs".
> Conversely I am not a fan of choosing a Cat. I like Cats fine in real life, 
> don't get be wrong, but Cats are so popular on the internet that this would 
> be the the unmarked animal choice, with no clear connotations or 
> memorability. I think that would be the juvenile choice, per Ben's slippery 
> slope.
> Foxes are nice, but I think Firefox has that for life.
> Octopuses are alright. GitHub's Octocat doesn't doesn't pose nearly as much 
> of a problem as Firefox for foxes. Still, while Octopuses are smart, they are 
> usually solitary and mischievous. GHC is very much a long-term group effort, 
> belying the solitary connotation, and I certainly hope any compiler I use 
> isn't mischievous!
> A turtle for a compiler is a bold choice that indicates our values, 
> confidence that the performance of compiled code is immune to cheap derision, 
> and humor.
> John
> P.S. The funny patterns on turtles' backs could be made of lambdas?...
> P.P.S. and yes, if it does compel us to fix rampant list appending just so 
> we're fast on all fronts, that would be nice too :).
> On 9/2/20 11:47 AM, Ben Gamari wrote:
> > Richard Eisenberg  writes:
> > 
> > > I'm oddly drawn to the idea of a turtle -- except that turtles are
> > > slow. But animals are cute. Maybe something involving a fox, given
> > > that foxes can be clever? Octopuses are also known to be very clever,
> > > but maybe GitHub has octopuses covered.
> > > 
> > 
> > In general I'm rather neutral on the logo question. There is a fine line
> > between "juvenile" (which may detract from the project's credibility in
> > the eyes of some) and "cute" (which I think is universally a Good
> > Thing); the current rather boring logo was a quick attempt to satisfy
> > the need for some logo while recognizing that I lack the artistic
> > ability to walk that line. I don't think it's a bad logo but it's quite
> > dull and far from being a *good* logo. I do hope someone steps up to do
> > better.
> > 
> > Logos aside, I do feel the need to correct the record here: you
> > clearly have not seen how quickly a turtle can move when offered banana
> > or shrimp. They can be quite quick when suitably incentivized!
> > 
> > Cheers,
> > 
> > - Ben
> > 
> > 
> > ___
> > ghc-devs mailing list
> > ghc-devs@haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> 
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-- 
Joachim Breitner
  m...@joachim-breitner.de
  http://www.joachim-breitner.de/


___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC Logo

[Bardur Arantsson]

On 02/09/2020 00.36, Richard Eisenberg wrote:
> Late to the party here, but I'm wondering whether we can enlist someone with 
> graphic design experience to create a more iconic logo for the compiler. I 
> use the word "iconic" deliberately: it should both be recognizable, and in 
> the shape of an icon (that is, more square). The Haskell logo does this 
> wonderfully, but I think Ben's proposal just appends GHC to that.
> 
> My own preference would be to retain a connection with the Haskell logo (as 
> Ben's submission does), but that needn't be a hard requirement.
> 

(Apologies, Richard, for the double-send. Screwed up the to-all thing.)

Is there no animal which could reasonably be "overlaid" on the logo? I'm
thinking the `` bit would be horns or ears and the // would be legs...
Not sure what the = would be... maybe front legs/arms?

Afraid I cannot draw anything, but I did a *horrific* "rest of the owl"
type thing here:

   https://sketch.io/render/sk-a412a3154e2332ae6d1c58fb23f00c04.jpeg

Regards,



___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: GHC Logo

[Carter Schonwald]

I decided to look up the difference between tortoise and turtles, and
apparently the former are land critters. Plus have elephant style hind feet
to support their high load/ weight among the larger species due to being
land focused.
https://www.nationalgeographic.com/news/2017/12/shell-game--how-to-tell-a-turtle-from-a-tortoise/


So there’s a cute stable under load angle there ;) at least for a tortoise
/ land turtle angle

On Wed, Sep 2, 2020 at 12:08 PM John Cotton Ericson
 wrote:

>
>
>
>
>
>
>
>
>
>
> Yeah I think the old "functional programming is slow" memes died
>
> off about when the rest of the industry went on its JavaScript
>
> bender, so I am not really worried about the negative connotations
>
> of turtles.
>
>
> The positive connotations of turtles sounds very good to me.
>
> Besides safety,
>
>
>
>
>
>-  the longevity of at least giant tortoises also speaks to
>
>GHC's rare ability to stay at the vanguard of research while
>
>still being wildly used.
>
>- Their ability to walk and swim speaks to the diverse backends
>
>that can be attached to GHC (NCG, LLVM, GHCJS, Asterius,
>
>Clash's, etc.).
>
>- Even the fable, from which the slowness myth comes from I
>
>guess, goes well with "avoid success at all costs".
>
>
>
>
> Conversely I am not a fan of choosing a Cat. I like Cats fine in
>
> real life, don't get be wrong, but Cats are so popular on the
>
> internet that this would be the the unmarked animal choice, with
>
> no clear connotations or memorability. I think that would be the
>
> juvenile choice, per Ben's slippery slope.
>
>
>
>
> Foxes are nice, but I think Firefox has that for life.
>
>
> Octopuses are alright. GitHub's Octocat doesn't doesn't pose
>
> nearly as much of a problem as Firefox for foxes. Still, while
>
> Octopuses are smart, they are usually solitary and mischievous.
>
> GHC is very much a long-term group effort, belying the solitary
>
> connotation, and I certainly hope any compiler I use isn't
>
> mischievous!
>
>
>
>
> A turtle for a compiler is a bold choice that indicates our
>
> values, confidence that the performance of compiled code is immune
>
> to cheap derision, and humor.
>
>
> John
>
>
> P.S. The funny patterns on turtles' backs could be made of
>
> lambdas?...
>
>
> P.P.S. and yes, if it does compel us to fix rampant list
>
> appending just so we're fast on all fronts, that would be nice too
>
> :).
>
>
> On 9/2/20 11:47 AM, Ben Gamari wrote:
>
>
>
>
>
>
> Richard Eisenberg   writes:
>
>
>
>
>
>
>
> I'm oddly drawn to the idea of a turtle -- except that turtles are
>
> slow. But animals are cute. Maybe something involving a fox, given
>
> that foxes can be clever? Octopuses are also known to be very clever,
>
> but maybe GitHub has octopuses covered.
>
>
>
>
>
>
>
> In general I'm rather neutral on the logo question. There is a fine line
>
> between "juvenile" (which may detract from the project's credibility in
>
> the eyes of some) and "cute" (which I think is universally a Good
>
> Thing); the current rather boring logo was a quick attempt to satisfy
>
> the need for some logo while recognizing that I lack the artistic
>
> ability to walk that line. I don't think it's a bad logo but it's quite
>
> dull and far from being a *good* logo. I do hope someone steps up to do
>
> better.
>
>
>
> Logos aside, I do feel the need to correct the record here: you
>
> clearly have not seen how quickly a turtle can move when offered banana
>
> or shrimp. They can be quite quick when suitably incentivized!
>
>
>
> Cheers,
>
>
>
> - Ben
>
>
>
>
>
>
>
>
> ___
>
> ghc-devs mailing list
>
> ghc-devs@haskell.org
>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
>
>
>
>
>
>
>
> ___
>
> ghc-devs mailing list
>
> ghc-devs@haskell.org
>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs