http://qs321.pair.com?node_id=770408


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