더 읽을거리

더 읽을거리 (Further Reading)

Idris 프로그래밍과 일반적인 의존 타입 프로그래밍에 대한 추가 정보는 다양한 출처에서 얻을 수 있어요:

• Idris 웹사이트 (https://www.idris-lang.org/) 와 메일링 리스트에 질문하기.

• webchat.freenode.net 의 IRC 채널 #idris.

• 위키 (https://github.com/idris-lang/Idris-dev/wiki/) 에는 사용자가 제공한 추가 정보가 있음. 특히:

  • https://github.com/idris-lang/Idris-dev/wiki/Manual

  • https://github.com/idris-lang/Idris-dev/wiki/Language-Features

• 프렐류드(prelude)를 살펴보고 배포판의 samples을 탐색해보기. Idris 소스는 온라인에서 https://github.com/idris-lang/Idris-dev 에서 찾을 수 있음.

• Idris Hackers 웹 공간의 기존 프로젝트: https://idris-hackers.github.io.

• 다양한 논문 (예: [1], [2], [3]). 대부분이 더 오래된 Idris 버전을 기술하지만.

[1]

Edwin Brady and Kevin Hammond. 2012. Resource-Safe systems programming with embedded domain specific languages. In Proceedings of the 14th international conference on Practical Aspects of Declarative Languages (PADL'12), Claudio Russo and Neng-Fa Zhou (Eds.). Springer-Verlag, Berlin, Heidelberg, 242-257. DOI=10.1007/978-3-642-27694-1_18 https://dx.doi.org/10.1007/978-3-642-27694-1_18

[2]

Edwin C. Brady. 2011. IDRIS —: systems programming meets full dependent types. In Proceedings of the 5th ACM workshop on Programming languages meets program verification (PLPV '11). ACM, New York, NY, USA, 43-54. DOI=10.1145/1929529.1929536 https://doi.acm.org/10.1145/1929529.1929536

[3]

Edwin C. Brady and Kevin Hammond. 2010. Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. In Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (ICFP '10). ACM, New York, NY, USA, 297-308. DOI=10.1145/1863543.1863587 https://doi.acm.org/10.1145/1863543.1863587

출처: 문서