Idris
Idris
Idris 소개연습

Idris 트랙을 배우고 제대로 익혀 볼까요?

Exercism의 Idris 트랙에 참여해서 58개의 연습 문제와 코드 자동 분석, 그리고 개인 멘토링까지 모두 100% 무료로 이용할 수 있어요.

Idris 트랙 참여하기 연습 문제 살펴보기

Idris 소개

module EvenOdd

data Even : Nat -> Type where
  EZ : Even Z
  ES : Even n -> Even (S (S n))

ee : Even n -> Even m -> Even (n + m)
ee EZ m     = m
ee (ES n) m = ES (ee n m)

Exercism의 Idris 트랙을 위한 58개의 코딩 연습 문제 윤년부터 암스트롱 수까지.

Exercism에서 재미있고 보람찬 코딩 연습 문제로 개념에 대한 이해를 확인하며 프로그래밍 실력을 키워 보세요.

윤년

윤년

주어진 연도가 윤년인지 판별해요.

배수의 합

배수의 합

어떤 수가 주어졌을 때, 특정 수들의 배수 가운데 그 수 미만인 모든 배수의 합을 구해요.

암스트롱 수

암스트롱 수

어떤 수가 암스트롱 수인지 판별해요.

Exercism에서 Idris 연습 문제 모두 보기

Idris의 주요 기능

Idris

의존 타입

안전이 먼저예요! 컴파일 시점에 프로그램의 정확성을 강력하게 보장해요.

순수 함수형

람다 대수에서 영감을 받아, 스코프와 루프를 함수를 정의하고 호출하는 방식으로 표현해요.

타입 클래스

타입을 클래스로 분류하면 타입 안전한 오버로딩을 할 수 있어요.

멀티스레드

데이터가 불변이기 때문에 동시성을 더 안전하고 이해하기 쉽게 다룰 수 있어요.

간결함

Idris는 소수의 범용 기능만 제공해요.

혁신적

Idris는 활발하게 개발되고 있는 연구용 테스트베드예요.

Idris 방식으로 멘토링 받기

모든 언어에는 저마다의 방식이 있어요. Idris도 마찬가지예요. 멘토가 Idris 개발자처럼 생각하는 법과 Idris다운 코드를 작성하는 법을 익히도록 도와줘요. 연습 문제를 하나 풀면 자원봉사 팀에 제출해 보세요. 그러면 힌트와 아이디어, 그리고 Idris에서 흔히 볼 수 있는 코드에 더 가깝게 다듬는 방법에 대한 피드백을 받을 수 있어요. 스스로는 알지 못한다는 사실조차 몰랐던 것들을 발견하도록 도와주는 거예요.

멘토링에 대해 더 알아보기

커뮤니티가 함께 만든 Idris 연습 문제

Exercism의 Idris 트랙에는 더 나은 코드를 작성하는 데 도움이 되는 58개의 연습 문제가 있어요.

Idris 연습 문제 모두 보기
Idris

Idris 트랙 시작하기

가장 좋은 점은, 누구에게나 100% 무료라는 거예요.

Idris 트랙 참여하기