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

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

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

به مسیر Lean بپیوندید کاوش در تمرین‌ها

درباره‌ی Lean

namespace HelloWorld

inductive World where
    | earth | mars

def hello (world : World) : String :=
    match world with
    | .earth => "Hello, Earth!"
    | .mars  => "Hi, Mars!"

end HelloWorld

100 تمرین برنامه‌نویسی برای Lean در Exercism. از رمز افاین تا Hamming.

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

رمز افاین

رمز افاین

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

آناگرام

آناگرام

واژه‌هایی را پیدا کنید که از همان حروف یک واژه‌ی دیگر ساخته شده‌اند.

Hamming

Hamming

فاصله‌ی همینگ بین دو رشته‌ی DNA را محاسبه کنید.

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

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

Lean

تابعی محض

توابع قطعی، کد را قابل پیش‌بینی، قابل ترکیب و آسان‌تر برای فهمیدن می‌کنند.

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

رمزگذاری قواعد به‌صورت مستقیم در نوع‌ها باعث می‌شود نوع‌ها خودمستند شوند و حالت‌های نامعتبر غیرقابل‌نمایش باشند.

برنامه‌ها و اثبات‌ها

در همان زبان برنامه بنویسید و درستی آن‌ها را اثبات کنید. مشخصات، خودِ کد است.

درستی اثبات‌شده

از تست فراتر بروید و ویژگی‌های حیاتی کدتان را به‌صورت ریاضی اثبات کنید.

کلاس‌های نوع

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

فرابرنامه‌نویسی قوی

یک framework قدرتمند از ماکرو و بسط‌دهنده به شما این امکان را می‌دهد که زبان را متناسب با حوزه‌ی خودتان گسترش دهید.

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

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

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

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

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

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

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

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

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