[%] 솔직히 정적 언어라면 tagged union은 필수지

[ㅇㄹ(rerereq)]

없으면 보일러 플레이트 오짐

[익명(182.224)]

그게머임?

[ㅇㄹ(rerereq)]

https://fsharpforfunandprofit.com/posts/discriminated-unions/

[다믜(damhiya)]

sum type. 예를 들어서 Int랑 Float 둘중 한가지 값만 가질 수 있는거.

[익명(182.224)]

어렵넹

[ㅇㄹ(rerereq)]

C union을 타입 안전한 문법으로 쓴다고 보면됨

[익명(175.223)]

공용체인데 실제 어떤 타입의 데이터인지 태깅까지 해놓는거임 실제와 다른 타입으로 해석하고 접근할 수 없도록 ㅇㅇ 안전한 섬타입 구현하는 용도로 많이 쓰임

[익명(110.70)]

std::variant?

[ㅇㄹ(rerereq)]

그건 정적으로만 분기되지않음?

[익명(223.62)]

std::any ?

[익명(110.70)]

그걸 유니언으로 구현함? 아닌거같던데

[익명(175.223)]

std::any는 그자체로는 안에 뭐가 들어있을지 전혀 모르고 사용자가 스스로 후보 정해놓고 검사해가며 쓰는건데 완전 다르지