On Mon, 19 Feb 2018 09:40:09 +0100, Alain Ketterlin wrote:
> Tim Delaney <timothy.c.dela...@gmail.com> writes:
>
> [...]
>> As others have said, typing is about how the underlying memory is
>> treated.
>
> No. It is much more than that. Typing is about everything you can say
> about a given statement.
"Everything"? Truly *everything*?
Given:
# engage the type system somehow...
# declare a, b, c: non-negative integers
a = abs(int(input("Give me an integer")))
b = a*a
c = (a+1)*(a+1)
can you give me an example of a type-system which is capable of telling
me that:
if (c - b) % 2 == 1:
print("hello world")
else:
fire_missiles()
will never fire the missiles?
I'd be impressed enough with a type system that knew that a%2 was always
0 or 1, although I suppose there could be some that already know that.
Hell, I'd even be impressed if it could tell that c was not zero...
--
Steve
--
https://mail.python.org/mailman/listinfo/python-list
