[Julia] 타입 검사

줄리아는 기본적으로 동적 타입 언어라, 타입에 대한 검사를 제대로 수행하지 않지만.
원하는 경우엔 타입을 명시해서 제약을 가할 수 있다.

타입 명시는 간단하다. 해당 변수명 오른쪽에 :: 달고 타입명 써주면 된다.
함수의 반환타입은 매개변수 괄호 오른쪽에 써주면 된다.

아래 코드는 add 함수의 매개변수와 반환타입을 Int로 제약한 것이다.

그럼 그냥 Int 정수값들을 넘겼을 때는 잘 도는데

다른 타입값을 넘기면

에러를 터뜨린다.

아 그리고 지역변수에 대해서도 타입명시가 가능하다.
마찬가지로 그냥 ::타입만 붙여주면 된다.

참고로, 전역변수에는 타입명시 기능을 사용할 수 없다.
위의 경우엔 지역변수니 가능한 것이다.