a simple but fundamental question

[juan_gandhi]

What's the difference between Sets.<String>EMPTY and Sets.<Integer>EMPTY?

Comments

[taganay.livejournal.com]

На этот вопрос отвечает старый анекдот:

- "Почему в вашем магазине нет мяса?" - возмущается покупатель.
- "Это неправда! Мяса нет в магазине напротив! А в нашем нет рыбы" - отвечает продавец.

[yatur.livejournal.com]

Я уже хотел написать про рыбу и мясо, полез в комменты, а там уже все есть. Круто

[deni-ok.livejournal.com]

А что понимается под "difference"?

Синтаксическая разница видна любому, а семантическая требует договоренности о семантике, так ведь?

Prelude> let empty1 = []
Prelude> :type empty1
empty1 :: [a]
Prelude> let empty2 = tail [42]
Prelude> :type empty2
empty2 :: [Integer]
Prelude> let empty3 = tail "x"
Prelude> :t empty3
empty3 :: [Char]

[ivan-gandhi.livejournal.com]

А это не множество. Это список. Другая семантика.

[sorhed.livejournal.com]

Я, конечно, не настоящий сварщик. Но ведь в том числе для этого в теории множеств есть классы?

[ivan-gandhi.livejournal.com]

Вот это для меня как-то ново, что классы в теории множеств для этого, а не для того, чтобы избавиться от парадокса Рассела.

[alexey-rom.livejournal.com]

http://math.breckes.org/2009/03/the-two-meanings-of-the-word-%E2%80%9Cset%E2%80%9D-in-mathematics/ может быть интересно.