279 reputation
14
bio website
location trapped in an IO monad, send help
age 31
visits member for 2 years, 10 months
seen Mar 27 at 20:08

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
answered Expressing infinite amounts
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
20
awarded  Yearling
Nov
2
awarded  Nice Answer
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
awarded  Editor
Jun
21
revised Where does the term “Monad” come from?
adding a few more details and a link to Barr's anecdote
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
awarded  Supporter
Jun
20
awarded  Teacher
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.
Jun
20
answered Where does the term “Monad” come from?