Add to Chrome
Add to Edge
Add to Firefox
Add to Opera
Add to Brave
Add to SafariWhen comparing Idris vs V, the Slant community recommends V for most people. In the question“What are the best general-purpose programming languages?” V is ranked 1st while Idris is ranked 15th. The most important reason people chose V is:
V is easier than C and fast like C.
Specs
Question Ranking
Pros
Pro Full dependent types
Idris not only has support for type classes, but is a fully dependently typed language, giving you the full power to statically verify your code.
Pro Domain driven design and type driven development
Because of full dependent types in Idris, the programmer can focus more on modelling the domain with types and waste less time fixing common bugs that the type checker will catch. Dependent types help apply type driven development and a lot of code auto generation, making the compiler and type checker an ally in developing working software instead of just getting in the way.
Pro Fast like C
V is easier than C and fast like C.
Pro C Interop
Can import C libraries, structs, and headers.
Pro Cross-platform
Compile to many OSes.
Pro Simplicity
V is simple and powerful.
Pro Can create multi-OS GUIs
Multi-OS GUI creation is more integrated into the language than others.
Pro Clear syntax
Highly understandable language.
Pro Sum types
V has Sum Types.
Pro Generics
V has generics.
Pro Closures
V has closures, which gives the user additional options and usefulness.
Pro Safety
V is very safe.
Pro Single paradigm
Follows the philosophy that there should be only one way to do something, as opposed to multi-paradigm languages like C++.
Pro Supports concurrency and channels
Can run functions concurrently that communicate over channels.
Pro Fast compile times
Compiles programs fast, less waiting around, so more productive and fun.
Pro Friendly and helpful community
Just check the V Discord channel or their GitHub Discussions and you will see by yourself.
Pro Inline assembly
Can add Assembly code.
Cons
Con Not widely used
Con Not widely used
Con Weaker type inference
As type inference is undecidable for dependently-typed languages, Idris cannot offer the full type inference that Haskell supports, and so more type annotations will be needed.
Con Different semantics from Haskell
Idris, while similar to Haskell, has strict semantics, which may cause some confusion if your backend is done in Haskell. If using Idris, it would make sense to do the backend in Idris as well, if not for the fact that Idris currently has fewer libraries available for web development than Haskell.
Con Rapid changes in a language syntax/features
Since V language under a continuous development and core syntax and features will be "frozen" in a version 1.0.0, updating from older version of a language can cause a code rewrite of previously working program.
Con V 1.0 release was planned for December 2019
The first version of the language was publicly released in June of 2019, version 0.1.x. First beta version of the language was released June of 2022, version 0.3. x. Language has progressed faster than most. Welcomes contributors to join the project.
