그럼 제네릭도 함수라는것이 되는거지


예를들어 List 라고 하면

타입 * 를 받아서 List[*] 를 리턴하는 함수라고 볼 수 있지

즉 * -> List[*] 함수인거지

그렇다면 고차함수도 있지 않겠어 ㅇㅅㅇ?



*, F -> ( * -> F[*] )인 함수도 있겠지

예를들어 * 가 Int 고 F가 List 면 List[Int] 를 리턴하는 거고

*  가 String 이고 F가 Set 이면 Set[String] 을 리턴하는거지



이게 바로 Higer Kinded Type 이야 줄여서 HKT ㅇㅅㅇ