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

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

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

Csatlakozz a(z) Idris kurzushoz Fedezd fel a feladatokat

Idris bemutatása

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 programozási feladat a(z) Idris kurzushoz az Exercismen. Legnagyobb sorozatszorzat és Hamming 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.

Legnagyobb sorozatszorzat

Legnagyobb sorozatszorzat

Egy számjegyekből álló string esetén számítsd ki a legnagyobb szorzatot egy n hosszúságú, összefüggő számjegysorozatra.

Ellenállás színkódja: trió

Ellenállás színkódja: trió

Alakítsd át az ellenállásokon használt színkódokat ember által olvasható címkévé.

Hamming

Hamming

Számítsd ki két DNS-szál Hamming-távolságát.

Nézd meg az összes Idris feladatot az Exercismen

Idris legfontosabb jellemzői

Idris

Függő típusok

A biztonság az első! Erős garanciák a programok helyességére már fordítási időben.

Tisztán funkcionális

A lambda-kalkulus ihlette: a scope-ok és a ciklusok függvények definiálásával és hívásával fejeződnek ki.

Típusosztályok

A típusok osztályokba sorolása típusbiztos túlterhelést tesz lehetővé.

Többszálú

Mivel az adatok megváltoztathatatlanok, a párhuzamosság biztonságosabb és könnyebben átgondolható.

Kompakt

Az Idris kevés általános célú funkciót kínál.

Innovatív

Az Idris aktívan fejlesztett kutatási tesztkörnyezet

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

Minden nyelvnek megvan a maga módja a dolgok elvégzésére. Idris sem kivétel. Mentoraink segítenek megtanulni úgy gondolkodni, mint egy Idris fejlesztő, és megtanítanak idiomatikus kódot írni Idris 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) Idris 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 Idris feladatok

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

Nézd meg az összes Idris feladatot
Idris

Kezdj bele a(z) Idris kurzusba

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

Csatlakozz a(z) Idris kurzushoz