Lean
Lean
A(z) Lean bemutatásaGyakorlás

Szeretnéd megtanulni és elsajátítani a(z) Lean kurzust?

Csatlakozz az Exercism Lean kurzusához, ahol hozzáférhetsz 100 feladathoz a kódod automatikus elemzéséhez és személyes mentoráláshoz, ráadásul mindez 100%-ban ingyenes.

Csatlakozz a(z) Lean kurzushoz Fedezd fel a feladatokat

Lean bemutatása

namespace HelloWorld

inductive World where
    | earth | mars

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

end HelloWorld

100 programozási feladat a(z) Lean kurzushoz az Exercismen. Akasztófa és Mozaikszó között.

Fejleszd programozási tudásodat szórakoztató, jutalmazó programozási feladatokkal, amelyek az Exercismen próbára teszik a fogalmak megértését.

Akasztófa

Akasztófa

Valósítsd meg az akasztófa játék logikáját funkcionális reaktív programozással.

Affin-rejtjel

Affin-rejtjel

Készítsd el az affin rejtjel implementációját, amely egy ősi titkosítási algoritmus a Közel-Keletről.

Mozaikszó

Mozaikszó

Alakítsd át egy hosszú kifejezést betűszóvá.

Nézd meg az összes Lean feladatot az Exercismen

Lean legfontosabb jellemzői

Lean

Tisztán funkcionális

A determinisztikus függvények kiszámíthatóvá, összeépíthetővé és könnyebben érthetővé teszik a kódot.

Függő típusok

Ha a szabályokat közvetlenül a típusokba kódolod, azok önmagukat dokumentálják, és az érvénytelen állapotok ábrázolhatatlanná válnak.

Programok és bizonyítások

Írj programokat, és bizonyítsd a helyességüket ugyanabban a nyelvben. A specifikáció maga a kód.

Bizonyított helyesség

Lépj túl a tesztelésen: matematikailag bizonyítsd a kódod kritikus tulajdonságait.

Típusosztályok

Ha a típusokat osztályokba sorolod, könnyűsúlyú, bővíthető absztrakciót kapsz.

Erős metaprogramozás

A hatékony makró- és elaborátorkeretrendszer segítségével a nyelvet a saját területedhez alakíthatod.

Mentorálás a(z) Lean módján

Minden nyelvnek megvan a maga módja a dolgok elvégzésére. Lean sem kivétel. Mentoraink segítenek megtanulni úgy gondolkodni, mint egy Lean fejlesztő, és megtanítanak idiomatikus kódot írni Lean nyelven. Ha megoldottál egy feladatot, küldd be önkéntes csapatunknak, ők pedig tippeket, ötleteket és visszajelzést adnak arról, hogyan teheted még inkább olyanná, amit általában a(z) Lean nyelven látsz - segítenek felfedezni azokat a dolgokat, amelyekről nem tudod, hogy nem tudod.

Tudj meg többet a mentorálásról

Közösség által írt Lean feladatok

A(z) Lean kurzus az Exercismen 100 feladatból áll, amelyek segítenek jobb kódot írni.

Nézd meg az összes Lean feladatot
Lean

Kezdj bele a(z) Lean kurzusba

A legjobb rész: mindenkinek 100%-ban ingyenes.

Csatlakozz a(z) Lean kurzushoz