phantom type

팬텀타입(Phantom type)이란?

moondaddi
팬텀타입이란? 팬텀타입이란 타입 매개변수가 타입 선언부의 왼쪽에만 존재하는 타입을 말합니다. 코드로 표현해보겠습니다. type t<'a> = string type dog type cat let mike: t<dog> = "Mike" let marla: t<cat>