Software Alternatives & Reviews

Elixir VS Idris

Compare Elixir VS Idris and see what are their differences

Elixir logo Elixir

Dynamic, functional language designed for building scalable and maintainable applications

Idris logo Idris

Programming, Programming Language, Learning Resources, Languages, and Frontend Development
  • Elixir Landing page
    Landing page //
    2022-07-20

We recommend LibHunt Elixir for discovery and comparisons of trending Elixir projects.

  • Idris Landing page
    Landing page //
    2021-10-05

Elixir videos

Product Review: Elixir - Finally, something good?

More videos:

  • Review - REVIEW SENAR GITAR AKUSTIK TERMAHAL (ELIXIR NANOWEB PHOSPOR BRONZE) ORIGINAL
  • Review - As Seen on IG | Episode 1 | KO Elixir Cream | One Month Update | Product Review

Idris videos

FLYING THE IDRIS: REVIEW & FIRST IMPRESSIONS [STAR CITIZEN]

More videos:

  • Review - Star Citizen: Idris Overview - This ship is Idris-iculous
  • Review - Star Citizen: Idris First in Game Look!

Category Popularity

0-100% (relative to Elixir and Idris)
Programming Language
92 92%
8% 8
OOP
92 92%
8% 8
Generic Programming Language
Programming
100 100%
0% 0

User comments

Share your experience with using Elixir and Idris. For example, how are they different and which one is better?
Log in or Post with

Reviews

These are some of the external sources and on-site user reviews we've used to compare Elixir and Idris

Elixir Reviews

Top 10 Rust Alternatives
Elixir is a functional and all-purpose programming language. It is believed to operate on BEAM and uses the imposition of a programming language known as Erlang. This language is typed dynamically and strongly.

Idris Reviews

We have no reviews of Idris yet.
Be the first one to post

Social recommendations and mentions

Based on our record, Elixir seems to be a lot more popular than Idris. While we know about 74 links to Elixir, we've tracked only 1 mention of Idris. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.

Elixir mentions (74)

  • Install mutiple Erlang and Elixir with vfox
    If you've been using asdf to manage and maintain multiple versions of Erlang and Elixir, then vfox is also a good choice for you. - Source: dev.to / 10 days ago
  • Perfect Elixir: Environment Setup
    I’m on MacOS and erlang.org, elixir-lang.org, and postgresql.org all suggest installation via Homebrew, which is a very popular package manager for MacOS. - Source: dev.to / about 2 months ago
  • Reliability in Legacy Software
    But regardless of their reasons, they'll note that the service is easily meeting its SLOs. It was written in a highly performant, if idiosyncratic language, and uses patterns which give it a high level of resilience and the ability to recover from many situations automatically. The service is steady as a rock, and left to its own devices will more or less chug along indefinitely once deployed. - Source: dev.to / about 2 months ago
  • Meet entr, the standalone file watcher
    As you might have guessed, one of the main use cases for entr is to rerun tests whenever files change. I'm an Elixir engineer, and I use entr to run mix test continuously whenever I save an Elixir file. - Source: dev.to / 6 months ago
  • Good Bye CRUD APIs, Hello Sync: Realtime PostgreSQL with ElectricSQL
    The diagram demonstrates the communication pathway between the browser and the Postgres database through the Electric service. Essentially, Electric Sync Service, an Elixir application, orchestrates active-active data replication between the user's local DB and Postgres. - Source: dev.to / 6 months ago
View more

Idris mentions (1)

  • What's the current status with packages/libraries on Idris?
    So apparently there's a package manager called Inigo, but there are only a few packages in it. There's an idris-hackers group on github, that's linked from the idris-lang.org page. None of those libraries appear in Inigo though. So seems that Inigo isn't really a thing people are using. Source: over 2 years ago

What are some alternatives?

When comparing Elixir and Idris, you can also consider the following products

Rust - A safe, concurrent, practical language

Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.

Clojure - Clojure is a dynamic, general-purpose programming language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming.

Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...

Python - Python is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.

NIM - GB64.COM is the home of The Gamebase Collection of C64 games.