Add to Chrome
Add to Edge
Add to Firefox
Add to Opera
Add to Brave
Add to SafariWhen comparing Idris vs Zig, the Slant community recommends Zig for most people. In the question“What are the best (productivity-enhancing, well-designed, and concise, rather than just popular or time-tested) programming languages?” Zig is ranked 18th while Idris is ranked 29th. The most important reason people chose Zig is:
It's safer than C, at least.
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 Some safety
It's safer than C, at least.
Pro C Interop
Zig programs can import C libraries and export header files to be used in C programs.
Pro Performance
Zig is pretty fast, in some cases even faster than C.
Pro Control flow is simple and obvious
No operator overloading, property methods, runtime dispatch, macros, etc.
Pro Cross-compilation is easy
The Zig compiler can build artifacts for any Tier 3 Supported platform without additional downloads.
Pro Small binary
Produces binary smaller than C.
Pro Compile-time execution
Zig can execute code at compile-time, allowing for more performant and readable programs.
Pro No Hidden Control flow
Zig will not do anything on your back that might slow down your program & make you loose your control over your program.
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 Convoluted syntax
Claims to be an improvement over C, but in this area, not really.
Con No lambdas
Missing many key and useful features other languages have.
Con Deceptively gives impression it's near being production ready
No plans to hit 1.0 until 2025 (3 years later), according to Zig Roadmap speech. Impression is given that (0.9.1) language was close to ready, when it's not.
Con Creator admits to not knowing what he's doing
Creator admits his shortcomings during Zig Roadmap speech. Very disturbing. Not a language to invest in or take seriously, outside personal experimentation.
Con No closures
Does not have closures.
Con Almost no community
Lacking in libraries and users.
Con No interfaces/traits
Features that are useful are missing, where you can find them in other languages.
Con Fundraising looks suspicious
Why do we keep seeing an overhyped unfinished alpha level language showing up everywhere? That answer looks like a financial incentive to promote the language, the Zig Software Foundation, that is making hundreds of thousands of dollars a year from donations. To aggressively maintain cash flow, it appears any opinions that goes against their narrative is suppressed, attacked, or eliminated. All while the hype machine runs rampant. That isn't a language for the people, that looks to be a cash grab for the few that will result in nothing useful. Save yourself the headache and games, better to just use C or other languages with C-like syntax, can interface with C, and are actually useful. Better to not waste your valuable time on crap like Zig, false media hype, or getting scammed.
”If it sounds too good to be true, it probably is.”
This blog has published 2 excellent articles on how Zig's claims do not live up to reality after more than 6 years of development.
Con Poor compiler errors
Several years into development, language still a mess, and no hope of fixing itself for yet more years later.
Con No standard package manager
Several years into development, and still no standard package manager is ridiculous.
Con Exhibits cult-like behavior and animosity towards other programming languages
Strange culture that bashes other languages and are not open to criticism about the faults of their language. Very close-minded, sometimes scary.
