FAQ

Search Discussions

68 discussions - 425 posts

  • Here is a first look at the ideas I've worked up concerning the Perl 6 type system. It's an overview of the issues and usage of higher-order types in comparison with traditional subtyping subclasses. ...
    John M. DlugoszJohn M. Dlugosz
    Apr 27, 2008 at 10:11 am
    May 16, 2008 at 8:00 pm
  • In response to questions on my whitepaper, I made this companion to bring people up to speed on the issue. <http://www.dlugosz.com/Perl6/web/isa-inheritance.html "Think you know what “polymorphism” ...
    John M. DlugoszJohn M. Dlugosz
    Apr 30, 2008 at 2:24 am
    Jun 1, 2008 at 12:16 pm
  • HaloO, why is (1,2,3) X () defined to be the empty list and not (1,2,3) as is the case with the cartesian product of sets which X basically is with preserved order. Regards, TSa. -- The Angel of ...
    TSaTSa
    Apr 4, 2008 at 4:51 pm
    Apr 16, 2008 at 3:59 pm
  • Consider the words that may be used to introduce a block for a special purpose, like BEGIN END INIT CATCH etc. What do you call those? They are not even "special named blocks" because that is not the ...
    John M. DlugoszJohn M. Dlugosz
    Apr 10, 2008 at 5:31 am
    Apr 13, 2008 at 10:00 am
  • After reading S12<v58 , I have many many notes about things that need to be tightened up or places that open more questions then provide answers. But, a lot of it boils down to a core set of issues. ...
    John M. DlugoszJohn M. Dlugosz
    Apr 4, 2008 at 8:48 pm
    Apr 8, 2008 at 12:09 am
  • Not being familiar with the big picture design* of Perl 6, I'm not able to answer this. I assume that there is a clear reason, but what is it? Nicholas Clark * Heck, I'm also not familiar with the ...
    Nicholas ClarkNicholas Clark
    Apr 25, 2008 at 11:17 am
    Apr 26, 2008 at 4:13 am
  • I have a lot to say to that. Please give me time. Regards, TSa. -- "The unavoidable price of reliability is simplicity" -- C.A.R. Hoare 1 + 2 + 3 + 4 + ... = -1/12 -- Srinivasa Ramanujan
    TSaTSa
    Apr 29, 2008 at 9:58 am
    Jun 3, 2008 at 10:57 am
  • I posted my thoughts as a sort of white paper here: http://www.dlugosz.com/files/static-type.pdf This needs to be fleshed out. Decisions need to be made. Anyone want to discuss it with me? --John
    John M. DlugoszJohn M. Dlugosz
    Apr 15, 2008 at 5:20 am
    Apr 17, 2008 at 4:37 pm
  • Just surfing, I noticed something about the "D" programming language: " The types of constants need not be specified explicitly as the compiler infers their types ...
    John M. DlugoszJohn M. Dlugosz
    Apr 13, 2008 at 6:03 am
    Apr 15, 2008 at 9:44 am
  • I just finished another pass on S09<v24 , and in this posting I note editorial issues with the file that can easily be corrected. This is as opposed to subjects for deep discussion, which I'll save ...
    John M. DlugoszJohn M. Dlugosz
    Apr 2, 2008 at 1:37 pm
    Apr 3, 2008 at 12:34 am
  • If a function returns different things if called in list context or item context, how do you define the "of" type (outer return type) to make the function strongly typed?
    John M. DlugoszJohn M. Dlugosz
    Apr 18, 2008 at 10:34 am
    Apr 22, 2008 at 2:00 am
  • I know how comparisons are chained in Perl 6. There is a very short section on it in S03. So, are the operators infix:{'<'} etc. written in the normal way to take two arguments? Then the language ...
    John M. DlugoszJohn M. Dlugosz
    Apr 16, 2008 at 7:49 am
    Apr 18, 2008 at 2:10 am
  • #[ are there people paying attention to these issues on other mailing lists? ] = on Compact structs revision 1, initial posting What functions serialize/deserialize to the C view? If these are to be ...
    John M. DlugoszJohn M. Dlugosz
    Apr 1, 2008 at 10:13 am
    Apr 5, 2008 at 2:00 am
  • Larry, you've wanted to have class names used within a class be virtual. With various degrees of conviction across the synopses, you've wanted classes defined within a class to be overridable, or all ...
    John M. DlugoszJohn M. Dlugosz
    Apr 21, 2008 at 12:19 am
    Apr 23, 2008 at 3:48 pm
  • How do you declare a function that returns an array? Something like sub foo (blah) is Array of X { ... } seems right, but it has two problems. First is a real problem, and is a mistake seen a lot in ...
    John M. DlugoszJohn M. Dlugosz
    Apr 16, 2008 at 8:49 am
    Apr 18, 2008 at 5:21 pm
  • OK, what is the proper use of ::?CLASS ? Say in a role you want to take an argument of the same class as the final class, or explicitly declare $self. S12 gives an example: method doit (::?CLASS ...
    John M. DlugoszJohn M. Dlugosz
    Apr 18, 2008 at 6:22 am
    Apr 23, 2008 at 4:10 pm
  • Can I take this as an indication that the rules for postcircumfix operators are an extension of the rules for postfix operators? -- Jonathan "Dataweaver" Lang
    Jon LangJon Lang
    Apr 3, 2008 at 1:09 am
    Apr 9, 2008 at 3:49 pm
  • I've read Synopsis and I wondered why to treat max and min as operator. IMHO, view them as list functions is more reasonable. Like below: @test.max is clearer than @test[0] max @test[1] or [max] ...
    Xiao YafengXiao Yafeng
    Apr 1, 2008 at 5:45 am
    Apr 2, 2008 at 2:59 am
  • HaloO, I just wonder what has become of the coroutine feature. Was that dropped from the spec? And when yes, why? The trick is to design the yield statement nicely. And also to define a syntax that ...
    TSaTSa
    Apr 18, 2008 at 5:22 pm
    Apr 21, 2008 at 1:27 pm
  • I've been working hard on re-organizing the S\d\d docs and other lore into a technical specification with an outline suitable for the contents. But lately I've done some "original work" on what ...
    John M. DlugoszJohn M. Dlugosz
    Apr 10, 2008 at 1:53 am
    Apr 11, 2008 at 12:05 am
  • I posted my current work at http://www.dlugosz.com/files/specdoc.pdf and .odt. Please look. --John
    John M. DlugoszJohn M. Dlugosz
    Apr 14, 2008 at 7:46 am
    May 5, 2008 at 5:58 pm
  • Perl 6 has a concept of a "candidate list". The candidate list are those that could handle the call, typically inherited methods and multi variations. It seems that multi variations, at least with ...
    John M. DlugoszJohn M. Dlugosz
    Apr 19, 2008 at 8:00 am
    Apr 21, 2008 at 4:09 pm
  • I've identified a few more issues while refactoring the text across all the synopses, but I'm just noting everything in my document. Not enough discussion going on to post them all. My main creative ...
    John M. DlugoszJohn M. Dlugosz
    Apr 20, 2008 at 8:05 am
    Apr 21, 2008 at 12:18 pm
  • sub GetType (-- Type) { ... } my ::RunTimeType := GetType; This is clearly permitted by the prose, that " ::x may be bound to any object that does the Abstraction role, such as a typename, package, ...
    John M. DlugoszJohn M. Dlugosz
    Apr 17, 2008 at 9:12 am
    Apr 18, 2008 at 9:33 pm
  • I'm taking a stab at turning the S\d\d documents into a formal standard. Going through S02, each factoid gets filed away in a developing outline. I'm using a single ODT file to make it easy to ...
    John M. DlugoszJohn M. Dlugosz
    Apr 7, 2008 at 11:40 pm
    Apr 10, 2008 at 4:28 pm
  • PRE/POST on methods: " When applied to a method, the semantics provide support for the "Design by Contract" style of OO programming: a precondition of a particular method is met if all the PRE blocks ...
    John M. DlugoszJohn M. Dlugosz
    Apr 13, 2008 at 2:54 am
    Apr 13, 2008 at 3:42 pm
  • In S06, a wrong word: "Alternately, optional fields may be marked by supplying a default value. " should be parameters, not fields. Now here is my question: Params are bound in declaration order, not ...
    John M. DlugoszJohn M. Dlugosz
    Apr 12, 2008 at 4:59 am
    Apr 13, 2008 at 2:58 am
  • In S06, "A method's invocant always has the alias self. Other styles of self can be declared with the self pragma." What is the self pragma, and what are other styles of self, prey tell? --John
    John M. DlugoszJohn M. Dlugosz
    Apr 12, 2008 at 4:49 am
    Apr 12, 2008 at 6:52 pm
  • S06 shows how to define named-only parameters, "marked with a prefix :". But no example shows anything more than a bare parameter name. No type is ever given! Looking through my copy of STD.pm, I'm ...
    John M. DlugoszJohn M. Dlugosz
    Apr 11, 2008 at 3:26 am
    Apr 11, 2008 at 4:56 am
  • I'm trying to fathom STD.pm. Maybe someone can help me trace through this one? How is $obj!privA = 1; parsed? Reading expect_term, it trys <noun , then <variable sees the "$" and commits to the ...
    John M. DlugoszJohn M. Dlugosz
    Apr 5, 2008 at 7:59 pm
    Apr 5, 2008 at 11:14 pm
  • What is a "list comprehension"? I've seen that term bantered around here. --John
    John M. DlugoszJohn M. Dlugosz
    Apr 5, 2008 at 7:24 pm
    Apr 5, 2008 at 8:10 pm
  • First, consider the stated examples for Generic type parameters, from the passage which defines the terminology in S02: sub max (Num ::X @array) { push @array, X.new(); } sub compare (Any ::T $x, T ...
    John M. DlugoszJohn M. Dlugosz
    Apr 17, 2008 at 4:19 am
    Apr 17, 2008 at 9:19 pm
  • OUTER::<$varname (S06, "Out-of-scope names") $OUTER::varname (S02, "Names") specifies the $varname declared in the lexical scope surrounding the current lexical scope (i.e. the scope in which the ...
    John M. DlugoszJohn M. Dlugosz
    Apr 11, 2008 at 8:13 pm
    Apr 12, 2008 at 4:34 pm
  • What is the difference between: sub head(*$head, *@tail) and sub head($head?, *@tail) ? The example calls it with head( 1,2,3,4 ); I'm thinking that there are differences that are not apparent in ...
    John M. DlugoszJohn M. Dlugosz
    Apr 12, 2008 at 5:06 am
    Apr 12, 2008 at 4:07 pm
  • It is not specified in the Synopses as I recall, but I believe that this is useful enough that it must be made to work: method bytes (Encoding :$encoding = .encoding) returns Int or even method bytes ...
    John M. DlugoszJohn M. Dlugosz
    Apr 11, 2008 at 3:35 am
    Apr 11, 2008 at 7:46 pm
  • **** Pleases direct follow-ups to just perl6-users. **** It’s been about a month and a half since the first time that I brought up the topic of fundraising. So I want to find out what the prospects ...
    Conrad SchneikerConrad Schneiker
    Apr 7, 2008 at 12:25 am
    Apr 7, 2008 at 2:54 am
  • OK, you got me. What is the "¢" used for? For example, <?{ $¢.pos === $!ws_to } . I only see that character as used in this manner (a variable name?), never defined (e.g. as a variable or parameter) ...
    John M. DlugoszJohn M. Dlugosz
    Apr 5, 2008 at 8:22 am
    Apr 5, 2008 at 1:22 pm
  • In S29, there are definitions like our Capture method shape (@array: ) is export But in S12 there is no mention as to what an "our" method is. It states that "my" is used to make private methods, and ...
    John M. DlugoszJohn M. Dlugosz
    Apr 2, 2008 at 5:12 am
    Apr 2, 2008 at 4:29 pm
  • I noted Jonathan Worthington's work implementing the "handles" trait for delegation through attributes, and was a bit surprised to see that it is defined (S12/delegation) to use strings instead of ...
    Dave WhippDave Whipp
    Apr 18, 2008 at 6:42 pm
    Apr 18, 2008 at 9:52 pm
  • Is there something for perl analogous to the sort of formal presentation seen in e.g., Robin Milner's "Definition of Standard ML" ? Is there any confluence between things perl and things found in the ...
    Miller, HughMiller, Hugh
    Apr 16, 2008 at 10:53 pm
    Apr 18, 2008 at 6:02 pm
  • The current intent in the Synopses is that using the :: sigil in a declaration makes it a generic type parameter and declares that name there. As a minimal fix to make that work, refine it to say ...
    John M. DlugoszJohn M. Dlugosz
    Apr 18, 2008 at 10:32 am
    Apr 18, 2008 at 12:06 pm
  • :(:who($name), :why($reason)) := (why = $because, who = "me"); What do the symbols $name and $reason refer to? Are they names already in scope? "Alternately, the my declarator can also force ...
    John M. DlugoszJohn M. Dlugosz
    Apr 13, 2008 at 9:00 pm
    Apr 17, 2008 at 5:02 pm
  • Aloha! On behalf of the Parrot team, I'm proud to announce Parrot 0.6.1 "Bird of Paradise." Parrot (http://parrotcode.org/) is a virtual machine aimed at running all dynamic languages. Parrot 0.6.1 ...
    Jerry gayJerry gay
    Apr 15, 2008 at 7:55 pm
    Apr 16, 2008 at 5:52 pm
  • In S02 it is writ, "The key type of a hash may be specified as a shape trait--see S09." However, S09 is rather brief on hashes, and although it shows using a type inside the curlies, it never talks ...
    John M. DlugoszJohn M. Dlugosz
    Apr 15, 2008 at 7:35 am
    Apr 15, 2008 at 8:49 am
  • I don't like the assignments of 'returns' and 'of'. I think it is easily confused. I've written foo (Int $x) returns Int in examples and nobody noticed. As formal documentation, that scans right as ...
    John M. DlugoszJohn M. Dlugosz
    Apr 13, 2008 at 5:28 am
    Apr 13, 2008 at 2:02 pm
  • In S06, it is explained how the parameter list to 'return' is preserved as a Capture. So, what is the role of the inner and outer return types that are declared on the function?
    John M. DlugoszJohn M. Dlugosz
    Apr 13, 2008 at 5:20 am
    Apr 13, 2008 at 1:56 pm
  • Author: larry Date: Tue Apr 29 13:42:15 2008 New Revision: 14540 Modified: doc/trunk/design/syn/S05.pod Log: clarifications to previous change Modified: doc/trunk/design/syn/S05.pod ...
    LarryLarry
    Apr 29, 2008 at 9:06 pm
    Apr 29, 2008 at 9:06 pm
  • Author: larry Date: Tue Apr 29 13:32:24 2008 New Revision: 14539 Modified: doc/trunk/design/syn/S05.pod Log: <foo: ... is now just alternate method call syntax, use <foo: 'text' for strings Modified: ...
    LarryLarry
    Apr 29, 2008 at 8:33 pm
    Apr 29, 2008 at 8:33 pm
  • We're pleased to announce that we've selected Jonathan Worthington as a recipient of a Perl 6 microgrant. Jonathan is one of the top contributors to Rakudo Perl 6 and has been contributing to Parrot ...
    Jesse VincentJesse Vincent
    Apr 29, 2008 at 1:49 pm
    Apr 29, 2008 at 1:49 pm
  • I finished the first draft of a technical description for compositing roles. It runs to 7 pages. Please see §16 in specdoc. -whew!- --John http://www.dlugosz.com/files/specdoc.odt and .pdf
    John M. DlugoszJohn M. Dlugosz
    Apr 22, 2008 at 11:14 am
    Apr 22, 2008 at 11:14 am
Group Navigation
period‹ prev | Apr 2008 | next ›
Group Overview
groupperl6-language @
categoriesperl
discussions68
posts425
users49
websiteperl6.org

49 users for April 2008

John M. Dlugosz: 136 posts TSa: 69 posts Larry Wall: 47 posts Mark J. Reed: 23 posts Brandon S. Allbery KF8NH: 15 posts Audrey Tang: 13 posts Daniel Ruoso: 8 posts Moritz Lenz: 7 posts Jon Lang: 6 posts Patrick R. Michaud: 6 posts Larry: 5 posts Chas. Owens: 5 posts Chromatic: 5 posts Darren Duncan: 5 posts Miller, Hugh: 5 posts Ryan Richter: 5 posts Audreyt: 4 posts Bob Rogers: 4 posts Dave Whipp: 4 posts Ovid: 4 posts
show more
Archives