Reading the documentation

[Ben Bacarisse]

ram at zedat.fu-berlin.de (Stefan Ram) writes:

>>On Fri, 25 Aug 2017 11:25 am, Ben Bacarisse wrote:
>>With that in mind, "an Integral" is a shorthand for "an Integral value",
>
>   In math, an integral value is called an /integer/.
>   Therefore, in math, it would seem strange to avoid the noun
>   /integer/ using /integral/ as a noun.
>
>   In a programming language with formal types, however,
>   "an integer value" can be something different than 
>   "an Integer value", which in turn can be something 
>   different than "an Integral value".

I think you are agreeing with the text you quote, yes?  (But including
the part you cut that gives meaning to "With that in mind".)  I ask
because I am often not sure if you are making some subtle point I've
missed.

<snip>
-- 
Ben.