2012-08-08 1 views
1

함수를 최상위 객체로 취급 할뿐만 아니라 입력 수와 유형을 읽을 수있는 정적 유형 언어를 찾고 있습니다. 뿐만 아니라 출력의 개수 및 유형을 포함 할 수 있습니다.함수에 대한 많은 양의 정보를 객체로 제공 할 수있는 언어를 찾고 있습니다.

필자는 원숭이가 Function1 특성에 패치를 적용하면 이것이 스칼라에서 가능할 수 있다고 생각하지만 꽤 우아합니다.

+0

이러한 종류의 기능을 "반영"이라고하며 일반적으로 Ruby와 같은 동적 유형의 언어로 사용할 수 있습니다. – comingstorm

답변

0

지금까지 내가 믿는 언어이가 할 수 있습니다.

1

정적 유형 언어에서 해당 정보는 기능 유형에 있습니다. 코드가 typechecks 경우 모든 정보가 올바르게 일치하기 때문입니다.

해당 정보는 일반적으로 명시적인 형식이나 런타임에 사용할 수 없지만 일반적으로 유용하지 않으므로 (사실은 Parametricity을 위반 함) 사실입니다. 정보를 원하는 내용을 알지 못하면 더 많은 조언을 제공하기가 어렵습니다.

자바 스크립트, 루비와 C# :

+0

조금 개념적으로, 기본적으로 각 노드가 보유하고있는 정보의 유형을 알고 각 에지가 임의의 함수 인 그래프를 만듭니다. 사용할 수있는 함수를 지정하고 입력 노드와 출력 노드 및 몇 가지 예제를 사용하면 ML과 유사하지만 A *를 사용할 수 있어야합니다. – placeybordeaux

+0

"ML"은 기계 학습, ML 프로그래밍 언어 또는 다른 것을 의미합니까? –

+0

기계 학습. – placeybordeaux

관련 문제