IRC channel logs

2024-05-14.log

back to list of logs

<flatwhatson>technically bigints aren't required for scheme, at least not r7rs, the requirement is that integers must store the largest allowable storage size (eg. max string/vector length)
<flatwhatson>r6rs, however, requires bignums. this is one of the large/small scheme disagreements
<Noisytoot>Real bignums are impossible since memory is finite
<Noisytoot>There has to be a limit
<flatwhatson>R6RS says "implementations must support exact integer objects and exact rational number objects of practically unlimited size and precision"
<bremner>"practically" there saves us from having to discuss infinity :)
<dpk>true bignums have never been tried
<cwebber>a bignum so big, storing the number itself requires all resources in the universe
<dthompson>bignums all the way down