Idris
Idris
درباره‌ی Idrisتمرین

می‌خواهید Idris را یاد بگیرید و در آن استاد شوید؟

به مسیر Idris در Exercism بپیوندید تا از این موارد بهره‌مند شوید: 58 تمرین همراه با تحلیل خودکار کد شما و مربی‌گری شخصی، همه ۱۰۰٪ رایگان.

به مسیر 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)

58 تمرین برنامه‌نویسی برای Idris در Exercism. از دانه تا دارت.

با تمرین‌های برنامه‌نویسی سرگرم‌کننده و پاداش‌دهنده‌ای که درک شما از مفاهیم را در Exercism می‌سنجند، در برنامه‌نویسی بهتر شوید.

دانه

دانه

تعداد دانه‌های گندم روی صفحه‌ی شطرنج را محاسبه کنید، با این فرض که تعداد دانه‌ها در هر خانه دو برابر می‌شود.

کتاب‌فروشی

کتاب‌فروشی

برای تشویق فروش بیشتر کتاب‌های مختلف از یک مجموعه‌ی محبوب ۵ جلدی، یک کتاب‌فروشی تصمیم گرفته است برای خرید چند کتاب به‌طور همزمان تخفیف ارائه دهد.

دارت

دارت

امتیازهای به دست آمده در یک پرتاب بازی دارت را محاسبه کنید.

همه‌ی تمرین‌های Idris را در Exercism ببینید

ویژگی‌های کلیدی مسیر Idris

Idris

دارای نوع‌های وابسته

اول ایمنی! تضمین‌های قوی درباره‌ی درستی برنامه‌ها در زمان کامپایل.

تابعی محض

با الهام از حساب لامبدا، دامنه‌ها و حلقه‌ها با تعریف کردن و فراخوانی کردن توابع بیان می‌شوند.

کلاس‌های نوع

دسته‌بندی نوع‌ها در قالب کلاس‌ها، سربارگذاری ایمن از نظر نوع را فراهم می‌کند.

چندنخی

تغییرناپذیر بودن داده‌ها، همروندی‌ای ایمن‌تر و آسان‌تر برای استدلال را ممکن می‌کند.

فشرده

Idris تعداد کمی ویژگی همه‌کاره ارائه می‌دهد.

نوآورانه

Idris یک بستر آزمایش تحقیقاتی است که فعالانه توسعه می‌یابد

به سبک Idris منتور بگیرید

هر زبانی روش خودش را برای انجام کارها دارد. Idris هم از این قاعده مستثنا نیست. منتورهای ما به شما کمک می‌کنند مثل یک برنامه‌نویس Idris فکر کنید و کد را به سبک اصیل Idris بنویسید. بعد از اینکه تمرینی را حل کردید، آن را برای تیم داوطلبان ما ارسال کنید تا نکته‌ها، ایده‌ها و بازخوردی درباره‌ی این که چطور آن را به آنچه معمولاً در Idris می‌بینید نزدیک‌تر کنید به شما بدهند؛ آن‌ها کمک می‌کنند چیزهایی را کشف کنید که نمی‌دانید که نمی‌دانید.

درباره‌ی منتورینگ بیشتر بدانید

تمرین‌های Idris برگرفته از جامعه‌ی کاربران

مسیر Idris در Exercism شامل 58 تمرین است تا به شما کمک کند کد بهتری بنویسید.

همه‌ی تمرین‌های Idris را ببینید
Idris

با مسیر Idris شروع کنید

از همه بهتر، برای همه ۱۰۰٪ رایگان است.

به مسیر Idris بپیوندید