Телеграмм чат группы fp

16:52пожаловаться #1

а множественное наследование — это объединение?

16:52пожаловаться #2

хотя нет, это тоже пересечение

16:53пожаловаться #3

там может быть один класс и n интерфейсов

16:53пожаловаться #4

https://docs.oracle.com/javase/tutorial/java/generics/bounded.html

Oracle

Bounded Type Parameters (The Java™ Tutorials >
Learning the Java Language > Generics (Updated))

This beginner Java tutorial describes fundamentals of programming in the Java programming language

16:53пожаловаться #5

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП

похоже...
А насчёт общего предка - как и в любом пересечении - имеет смысл, если пересечение не пустое множество

16:53пожаловаться #6

в Яве оно всегда непустое, как минимум Object есть, как я понимаю

16:54пожаловаться #7

нет, в жаве примитивы отдельно

16:55пожаловаться #8

вот в скале всё в одну иерархию загнали

16:55пожаловаться #9

юнионов в жаве нет, ага

16:55пожаловаться #10

а пересечение можно применить к примитивам и получить пустоту?

16:56пожаловаться #11

думаю нет

16:56пожаловаться #12

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП

без примитивов? о_О
(не знаю ни джаву ни скалу)

16:56пожаловаться #13

поскольку они вне объектной иерархии, синтаксис наследования к ним неприменим

16:57пожаловаться #14

ну они всё равно в примитивы компилируются

16:58пожаловаться #15

значит, если пересечение применимо, если результат есть, то он непустой, я это имел в виду

16:58пожаловаться #16

но только после оптимизации, как в Хаскеле?

16:59пожаловаться #17

потому что передача по ссылке нужна для полиморфизма

17:00пожаловаться #18

ну там да, определенные пляски нужны для анбоксинга как правило

17:04пожаловаться #19

в целом можно сказать что типы по карри более "множество-подобны", а типы по чёрчу более независимы как логическая система