Type save Elixir? { Readme }
ShalokShalom opened this issue · 4 comments
Elchemy's type system eliminates almost all runtime errors. With a shrinking set of edge cases, your entire app will be as safe as the parts written in Elixir are.
How are parts written in Elixir are so save as that one in Elchemy?
Elixir is dynamically typed, so it contains obviously more type errors.
You think Elchemy and Elixir is equally save?
"A chain is as strong as its weakest link" so the Elchemy program is as type safe / reliable as the parts written in Elixir are, because those written in Elchemy are [hypothetically] completetly safe / reliable
You basically say that static type checking has no advantage.
I don't believe that's true. What my intention was to say: If you have an app written in Elchemy, the only parts you have to worry about are those in Elixir. I might have used wrong words to express that
Which is why I write this issue 🙂