308 reputation
26
bio website
location trapped in an IO monad, send help
age 31
visits member for 3 years, 2 months
seen Jul 9 at 16:47

camccann :: (Coffee a) => [a] -> IO Software

Entia non sunt multiplicanda praeter necessitatem.


Feb
6
comment Expressing infinite amounts
@EdwinAshworth: The former. The concept of an infinitely large prime number doesn't really make sense. Infinite numbers are perfectly reasonable, with many caveats about their mathematical properties. "Number" is an incredibly vague term, mathematically.
Feb
6
comment Expressing infinite amounts
@ruakh: That's as dependent on specific context as it is off-topic for this site. Ignoring the distinction is fine as far as language use goes; I was only quibbling over the importance of the concept. :]
Feb
6
comment Expressing infinite amounts
Note that this is the exact phrasing used on Wikipedia.
Feb
6
comment Expressing infinite amounts
I disagree about "only matters to mathematicians". Countable vs. uncountable is an important distinction with a very clear and tangible meaning: You can start counting "zero, one, two, three..." and continue forever, but with the real numbers you can't even describe most of them and there's no way to list or enumerate them comprehensively at all. (That said, it's not really essential to the question as asked.)
Feb
6
comment Expressing infinite amounts
@EdwinAshworth: Just because there is no finite upper bound for prime numbers doesn't mean there's a prime number which is itself infinitely large. Precision is important when talking about infinities because it's very easy to make a misstep.
Jun
21
comment Where does the term “Monad” come from?
@FumbleFingers: Haha, no! Just familiar enough with the subject matter to be very efficient at digging things up with Google. :]
Jun
21
comment Where does the term “Monad” come from?
If you want ownership of the question back, you might be able to get a moderator to help--I gather that merging unintentional duplicate accounts comes up fairly often. I'm not sure how to go about requesting it, though. But don't worry on my account, knowing I helped is all I need. :]
Jun
20
comment Where does the term “Monad” come from?
For the benefit of anyone seeing this question after the migration, the question is specifically about this term, not other uses of the word.