Home My space log
Language EN (English)

Idris

Advanced astronaut Difficulty 5/5 Resource list Stop 77 / 94 ages teen+

General purpose pure functional programming language with dependent types influenced by Haskell and ML.

Start the guide

Your guide

AI-written overview

What is it?

Idris is in our Programming Languages group, a long list of resources for learning particular programming languages. We only know each item's title, short description and level from our list.

Is it for me?

It is for anyone ready to learn a language. Most items are Intermediate, so some coding experience helps. The Beginner items are the best start, and it suits about age teen+ and up.

Grown-ups: you may need to help install software. Please check the site first.

How to start

  1. Pick a language you have heard of or are curious about.
  2. Open the original site with a grown-up and read the first page.
  3. Type in one tiny example and see what it does.

How much time?

Plan about 80 minutes at a time over about 9 sessions. (estimate)

80 min per session 9 sessions estimate

A plan you can follow

  1. Day 1 30 min Read the first page and run one tiny example.
  2. Week 1 45 min Work through the first few lessons.
  3. Week 2 60 min Write a very short program of your own.
  4. Week 3 60 min Fix one bug and show someone.

Times are estimates. Go at your own speed.

Go to the learning site

You are about to leave our site to visit Idris on another website. We don't control that site. Ask a grown-up before you go. Check the original for details. This site may not be in your language. Your browser can translate the page: look for the translate button near the address bar, or ask a grown-up to help.

You are leaving our site

Grown-ups: this link goes to a site we do not control and have not reviewed beyond its listing. Please look at it first.

Go to the learning site (opens the original site in a new tab)

https://github.com/joaomilho/awesome-idris#readme

On another site. From the list: sindresorhus/awesome · License: CC0-1.0 · Programming Languages

How to learn from a GitHub project or list

Your path through More languages

Stop 75 Haskell Resource list Stop 76 How OpenGL works: software rendering in 500 lines of code Build project Stop 77 Idris Resource list Stop 78 Jonesforth Build project Stop 79 Julia Resource list Stop 80 Make your own Game Engine Build project Stop 81 Observables Resource list

Explore next