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?