Debian Bug report logs - #496873
RFP: pure -- functional programming language based on term rewriting

Package: wnpp; Maintainer for wnpp is wnpp@debian.org;

Reported by: "dhbaird" <dhbaird@gmail.com>

Date: Thu, 28 Aug 2008 07:18:01 UTC

Severity: wishlist

Reply or subscribe to this bug.

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to debian-bugs-dist@lists.debian.org, debian-devel@lists.debian.org, <wnpp@debian.org>, dhbaird@gmail.com:
Bug#496873; Package wnpp. Full text and rfc822 format available.

Acknowledgement sent to "dhbaird" <dhbaird@gmail.com>:
New Bug report received and forwarded. Copy sent to debian-devel@lists.debian.org, <wnpp@debian.org>, dhbaird@gmail.com. Full text and rfc822 format available.

Message #5 received at submit@bugs.debian.org (full text, mbox):

From: "dhbaird" <dhbaird@gmail.com>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: ITP: pure -- functional programming language based on term rewriting
Date: Thu, 28 Aug 2008 07:17:04 -0000
Package: wnpp
Severity: wishlist
Owner: dhbaird@gmail.com


* Package name    : pure
  Version         : 0.5
  Upstream Author : Albert Gräf <Dr.Graef at t-online.de>
* URL             : http://pure-lang.sourceforge.net/
* License         : GPLv3
  Programming Lang: C, C++, LLVM
  Description     : functional programming language based on term rewriting

-- System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: i386 (i686)




Information forwarded to debian-bugs-dist@lists.debian.org, <wnpp@debian.org>, dhbaird@gmail.com:
Bug#496873; Package wnpp. Full text and rfc822 format available.

Acknowledgement sent to Neil Williams <codehelp@debian.org>:
Extra info received and forwarded to list. Copy sent to <wnpp@debian.org>, dhbaird@gmail.com. Full text and rfc822 format available.

Message #10 received at 496873@bugs.debian.org (full text, mbox):

From: Neil Williams <codehelp@debian.org>
To: dhbaird <dhbaird@gmail.com>, 496873@bugs.debian.org
Subject: Re: Bug#496873: ITP: pure -- functional programming language based on term rewriting
Date: Thu, 28 Aug 2008 09:54:02 +0100
[Message part 1 (text/plain, inline)]
On Thu, 2008-08-28 at 07:17 +0000, dhbaird wrote:
> Package: wnpp
> Severity: wishlist
> Owner: dhbaird@gmail.com
> 
> 
> * Package name    : pure

I can't help thinking that 'pure-lang' would be a much better package
name rather than using such a common word that has multiple meanings.

>   Version         : 0.5
>   Upstream Author : Albert Gräf <Dr.Graef at t-online.de>
> * URL             : http://pure-lang.sourceforge.net/
> * License         : GPLv3
>   Programming Lang: C, C++, LLVM
>   Description     : functional programming language based on term rewriting

Long description would appear to be missing.

The package name and the long description need to clearly explain what
the package can do and why anyone should want to install it. It should
also explain "term rewriting" which is not clear to me from what you
have provided so far.

-- 


Neil Williams
=============
http://www.data-freedom.org/
http://www.nosoftwarepatents.com/
http://www.linux.codehelp.co.uk/


[signature.asc (application/pgp-signature, inline)]

Information forwarded to debian-bugs-dist@lists.debian.org, <wnpp@debian.org>, dhbaird@gmail.com:
Bug#496873; Package wnpp. Full text and rfc822 format available.

Acknowledgement sent to "David Baird" <dhbaird@gmail.com>:
Extra info received and forwarded to list. Copy sent to <wnpp@debian.org>, dhbaird@gmail.com. Full text and rfc822 format available.

Message #15 received at 496873@bugs.debian.org (full text, mbox):

