develooper Front page | perl.perl6.users | Postings from January 2020

Re: stolen uint's

Thread Previous | Thread Next
From:
ToddAndMargo via perl6-users
Date:
January 30, 2020 01:20
Subject:
Re: stolen uint's
Message ID:
18edb861-c22f-e5e7-504e-50d27a878159@zoho.com
On 2020-01-29 10:28, Trey Harris wrote:
> B is not a subset of A. That is the relationship of uint and int—two 
> distinct types whose values happen to overlap in a way that describes a 
> subset. Perl isn’t Prolog; a logical relationship between two types is 
> not a first-class entity of the language.
> 
> 
> 
>     I know, I am slicing the baloney thin here, but uint is
>     not a static C variable. It can change into an int with
>     the position of the moon.
> 
> 
> I’m STILL waiting for you to show me ONE example of a `uint` turning 
> into `int`. Not `Int`, via auto-boxing, `int`, via who-knows-what. 
> Either do that, or stop making the assertion it does that; if you don’t 
> show a reproducible example, I am going to conclude you are lying if you 
> persist.

$ p6 'my uint8 $u; say $u.^name;'
Int

Thread Previous | Thread Next


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