develooper Front page | perl.perl5.porters | Postings from August 2023

Re: PPC Elevator Pitch for Perl::Types

From:
Oodler 577 via perl5-porters
Date:
August 23, 2023 01:41
Subject:
Re: PPC Elevator Pitch for Perl::Types
Message ID:
ZOVjsqYREVc9XrK9@odin.sdf-eu.org
* Corwin Brust <corwin@bru.st> [2023-08-22 19:51:42 -0500]:

> On Tue, Aug 22, 2023 at 5:34?PM Oodler 577 via perl5-porters
> <perl5-porters@perl.org> wrote:
> >
> > Nobody actually knows what Oshun is proposing yet, even at this year's
> > TPFC, Curtis was still admittedly in the design phase. This is also indicated
> > by the nature of the discussion. I am not sure a specification even exists.
> >
> 
> Pardon me for asking, but are you calling Curtis a liar?
> Otherwise, I must assume you are behind on your emails as I was able to find,
> only slightly upthread, where Curtis says:

Not here, no. How is that.

I called him a liar in another thread, but about his characterization
of Perl::Types implying it was vaporware. We've discussed this.

Oshun is clearly in flux, have you seen Curtis' keynote? He says
as much.  Maybe not in those words, but it's almost entirely
speculative.

Here's the part of the talk that Curtis presented as a budding
thought, and which made it clear to Will (and I) that Perl::Types
needed to be brought up now. Not later. Will and I were both sitting
in the room watching the talk. You will hear at some point in the
video, Will is commenting to Curtis that Perl already has a type
system. That type system is not Perl::Types, but Perl::Types takes
advantage of the existing "types" system. Therefore it's a hugely
missed opportunity to ignore that it exists. And it is real.

  https://youtu.be/uT0S-jfO1mE?feature=shared&t=2002

It's a good talk, I suggest you watch the full thing. 

> 
> > We offer:
> > [...]
> > A full, draft spec which needs to be updated when we agree on syntax
> 
> After a brief conversation with a web-search tool about "perl Oshun
> specification", I was quickly reading:
> 
>   https://github.com/Perl-Apollo/oshun/blob/main/lib/Data/Checks/Specification.pod
> 
> What sort of research did you do before making the above statement?

I follow the conversations on their Github discussion forum.

Had not seen the "spec". But even if I had, it just confirms what
I was saying. This is not knock against the project, it's in a very
early phase.  That's why Perl::Types is getting brought up now.
The Oshun spec, says:

    =head1 STATUS
    
    This is very early alpha code, designed to prototype an idea that might one
    day be a core feature of Perl.
    
    Every aspect of this module is subject to sudden and radical change,
    from the check syntax itself, to the names of the various checks,
    to their essential behaviours, features, and limitations.
    
    B<DO I<NOT> USE THIS MODULE IN PRODUCTION CODE.>

> 
> I ask because you have recently reminded us of our responsibilities
> toward quality of discourse, here on p5p.

Thank you for pointing out Curtis shared the link.

Cheers,
Brett

> 
> > FWIW, I found this module linked on the Wikipedia page for DsC, which is from
> 
> Thanks.
> 

-- 
--
oodler@cpan.org
oodler577@sdf-eu.org
SDF-EU Public Access UNIX System - http://sdfeu.org
irc.perl.org #openmp #pdl #native



nntp.perl.org: Perl Programming lists via nntp and http.
Comments to Ask Bjørn Hansen at ask@perl.org | Group listing | About