내가 만들고 싶은게 타입맵? 같은건데 그니까A | B | C 같은 유니온 타입과 어떤 제네릭 타입 Generic에 대해서 매핑시켜주는 상위 타입을 만들고 싶어요즉 Mapping(A|B|C,Generic) = Generic(A) | Generic(B) | Generic(C) 이렇게 리턴되게 가능할까요,- dc official App
아니 병신 디씨앱 브라켓 다 잘리네 - dc App
Record 같은거 말하는건가?
비슷하긴한데 다시 유니온 타입으로 리턴되게끔? - dc App
안됨
구조적 타이핑이니까 G(A) | G(B) | G(C) 이건 G(A | B | C)로 봐도 문제 안될거임
생각해보니까 이것도 안되는 케이스가 잇음 - dc App
저렇게 타입 컨스트럭트를 받아서 적용해주는건 언어에 HKT가 없어서 못함
MappingGeneric(A | B | C) 이건 되고 Mapping(A | B | C, Generic) 이건 안되고
님이 필요한거에서 일반화 몇개 포기하고 손으로 직접 적으면 못할건 아님