Learn Lua in Y minutes

moondaddi
이 글은 Lua의 기본적인 문법을 소개하는 페이지를 번역한 글 입니다. Vim을 잘 사용하기 위해 Lua를 공부해보려고 찾은 자료인데, 문법이 의식의 흐름대로 잘 정

리스크립트와 함께 한 1년

moondaddi
CHANGE LOG (2022-01-30) 리스크립트 장점으로 패턴매칭 추가 어쩌다 리스크립트 2020년 8월, 당시에는 리스크립트가 존재하지 않았습니다. OCaml의 새로운 문법인 Reas

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>