Update introduction.md

[github-actions[bot]]

Thank you for contributing to exercism/elixir 💜 🎉. This is an automated PR comment 🤖 for the maintainers of this repository that helps with the PR review process. You can safely ignore it and wait for a maintainer to review your changes.

Based on the files changed in this PR, it would be good to pay attention to the following details when reviewing the PR:

• General steps

  • 🏆 Does this PR need to receive a label with a reputation modifier (x:size/{tiny,small,medium,large,massive})? (A medium reputation amount is awarded by default, see docs)

• Concept changed

  • 👤 Does the author of the PR need to be added as an author or contributor in <concept>/.meta/config.json (see docs)?
  • 📖 Does the concept introduction provide all necessary information to solve this exercise?

---

Automated comment created by PR Commenter 🤖.

[angelikatyborska]

Hi! Thank you for your contribution. Could you please provide a meaningful pull request title and description that explains the change you're proposing?

[angelikatyborska]

I'm going to close this PR because I didn't get any arguments for it, and I don't agree with the proposed change:

1. You can't say "gradually dynamically" typed because gradual typing is something between static and dynamic.
2. Elixir is not yet gradually typed. It's work in progress.

[RomanMIzulin]

1. valid point
2. what do you mean? https://elixirforum.com/t/jose-valim-elixir-is-officially-a-gradually-typed-language/60850

[angelikatyborska]

It's a promotional tweet. It's meant to catch attention.

Gradual types in Elixir are still a work in progress, as outlined in the roadmap here: https://hexdocs.pm/elixir/main/gradual-set-theoretic-types.html

As long as https://elixir-lang.org advertises Elixir as a dynamically typed language, so will Exercism 🙂