كيف تتعلم Idris

• التوثيق الرسمي

هذا الدرس التمهيدي مدخل موجز إلى اللغة، وهو موجَّه إلى قرّاء يعرفون مسبقًا لغة دالية مثل Haskell أو OCaml. وعلى وجه الخصوص، يُفترض أن لديهم قدرًا من الإلمام بصياغة Haskell، وإن كانت معظم المفاهيم ستُشرح بإيجاز على الأقل. ويُفترض أيضًا أن القارئ مهتم إلى حد ما باستخدام الأنواع المعتمدة في كتابة البرمجيات النظامية والتحقق منها.