[%] Java 이새끼들은 합 타입도 없음

[익명(121.166)]

type Fruit = Apple | Banana

이런 것도 안 돼서 sealed interface니 permit이니 개지랄을 하는데

그마저도 대부분 Java 8 써서 알아도 쓸 수 가 없다는 게 레전드임 ㅋㅋㅋㅋ

[익명(121.166)]

추가로 API 이야기 할 때 합 타입을 모르니 말이 안 통함 ㅋㅋㅋㅋ

[익명(211.186)]

rust도 없는디

[익명(121.129)]

Union있음

[익명(110.8)]

챗지피티한테 물어보니 러스트는 enum으로 묶어서 쓰는게 정석 - dc App

[익명(220.94)]

c union이랑 똑같은거 웬만하면 쓸 일 없잖아

[익명(1.240)]

rust는 새끼야 adt가있는데 무슨 합타입이 없니 하고있냐 - dc App

[익명(121.124)]

님 List<X> = List<String> | List<Int> 라면 X는 어떤 타입으로 추론해야할거 같으세요?

[익명(121.124)]

그리고 그 추론 알고리즘은 NP-Hard 문제인건 알까요?

[익명(1.240)]

ㄴ이상 unification 조또모르는 자바충 - dc App

[익명(1.240)]

그리고 보통의 함수형언어에서 그 상황이면 X는 문법상 파라미터지 추론 대상도 아닐뿐더러 phantom type이라 의미도 없고 inhabited도 아님ㅋㅋ 진짜 뭔소리를 하고싶은지 하나도 모르겠다 자능아 수준ㅋㅋ - dc App

[익명(118.41)]

sum 타입 얘기를 하고 싶었으면 러스트 enum을 가져와야지 ts union을 가져오냐

[익명(220.94)]

sealed class는 완전 다른얘긴데

[익명(118.235)]

패턴매칭에서 exhausting match같이는 쓸 수 있음

[익명(121.147)]

아닌데? 자바가 다 맞는건데?

[익명(118.235)]

자바도 union 있는데? - dc App

[익명(118.235)]

intersection도 있고 - dc App

[월클재(218.155)]

???: 타입을 왜 쓰노 "Map" 쓰면 되는 거 아니노