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. از رمز آتباش تا اعتبارسنج ISBN.

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

رمز آتباش

رمز آتباش

پیاده‌سازی‌ای از رمز آتباش، یک سامانه‌ی رمزنگاری باستانی که در خاورمیانه ساخته شد، بسازید.

میکرو وبلاگ

میکرو وبلاگ

با داشتن یک رشته‌ی ورودی، آن را به ۵ نویسه کوتاه کنید.

اعتبارسنج ISBN

اعتبارسنج ISBN

بررسی کنید که آیا رشته‌ی داده‌شده یک شماره‌ی معتبر ISBN-10 است یا نه.

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

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

Idris

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

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

تابعی محض

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

کلاس‌های نوع

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

چندنخی

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

فشرده

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

نوآورانه

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

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

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

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

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

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

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

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

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

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