Beefy Boxes and Bandwidth Generously Provided by pair Networks
Syntactic Confectionery Delight
 
PerlMonks  

Re^4: Reflections on “Higher Order Perl” §1.1

by John M. Dlugosz (Monsignor)
on Jun 10, 2009 at 17:35 UTC ( #770408=note: print w/replies, xml ) Need Help??


in reply to Re^3: Reflections on “Higher Order Perl” §1.1
in thread Reflections on “Higher Order Perl” §1.1

A literal (including integer) is a subset type. That means they should be able to appear in junction types. Either Larry was being overentheusiastic when he said that literals (including ints) and named values (constants and enumerations) "are" subset types, and the parser ran into trouble actually doing that in full generality, or the STD.pm is just not caught up to his latest vision.

—John

  • Comment on Re^4: Reflections on “Higher Order Perl” §1.1

Replies are listed 'Best First'.
Re^5: Reflections on “Higher Order Perl” §1.1
by TimToady (Parson) on Jun 10, 2009 at 19:54 UTC
    That's the theory, but for practical reasons (not giving Jonathan a thundering apoplexy, for instance), parameters are currently restricted to a single constraint in front, and will continue to be restricted until we get more experience with the sorting of multiple dispatch candidates using multiple constraints. See the note in S12, "Multiple constraints".
      So chalk it up as "implementation limitation",
      and beware of any rules concerning multiple constraints as they are subject to change.

      "Single constraint" means not combining junctions and subsets?

      —John

Log In?
Username:
Password:

What's my password?
Create A New User
Domain Nodelet?
Node Status?
node history
Node Type: note [id://770408]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others imbibing at the Monastery: (3)
As of 2021-11-27 23:04 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    No recent polls found

    Notices?