Idris
Idris
Про IdrisПрактика

Хочемо вивчити й опанувати Idris?

Приєднаймося до треку Idris на Exercism, щоб отримати доступ до 58 вправ з автоматичним аналізом коду та персональним наставництвом, і все це 100% безкоштовно.

Приєднатися до треку 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. Від вправи Город у дитячому садку до вправи Космічний вік.

Удосконалюймо навички програмування завдяки цікавим і корисним вправам, які перевіряють наше розуміння концепцій на Exercism.

Город у дитячому садку

Город у дитячому садку

За поданою схемою визначте, за які рослини відповідає кожна дитина в групі дитячого садка.

Шикування

Шикування

Допоможіть вишикувати покупців у делі Якуба.

Космічний вік

Космічний вік

Дано вік у секундах, обчисліть, скільки років людині за сонячними роками заданої планети.

Переглянути всі вправи Idris на Exercism

Ключові можливості Idris

Idris

Залежні типи

Безпека насамперед! Потужні гарантії правильності програм під час компіляції.

Чисто функціональна

Натхненна лямбда-численням, вона виражає області видимості та цикли через визначення й виклик функцій.

Класи типів

Групування типів у класи дає типобезпечне перевантаження.

Багатопотокова

Незмінність даних уможливлює безпечнішу конкурентність, про яку легше міркувати.

Компактна

Idris пропонує невелику кількість можливостей загального призначення.

Інноваційність

Idris - це дослідницький полігон, що активно розвивається

Наставництво у стилі Idris

У кожної мови свої звичаї. Idris не виняток. Наші наставники допоможуть нам навчитися думати як розробник Idris і писати ідіоматичний код мовою Idris. Коли ми розвʼяжемо вправу, надішлімо її нашій команді волонтерів, і вони дадуть нам підказки, ідеї та відгук про те, як зробити її ближчою до того, що ми зазвичай бачимо мовою Idris, і допоможуть нам відкрити те, чого ми не знаємо, що не знаємо.

Дізнатися більше про наставництво

Вправи Idris від спільноти

Трек Idris на Exercism має 58 вправ, щоб допомогти нам писати кращий код.

Переглянути всі вправи Idris
Idris

Почати з треку Idris

А найкраще те, що це 100% безкоштовно для всіх.

Приєднайтеся до треку Idris