Elixir (programming language): Difference between revisions
No edit summary |
Remove Reia sections as they are not historically relevant to Elixir |
||
Line 24: | Line 24: | ||
==History== |
==History== |
||
José Valim is the creator of the Elixir programming language, an R&D project of [http://plataformatec.com.br Plataformatec]. His goals were to enable higher extensibility and productivity in the Erlang VM while keeping 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 | accessdate=2013-02-17}}</ref> <ref>{{ cite AV media |url=https://www.youtube.com/watch?v=IZvpKhA6t8A|title=José Valim - ElixirConf EU 2017 Keynote | accessdate=2017-07-14}}</ref> |
José Valim is the creator of the Elixir programming language, an R&D project of [http://plataformatec.com.br Plataformatec]. His goals were to enable higher extensibility and productivity in the Erlang VM while keeping 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 | accessdate=2013-02-17}}</ref> <ref>{{ cite AV media |url=https://www.youtube.com/watch?v=IZvpKhA6t8A|title=José Valim - ElixirConf EU 2017 Keynote | accessdate=2017-07-14}}</ref> |
||
===Reia=== |
|||
Reia<ref>http://reia-lang.org/</ref> was a general-purpose concurrent object-oriented programming language for the Erlang virtual machine, created by Tony Arcieri in 2008. As of August 10, 2011, it was declared defunct in favor of more mature Elixir.<ref name="Reia Defunct Commit">{{cite web|last1=Arcieri|first1=Tony|title=Elixir info|url=https://github.com/tarcieri/reia/commit/326523ebe403cafb52cb7e73ca3f498bf3f1f670|website=Github|accessdate=4 July 2015|ref=1}}</ref> |
|||
Reia supported multiple programming paradigms including imperative, functional, declarative, object oriented, and concurrent. It used the actor model for concurrency in a manner that worked alongside its object system. It used pattern matching as the primary operation by which it selected branches to take and bind variables. It also had a dynamic type system and automatic memory management; it was therefore similar in varying respects to Erlang, Ruby, and Python. |
|||
==Features== |
==Features== |
||
Line 133: | Line 128: | ||
* [http://shop.oreilly.com/product/0636920030584.do Simon St. Laurent, J. David Eisenberg: "Introducing Elixir" (book)] |
* [http://shop.oreilly.com/product/0636920030584.do Simon St. Laurent, J. David Eisenberg: "Introducing Elixir" (book)] |
||
* [http://shop.oreilly.com/product/9781680500417.do Chris McCord: "Metaprogramming Elixir " (book)] |
* [http://shop.oreilly.com/product/9781680500417.do Chris McCord: "Metaprogramming Elixir " (book)] |
||
* [http://reia-lang.org/ Reia website] |
|||
===Reia external links=== |
|||
* {{cite news|url=http://erlanginside.com/interview-with-reia-creator-tony-arcieri-on-erlang-reia-python-and-rails-48|title=Interview with Reia Creator Tony Arcieri on Erlang, Reia, Python, and Rails|last=DePue|first=Chad|date=December 10, 2008|work=Erlang Inside|deadurl=yes|archiveurl=https://web.archive.org/web/20081211153536/http://erlanginside.com/interview-with-reia-creator-tony-arcieri-on-erlang-reia-python-and-rails-48|archivedate=December 11, 2008|df=}} |
|||
** {{cite news|url=http://erlanginside.com/interview-with-tony-arcieri-on-reia-and-erlang-part-ii-59|title=Interview with Tony Arcieri on Reia and Erlang, Part II|last=DePue|first=Chad|date=December 12, 2008|work=Erlang Inside|deadurl=yes|archiveurl=https://web.archive.org/web/20090717055609/http://erlanginside.com/interview-with-tony-arcieri-on-reia-and-erlang-part-ii-59|archivedate=July 17, 2009|df=}} |
|||
* {{cite web|url=http://debasishg.blogspot.com/2008/06/targeting-beam-for-extreme-reliability.html|title=Ruminations of a Programmer: Targeting BEAM for extreme reliability|last=Ghosh|first=Debasish|date=June 9, 2008|work=Ruminations of a Programmer|publisher=[[Blogger (service)|Blogger]]}} |
|||
* {{cite news|url=http://erlanginside.com/reia-brings-scripting-to-erlang-34|archive-url=https://web.archive.org/web/20081204081351/http://erlanginside.com/reia-brings-scripting-to-erlang-34|dead-url=yes|archive-date=December 4, 2008|title=Reia Brings Scripting to Erlang|last=DePue|first=Chad|date=October 22, 2008|work=Erlang Inside}} |
|||
* {{cite news|url=http://lambda-the-ultimate.org/node/3018|title=Reia: Python/Ruby style language on top of Erlang|date=September 26, 2008|work=[[Lambda the Ultimate]]|first=David N. |last=Welton}} |
|||
* {{cite news|url=http://www.unlimitednovelty.com/2011/06/why-im-stopping-work-on-reia.html |title=Why i'm stopping work on Reia|date=June 29, 2011|work=|first=Tony |last=Arcieri}} |
|||
{{Programming languages}} |
{{Programming languages}} |
Revision as of 18:15, 5 July 2018
Paradigm | multi-paradigm: functional, concurrent, distributed, process-oriented |
---|---|
First appeared | 2011 |
Stable release | 1.6.6
/ 19 June 2018[1] |
Typing discipline | dynamic, strong |
Platform | Erlang |
License | Apache License 2.0[2] |
Filename extensions | .ex, .exs |
Website | elixir-lang |
Influenced by | |
Erlang, Ruby, Clojure | |
Influenced | |
LFE |
Elixir is a functional, concurrent, general-purpose programming language that runs on the Erlang virtual machine (BEAM).[3] Elixir builds on top of Erlang and shares the same abstractions for building distributed, fault-tolerant applications. Elixir also provides a productive tooling and an extensible design. The latter is supported by compile-time metaprogramming with macros and polymorphism via protocols.[4]
Elixir is used by companies such as E-MetroTel, Pinterest[5] and Moz.[6] Elixir is also used for web development, by companies such as Bleacher Report, Discord, and Inverse,[7] and for building embedded systems.[8][9] The community organizes yearly events in United States[10][11][12], Europe[13] and Japan[14] as well as minor local events and conferences.[15][16]
History
José Valim is the creator of the Elixir programming language, an R&D project of Plataformatec. His goals were to enable higher extensibility and productivity in the Erlang VM while keeping compatibility with Erlang's ecosystem.[17] [18]
Features
- A language that compiles to bytecode for the Erlang Virtual Machine (BEAM)[19]
- Everything is an expression[19]
- Erlang functions can be called from Elixir without run time impact, due to compilation to Erlang bytecode, and vice versa
- Meta programming allowing direct manipulation of AST[19]
- Polymorphism via a mechanism called protocols. Like in Clojure, protocols provide a dynamic dispatch mechanism. However, this is not to be confused with multiple dispatch as Elixir protocols dispatch on a single type.
- Support for documentation via Python-like docstrings in the Markdown formatting language[19]
- Shared nothing concurrent programming via message passing (Actor model)[20]
- Emphasis on recursion and higher-order functions instead of side-effect-based looping
- Lightweight concurrency utilizing Erlang's mechanisms[19]
- Railway oriented programming via the
with
construct - Built-in tooling for managing dependencies, code compilation, running tests, formatting code, remote debugging and more
- Lazy and async collections with streams
- Pattern matching[19] to promote assertive code[21]
- Unicode support and UTF-8 strings
Examples
The following examples can be run in an iex shell or saved in a file and run from the command line by typing elixir <filename>
.
Classic Hello world example:
iex> IO.puts "Hello World!"
Hello World!
Comprehensions
iex> for n <- [1,2,3,4,5], rem(n, 2) == 1, do: n*n
[1, 9, 25]
Pattern Matching (destructuring)
iex> [1, a] = [1, 2]
iex> a
2
iex> {:ok, [hello: a]} = {:ok, [hello: "world"]}
iex> a
"world"
Pattern Matching (multiple clauses)
iex> case File.read("path/to/file") do
iex> {:ok, contents} -> IO.puts("found file: #{contents}")
iex> {:error, reason} -> IO.puts("missing file: #{reason}")
iex> end
Pipe Operator
iex> "1" |> String.to_integer |> Kernel.*(2)
2
Modules
defmodule Fun do
def fib(0), do: 0
def fib(1), do: 1
def fib(n), do: fib(n-2) + fib(n-1)
end
Sequentially spawning a thousand processes
for num <- 1..1000, do: spawn fn -> IO.puts "#{num * 2}" end
Asynchronously performing a task
task = Task.async fn -> perform_complex_action() end
other_time_consuming_action()
Task.await task
Noteworthy Elixir projects
- Absinthe is a GraphQL implementation for Elixir
- Ecto is a database wrapper and language integrated query for Elixir
- Mix is a build automation tool for Elixir projects
- Nerves is framework and platform for embedded software
- Phoenix is a web framework built on Elixir
- Plug is a specification and conveniences for composable modules between web applications
See also
References
- ^ "Releases - elixir-lang/elixir". Retrieved 23 June 2018 – via GitHub.
- ^ "elixir/LICENSE at master · elixir-lang/elixir · GitHub". GitHub.
- ^ "Most Popular Programming Languages of 2018 - Elite Infoworld Blog". 2018-03-30. Retrieved 2018-05-08.
- ^ "Elixir". José Valim. Retrieved 2013-02-17.
- ^ "Introducing new open-source tools for the Elixir community". Retrieved 2016-08-01.
- ^ "Unlocking New Features in Moz Pro with a Database-Free Architecture". Retrieved 2016-08-01.
- ^ "What big projects use Elixir?". Retrieved 2016-08-01.
- ^ "Elixir in production interview: Garth Hitchens". Retrieved 2016-08-01.
- ^ "Nerves - Craft and deploy bulletproof embedded software in Elixir". Retrieved 2016-08-01.
- ^ "ElixirConf 2014". Retrieved 2016-08-01.
- ^ "ElixirConf 2015". Retrieved 2016-08-01.
- ^ "ElixirConf". Retrieved 2016-08-01.
- ^ "ElixirConf". Retrieved 2016-08-01.
- ^ "ElixirConf.jp". Retrieved 2017-07-09.
- ^ "Elixir LDN". Retrieved 2016-08-01.
- ^ "EMPEX - Empire State Elixir Conference". Retrieved 2016-08-01.
- ^ Elixir - A modern approach to programming for the Erlang VM. Retrieved 2013-02-17.
- ^ José Valim - ElixirConf EU 2017 Keynote. Retrieved 2017-07-14.
- ^ a b c d e f "Elixir". Retrieved 2014-09-07.
- ^ Loder, Wolfgang (12 May 2015). Erlang and Elixir for Imperative Programmers. "Chapter 16: Code Structuring Concepts", section title "Actor Model": Leanpub. Retrieved 7 July 2015.
{{cite book}}
: CS1 maint: location (link) - ^ "Writing assertive code with Elixir". Retrieved 2018-07-05.
External links
- Elixir language website
- Code on GitHub
- Elixir - A modern approach to programming for the Erlang VM (video presentation)
- Dave Thomas: "Programming Elixir ≥ 1.6 Functional |> Concurrent |> Pragmatic |> Fun" (book)
- Simon St. Laurent, J. David Eisenberg: "Introducing Elixir" (book)
- Chris McCord: "Metaprogramming Elixir " (book)