[%] dependently typed라는게 뭔 말이냐

[익명(110.70)]

일반적인 타입들이 다른 타입에 의존적으로만 정의될 수 있는 형이상학적 타입시스템이라도 되나 ㅋㅋ

[나니킷(nanikit)]

모든 타입 시스템은 형이상학적이라는 태클을 우선 걸고, 실용주의적 관점에서 보자면 C++의 템플릿 상수를 함수 인자로서 넘겨줄 수 있게 됨. 의존적이라는 건 인자 '값'에 따라 반환 타입이 결정된다는 점. 사실 잘 모름 데헷