Content deleted Content added
TimothyBlue (talk | contribs) →See also: add |
Added a section detailing the recent year of work on implementing a type system within the language. Tags: Reverted Visual edit |
||
Line 29:
José Valim is the creator of the Elixir programming language, a [[research and development]] project created at Plataformatec. His goals were to enable higher extensibility and productivity in the Erlang VM while maintaining compatibility with Erlang's ecosystem.<ref>{{ cite AV media |url=http://vimeo.com/53221562|title=Elixir - A modern approach to programming for the Erlang VM | access-date=2013-02-17}}</ref><ref>{{ cite AV media |url=https://www.youtube.com/watch?v=IZvpKhA6t8A| archive-url=https://ghostarchive.org/varchive/youtube/20211117/IZvpKhA6t8A| archive-date=2021-11-17 | url-status=live|title=José Valim - ElixirConf EU 2017 Keynote | access-date=2017-07-14}}{{cbignore}}</ref>
Elixir was aimed at large-scale sites and apps. Elixir uses features of [[Ruby (programming language)|Ruby]], [[Erlang (programming language)|Erlang]], and [[Clojure]] to develop a "high-concurrency" and "low-latency" language. Elixir was designed to handle large data volumes. Elixir is used in the telecommunication, eCommerce, and finance industries.<ref>{{ cite web |url=https://www.welcometothejungle.com/en/articles/btc-elixir-jose-valim/|title=Behinde the code: The One Who Created Elixir | access-date=2019-11-25}}</ref>
On July 12, 2018, Honeypot released a mini-documentary on Elixir.<ref>{{Cite web|title = Elixir: A Mini-Documentary|url = https://cult.honeypot.io/originals/elixir-the-documentary|access-date = 2021-10-30}}</ref>
=== Language Development Milestones ===
==== Research and Implementation of a Type System ====
In an article published in October of 2022, José Valim announced a PhD scholarship to "research and develop a type system for Elixir based on set-theoretic types"<ref>{{Cite web |last=Valim |first=José |date=2022-10-05 |title=My Future with Elixir: set-theoretic types |url=https://elixir-lang.org/blog/2022/10/05/my-future-with-elixir-set-theoretic-types/ |access-date=2023-09-15 |website=elixir-lang.github.com |language=en}}</ref>. The research team consisted of then PhD student Guillaume Duboc, and senior researcher Giuseppe Castagna as lead, with support from Jose Valim. Research on the subject occurred during a stretch of time between then and June 2023, when the research team announced they were aiming to enter a development phase for the type system in the second half of the year<ref>{{Cite web |last=Valim |first=José |date=2023-06-22 |title=Type system updates: moving from research into development |url=https://elixir-lang.org/blog/2023/06/22/type-system-updates-research-dev/ |access-date=2023-09-15 |website=elixir-lang.github.com |language=en}}</ref>. Throughout the year the research team participated in a number of podcasts and video-casts where they discussed the work, including a talk given by José Valim at [[ElixirConf]] 2023 hosted in Orlando, FL titled "the foundations of the Elixir type system"<ref>{{Citation |title=ElixirConf 2023 - José Valim - The foundations of the Elixir type system |url=https://www.youtube.com/watch?v=giYbq4HmfGA |access-date=2023-09-15 |language=en}}</ref>, where the challenges of the work were discussed alongside practical examples, including the discussion of a new approach to gradual typing Jose referred to as "strong arrows," which uniquely made use of existing language mechanics such as guards to guarantee type consistency at compile-time and run-time -- a significant advantage over the kind of type system implemented by other popular type systems such as [[TypeScript]] -- without adding significant performance impacts. At the time of the talk, José Valim indicated that the actual delivery of a type system was not guaranteed, citing uncertainty surrounding the novelty of the work being done and possible difficulties with maintaining fast compilation times.
== Versioning ==
| |||