Raku의 type_parameter_at — 매개변수화에서 특정 타입 인자 꺼내기

타입이 매개변수화(parameterize)될 때, 그 매개변수로 넘겨진 타입 인자들을 하나씩 꺼내 보고 싶을 때가 있어요. Metamodel::Primitives의 type_parameter_at 메서드는 주어진 객체와 인덱스로, 매개변수화에서 특정 하나의 타입 인자를 돌려줘요.

method type_parameter_at(Mu \obj, Int:D \idx --> Mu) is raw

type_parameters 메서드가 List를 만들어 건너뛰는 단계를 생략하고, 결과 객체 obj와 인덱스 idx로 바로 해당 타입 인자를 얻어요. 만약 매개변수화가 수행된 적이 없다면 죽어요(dies).

출처: Raku 공식 문서 — type_parameter_at

본문

obj와 idx를 받아 매개변수화된 목록에서 idx번째 타입 인자를 Mu로, is raw로 돌려줘요.
중간에 List를 만드는 type_parameters 단계를 건너뛰어 효율적이에요.
매개변수화가 한 번도 수행되지 않았으면 예외가 나요.