하스켈 - (타입 선언) "a"란 무엇입니까?

Question

이것은 아마도 매우 기본적인 질문 일 뿐이지 만 그럼에도 불구하고 SO에서 다루지 않은 것 같습니다.

는 최근 하스켈을했고 지금까지 선언 구성 입력 주로 다음

Int 
Bool 
Float 
etc, etc 

가 지금은 목록에 무엇입니까 내가 그런 다음 함수와 같이 a를 사용하는 유형 선언을보고 있어요 그 연관 목록을 반복 :

contains :: Int -> [(Int,a)] -> [a] 
contains x list = [values | (key,values)<-list, x==key] 

사람이 a가 무엇인지에 관한 설명을 제공하고, 어떻게 작동 할 수 있습니까? 관측에서 그것은 모든 유형을 나타내는 것으로 보인다. 이것은 어떤 유형의 목록이라도 매개 변수로 입력 할 수 있다는 것을 의미합니까?

Answer 1

예, 그렇습니다. "모든 유형"을 나타냅니다. 지정된 유형 서명의 모든 a이 동일한 유형으로 해결되어야한다는 제한이 있습니다. 따라서 모든 유형의 목록을 입력 할 수 있지만 contains을 사용하여 목록에서 값을 조회 할 때 조회하는 값은 목록의 요소와 동일한 유형이어야합니다. 이는 당연한 것입니다.

Answer 2

하스켈 대문자 소문자 형식 유형 입력 변수가 동안 콘크리트 종류 (Int, Bool) 형 또는 생성자 (Maybe, Either)이다. forall가 template 철자

C++에서

contains :: forall a. Int -> [(Int, a)] -> [a] 

, :

template<typename a> 
list<a> contains(int, list<pair<int, a>>); 

contains :: Int -> [(Int, a)] -> [a] 

이 *에 대한 속기 : 함수는이 그것을 사용하는 모든 형태 변수에서 암시 적으로 일반적이기 때문에,

Java 및 C#에서는 꺾쇠 괄호로 표기됩니다.

list<a> contains<a>(int, list<pair<int, a>>); 

은 물론, 이러한 언어로, 제네릭 형식의 변수는 종종라고 T, U, V, 하스켈에서 그들은 종종 a, b, c라고하는 동안. 국제 대회의 차이점입니다.

*이 구문은 GHC의 -XExplicitForAll 플래그 및 다른 확장자로 활성화됩니다.