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 Exercism-ön. Listaműveletek és Pitagoraszi számhármas között.

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

Listaműveletek

Listaműveletek

Valósítsd meg a lista alapvető műveleteit.

Háromszög

Háromszög

Állapítsd meg, hogy egy háromszög egyenlő oldalú, egyenlő szárú vagy különböző oldalú-e.

Pitagoraszi számhármas

Pitagoraszi számhármas

Adott egy N egész szám, keresd meg az összes pitagoraszi számhármast, amelyre a + b + c = N.

Nézd meg az összes Idris feladatot az Exercism-ön

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 Exercism-ön 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