Idris 학습 방법

Idris를 처음부터 시작하는 방법을 한눈에 살펴봐요

이 튜토리얼은 이 언어를 간단히 소개하기 위한 것이고, Haskell이나 OCaml 같은 함수형 언어에 이미 익숙한 독자를 대상으로 해요. 특히, Haskell 문법에 어느 정도 익숙하다고 가정하지만, 대부분의 개념은 적어도 간단히 설명해 줄 거예요. 또한 독자가 시스템 소프트웨어를 작성하고 검증하기 위해 의존 타입을 사용하는 데 어느 정도 관심이 있다고 가정해요.