From: "David Baird" <dhbaird@gmail.com>
To: "Neil Williams" <codehelp@debian.org>
Cc: 496873@bugs.debian.org
Subject: Re: Bug#496873: ITP: pure -- functional programming language based on term rewriting
Date: Sat, 30 Aug 2008 02:01:18 -0600
On Thu, Aug 28, 2008 at 2:54 AM, Neil Williams <codehelp@debian.org> wrote:
> On Thu, 2008-08-28 at 07:17 +0000, dhbaird wrote:
>> * Package name    : pure
>
> I can't help thinking that 'pure-lang' would be a much better package
> name rather than using such a common word that has multiple meanings.

Agreed.  This is my first time doing a package for Debian, and I'm
inexperienced with using Debian's systems.  Is there something I need
to do to fix this up in Debian's bug system?

>>   Version         : 0.5
>>   Upstream Author : Albert Gräf <Dr.Graef at t-online.de>
>> * URL             : http://pure-lang.sourceforge.net/
>> * License         : GPLv3
>>   Programming Lang: C, C++, LLVM
>>   Description     : functional programming language based on term rewriting
>
> Long description would appear to be missing.

Oops :-(  Sorry.  I've got this taken care of, to some extent in the
package that I've been working on.  I just didn't put it in the ITP
report.  Basically, here is a copy-and-paste from the Pure website:

"Pure is a functional programming language based on term rewriting.
Its core is actually purely algebraic and purely functional, but the
name can also be taken as a recursive acronym for the "Pure Universal
Rewriting Engine." Pure has a modern syntax featuring curried function
applications, lexical closures and equational definitions with pattern
matching, and thus is somewhat similar to languages of the Haskell and
ML variety. But Pure is also a very dynamic language, and is more like
Lisp in this respect. The interpreter has an LLVM backend to do JIT
compilation, hence programs run blazingly fast and interfacing to C
modules is easy.

As a language which uses general term rewriting as its underlying
computational model (instead of the lambda calculus, which most other
functional programming languages are based on), Pure also offers the
symbolic evaluation capabilities which you'd expect from such a
language. Pure is closely related to the author's Q language and is
slated to eventually become its successor, since it offers many new
and powerful features and programs run much faster than their Q
equivalents. (OTOH, Q still offers many more library modules right
now. Most of these will eventually be ported to Pure, but this will
take some time.)"

> The package name and the long description need to clearly explain what
> the package can do and why anyone should want to install it. It should
> also explain "term rewriting" which is not clear to me from what you
> have provided so far.

I think term rewriting would be kind of hard for me to explain, but
I'll give it a shot.  The programmer specifies rewrite rules, which
are compiled to do efficient pattern matching and substitution on
abstract syntax trees.  The rewrite rule looks like this:

    <pattern> -> <expression> if <condition>

The pattern matching can be fairly sophisticated, like other languages
such as Prolog and Erlang and other functional languages.  The
<expression> simply rearranges and evaluates
variables/constants/sub-trees which were matched by the pattern.
<condition> is a guard which checks for situations that cannot be
handled by pattern matching alone.

As Pure (and Q) demonstrate, you can actually make whole entire
programming languages based on this idea of term rewriting.

I think I am nearly ready to do a request-for-sponsor on the
debian-mentors list if there is nothing further to do on this ITP
report.

Thank you for your comments to help me out since I am very new to this.




Information forwarded to debian-bugs-dist@lists.debian.org, <wnpp@debian.org>, dhbaird@gmail.com:
Bug#496873; Package wnpp. Full text and rfc822 format available.

Acknowledgement sent to Neil Williams <codehelp@debian.org>:
Extra info received and forwarded to list. Copy sent to <wnpp@debian.org>, dhbaird@gmail.com. Full text and rfc822 format available.

Message #20 received at 496873@bugs.debian.org (full text, mbox):

From: Neil Williams <codehelp@debian.org>
To: David Baird <dhbaird@gmail.com>
Cc: 496873@bugs.debian.org
Subject: Re: Bug#496873: ITP: pure -- functional programming language based on term rewriting
Date: Sat, 30 Aug 2008 11:16:09 +0100
[Message part 1 (text/plain, inline)]
On Sat, 2008-08-30 at 02:01 -0600, David Baird wrote:
> On Thu, Aug 28, 2008 at 2:54 AM, Neil Williams <codehelp@debian.org> wrote:
> > On Thu, 2008-08-28 at 07:17 +0000, dhbaird wrote:
> >> * Package name    : pure
> >
> > I can't help thinking that 'pure-lang' would be a much better package
> > name rather than using such a common word that has multiple meanings.
> 
> Agreed.  This is my first time doing a package for Debian, and I'm
> inexperienced with using Debian's systems.  Is there something I need
> to do to fix this up in Debian's bug system

Retitle the ITP (use 'bts' from the devscripts package) and send an
email to the bug report with the updated ITP template.

> >>   Version         : 0.5
> >>   Upstream Author : Albert Gräf <Dr.Graef at t-online.de>
> >> * URL             : http://pure-lang.sourceforge.net/
> >> * License         : GPLv3
> >>   Programming Lang: C, C++, LLVM
> >>   Description     : functional programming language based on term rewriting
> >
> > Long description would appear to be missing.
> 
> Oops :-(  Sorry.  I've got this taken care of, to some extent in the
> package that I've been working on.  I just didn't put it in the ITP
> report.  Basically, here is a copy-and-paste from the Pure website:

And that needs to be trimmed down. :-)

Basically, distill the paste into two (shortish) paragraphs that do not
leave terms undefined but cover enough ground that ARandomUser who has
not seen this package before will get a good idea of whether it is
relevant to their needs. Once packaged, debtags will allow more
classification.

-- 


Neil Williams
=============
http://www.data-freedom.org/
http://www.nosoftwarepatents.com/
http://www.linux.codehelp.co.uk/


[signature.asc (application/pgp-signature, inline)]

Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, dhbaird@gmail.com:
Bug#496873; Package wnpp. (Mon, 24 May 2010 19:18:35 GMT) Full text and rfc822 format available.

Acknowledgement sent to Lucas Nussbaum <lucas@debian.org>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org, dhbaird@gmail.com. (Mon, 24 May 2010 19:18:35 GMT) Full text and rfc822 format available.

Message #25 received at 496873@bugs.debian.org (full text, mbox):

From: Lucas Nussbaum <lucas@debian.org>
To: 496873@bugs.debian.org
Cc: control@bugs.debian.org
Subject: pure: changing back from ITP to RFP
Date: Mon, 24 May 2010 19:06:37 +0000
retitle 496873 RFP: pure -- functional programming language based on term rewriting
noowner 496873
thanks

Hi,

This is an automatic email to change the status of pure back from ITP
(Intent to Package) to RFP (Request for Package), because this bug hasn't seen
any activity during the last 18 months.

If you are still interested in adopting pure, please send a mail to
<control@bugs.debian.org> with:

 retitle 496873 ITP: pure -- functional programming language based on term rewriting
 owner 496873 !
 thanks

However, it is not recommended to keep ITP for a long time without acting on
the package, as it might cause other prospective maintainers to refrain from
packaging that software. It is also a good idea to document your progress on
this ITP from time to time, by mailing <496873@bugs.debian.org>.

Thank you for your interest in Debian,
-- 
Lucas, for the QA team




Changed Bug title to 'RFP: pure -- functional programming language based on term rewriting' from 'ITP: pure -- functional programming language based on term rewriting' Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Mon, 24 May 2010 19:31:12 GMT) Full text and rfc822 format available.

Removed annotation that Bug was owned by dhbaird@gmail.com. Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Mon, 24 May 2010 19:31:12 GMT) Full text and rfc822 format available.

Send a report that this bug log contains spam.


Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Mon Apr 21 16:06:24 2014; Machine Name: beach.debian.org

Debian Bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.