Martin D Kealey wrote:
> On Mon, 16 Feb 2009, Jon Lang wrote:
>> if there's any doubt about the matter (e.g., conclusively proving or
>> disproving purity would be NP-complete or a halting problem), then
>
> Deciding whether you have a halting problem IS a halting problem... :-)
You're making the
I wrote:
> > In the general case, if your language has both pure and impure
> > functions, proving (at compile time) that something is not impure is an
> > NP-complete problem.
On Mon, 16 Feb 2009, Mark Biggar wrote:
> Worse it's equivalent to the halting problem (I.e., not solvable).
Quite corre
On Mon, 16 Feb 2009, Jon Lang wrote:
> if there's any doubt about the matter (e.g., conclusively proving or
> disproving purity would be NP-complete or a halting problem), then
Deciding whether you have a halting problem IS a halting problem... :-)
-Martin
Hi all. According to S29, the Perl 5 format() function is obsolete,
and it says "See Exegesis 7". According to Exegesis 7, there will be a
Form.pm which implements similar functionality, but has to be "use"d. My
questions are:
1. Is the Form.pm module discussed anywhere in the specs?
2
Darren Duncan wrote:
> There are ways to get what you want if you're willing to trade for more
> restrictiveness in the relevant contexts.
>
> If we have a way of marking types/values and routines somehow as being pure,
> in the types case marking it as consisting of just immutable values, and in
>
Mark Biggar wrote:
Martin D Kealey wrote:
But if you have objects and nested functions, the exact inference rule
gets
a whole lot more complicated. With exceptions, threads and co-routines
it's a
nightmare. In the general case, if your language has both pure and impure
functions, proving (at c
On Mon, 16 Feb 2009, Daniel Ruoso wrote:
Em Seg, 2009-02-16 às 17:28 +1100, Timothy S. Nelson escreveu:
Say I wanted to write a POP3 server. I want to receive a username and
password from the client. I want things to be interruptable during this, but
it's also impossible to sensibly r
On Mon, 16 Feb 2009, Daniel Ruoso wrote:
Em Sáb, 2009-02-14 às 18:01 +0100, Leon Timmermans escreveu:
On Sat, Feb 14, 2009 at 6:38 AM, wrote:
+=head2 IO::Openable
+This role implies that the object can be connected to, or listened on.
I'm not sure if I really hate or love this. I'm not quit
Author: wayland
Date: 2009-02-17 04:35:25 +0100 (Tue, 17 Feb 2009)
New Revision: 25361
Modified:
docs/Perl6/Spec/S16-io.pod
Log:
S16: Created IO::FileSystemEntry, and separated out the appropriate stuff from
IO::Filesystem. I'm glad this is only a draft :).
Modified: docs/Perl6/Spec/S16-i
Author: wayland
Date: 2009-02-17 04:17:41 +0100 (Tue, 17 Feb 2009)
New Revision: 25360
Modified:
docs/Perl6/Spec/S16-io.pod
docs/Perl6/Spec/S29-functions.pod
Log:
Moved "syscall" from S16 to S29, as per discussion on mailing list.
Modified: docs/Perl6/Spec/S16-io.pod
Martin D Kealey wrote:
But if you have objects and nested functions, the exact inference rule gets
a whole lot more complicated. With exceptions, threads and co-routines it's a
nightmare. In the general case, if your language has both pure and impure
functions, proving (at compile time) that some
On Fri, 13 Feb 2009, Jon Lang wrote:
> In reading about functional programming, I ran across the concept of
> the "pure function" - i.e., a function that doesn't produce side
> effects.
[...]
> It occurred to me that this business of marking functions as pure could be
> done in perl by means of tra
# New Ticket Created by "Carl Mäsak"
# Please include the string: [perl #63250]
# in the subject line of all future correspondence about this issue.
# http://rt.perl.org/rt3/Ticket/Display.html?id=63250 >
It's Rakudo c4f0f9, and the following error occurs:
$ perl6 -e 'enum A ; b..c'
Multiple
Em Seg, 2009-02-16 às 17:28 +1100, Timothy S. Nelson escreveu:
> Say I wanted to write a POP3 server. I want to receive a username and
> password from the client. I want things to be interruptable during this, but
> it's also impossible to sensibly roll things back like they were before t
On Mon, Feb 16, 2009 at 05:59:38PM +0100, Jonathan Worthington wrote:
> Patrick R. Michaud wrote:
>> They're likely doable, yes. I'm not entirely certain how to handle
>> the case of anonymous grammars, classes, roles, etc. -- those lookups
>> may be a bit trickier.
>
> I planned to do these ju
Patrick R. Michaud wrote:
They're likely doable, yes. I'm not entirely certain how to handle
the case of anonymous grammars, classes, roles, etc. -- those lookups
may be a bit trickier.
I planned to do these just as lexicals. Since we build the class inside
the block anyway, if we set a $?C
Author: ruoso
Date: 2009-02-16 17:57:10 +0100 (Mon, 16 Feb 2009)
New Revision: 25359
Modified:
docs/Perl6/Spec/S16-io.pod
Log:
[spec/S16] reorganizing the roles a bit, to make it less confusing. Now we
should discuss IO::Socket, IO::Pipe and other very OS-specific matters
Modified: docs/Perl6
On Sun, Feb 15, 2009 at 03:48:04PM -0600, Chris Dolan wrote:
> On the fly would require some significant work in PGE, I think, to keep
> the line count correct in the face of backtracking. However, this may
> already be necessary down the road for proper line numbers in error
> messages for cod
Parrot Bug Summary
http://rt.perl.org/rt3/NoAuth/parrot/Overview.html
Generated at Mon Feb 16 14:00:01 2009 GMT
---
* Numbers
* New Issues
* Overview of Open Issues
* Ticket Status By Version
* Requestors with m
Author: ruoso
Date: 2009-02-16 12:44:44 +0100 (Mon, 16 Feb 2009)
New Revision: 25357
Modified:
docs/Perl6/Spec/S16-io.pod
Log:
[spec/S16] read and write are always "raw". You should use "print" or "getc" if
you want encodings applied
Modified: docs/Perl6/Spec/S16-io.pod
==
Em Sáb, 2009-02-14 às 18:01 +0100, Leon Timmermans escreveu:
> On Sat, Feb 14, 2009 at 6:38 AM, wrote:
> > +=head2 IO::Openable
> > +This role implies that the object can be connected to, or listened on.
> I'm not sure if I really hate or love this. I'm not quite convinced if
> the use of it anyw
Author: ruoso
Date: 2009-02-16 12:13:03 +0100 (Mon, 16 Feb 2009)
New Revision: 25356
Modified:
docs/Perl6/Spec/S16-io.pod
Log:
[spec/S16] move IFS/OFS/IRS/ORS to the more specific roles.
[spec/S16] async should not be an argument to a method, but it is an attribute
of the IO object.
(there nee
Em Sáb, 2009-02-14 às 17:39 +1100, Timothy S. Nelson escreveu:
> Hi. I've been trying to help reorganise the draft S16, as I'm also in
> the process of writing something roughly equivalent to Net::Cmd in Perl6. I
> have some questions.
> First question, how do IO::Encoded and eg. IO
VERY stylish!
For example, some questions:
To what extent is the vertical alignment important? Does it indicate
some form of seniority within a category?
Where do the terms iffy dotty fiddly, etc come from? STD.pm?
Where do the categories Jungian, Jungior etc come from?
Just an excellent pi
Author: moritz
Date: 2009-02-16 09:10:10 +0100 (Mon, 16 Feb 2009)
New Revision: 25352
Modified:
docs/Perl6/Spec/S29-functions.pod
Log:
[S29] document Junction.eigenstates, which has been discussed on IRC recently
Modified: docs/Perl6/Spec/S29-functions.pod
25 matches
Mail list logo
