Newtype과 Refined를 이용한 Strongly Typed Function 작성하기

개요 스칼라에서 중요한 요소를 하나 꼽으라고 한다면 타입(Type Signature)일 것이다. 만약 타입이 맞지 않은 경우 컴파일 오류가 발생한다. 하지만 스칼라라고 하더라도 타입을 잘못 사용하여 약타입 함수를 만들어 오동작을 일으킬수도 있다. 여기서는 스칼라를 통해 작성한 약타입 함수를 살펴보고 컴파일 타임에서 타입을 좀 더 강제할 수 있는 강타입 함수를 만드는 방법을 살펴본다. 약타입 함수 사용자 이름과 이메일을 파라미터를 통해 사용자를 ...