fumico A script language allows you to do functional minecraft coding. 철학 언어 불변 데이터 구조만 표준 라이브러리 기능은 풍부하되, 모듈은 작게 모든 것은 합성 가능하게 대충 필요한 거 같은 기능들 do notation monad ufcs 결정된 것 함수는 모두 단인자 함수이다. 예외란 없다 타입 시스템은 힌들리-밀너를 바탕으로 나중으로 미룬 거 pattern matching semantic validation type system hindley-milner type system HKT and GADT?
