리스크립트와 함께 한 1년

moondaddi
어쩌다 리스크립트 2020년 8월, 당시에는 리스크립트가 존재하지 않았습니다. OCaml의 새로운 문법인 ReasonML(이하 Reason)과 Rea

GADT(Generalized Algebraic Data Type) 입문

moondaddi
일러두기 이 글은 GADTs: Primer (원문) 의 번역입니다. 원문과 같이 본문에는 ReasonML을 그대로 유지했지만, 코드 예제는 일부를 제외하고 최대한 리스크립트 문법으

팬텀타입(Phantom type)이란?

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