Эликсир (язык программирования)

Эта статья чрезмерно опирается на ссылки на первичные источники . Пожалуйста, улучшите эту статью, добавив вторичные или третичные источники . Найти источники:  Язык программирования «Elixir» – новости  · газеты  · книги  · ученый  · JSTOR ( июнь 2023 г. ) ( Узнайте, как и когда удалить это сообщение )

Эликсир

Эликсир
Парадигмы	мультипарадигмальный : функциональный , параллельный , распределенный , ориентированный на процесс
Разработано	Хосе Валим
Впервые появился	2012 ; 12 лет назад ( 2012 )
Стабильный релиз	1.17.3 [1]  / 18 сентября 2024 г. ; 40 дней назад ( 18 сентября 2024 )
Дисциплина набора текста	динамичный , сильный
Платформа	Эрланг
Лицензия	Лицензия Apache 2.0 [2]
Расширения имени файла	.ex, .exs
Веб-сайт	elixir-lang.org
Под влиянием
Clojure , Erlang , Ruby
Под влиянием
Проблеск , LFE

Elixir — это функциональный , параллельный , высокоуровневый язык программирования общего назначения , работающий на виртуальной машине BEAM , которая также используется для реализации языка программирования Erlang . ^[3] Elixir построен на основе Erlang и использует те же абстракции для построения распределенных отказоустойчивых приложений. Elixir также предоставляет инструментарий и расширяемую конструкцию. Последнее поддерживается метапрограммированием во время компиляции с макросами и полиморфизмом через протоколы. [ ^4]

Сообщество организует ежегодные мероприятия в Соединенных Штатах, ^[5] Европе, ^[6] и Японии, ^[7] , а также небольшие местные мероприятия и конференции. ^{[8] [9]}

Хосе Валим создал язык программирования Elixir как проект исследований и разработок в Plataformatec. Его целью было обеспечить более высокую расширяемость и производительность в Erlang VM, сохраняя при этом совместимость с экосистемой Erlang. ^{[10] [11]}

Elixir нацелен на крупномасштабные сайты и приложения. Он использует возможности Ruby , Erlang и Clojure для разработки языка с высокой степенью параллелизма и низкой задержкой. Он был разработан для обработки больших объемов данных. Elixir также используется в телекоммуникациях, электронной коммерции и финансах. ^[12]

В 2021 году было объявлено о проекте Numerical Elixir, цель которого — привнести в экосистему Elixir машинное обучение, нейронные сети, компиляцию на GPU, обработку данных и вычислительные блокноты. ^[13]

Каждая из второстепенных версий поддерживает определенный диапазон версий Erlang/ OTP . ^[14] Текущая стабильная версия релиза — 1.17.3 ^[1] .

• Компилируется в байт-код для виртуальной машины BEAM Erlang . ^{[15] Полная} совместимость с кодом Erlang без влияния на время выполнения .
• Масштабируемость и отказоустойчивость благодаря легким механизмам параллелизма Erlang ^[15]
• Встроенные инструменты для управления зависимостями, компиляции кода, запуска тестов, форматирования кода, удаленной отладки и многого другого.
• Интерактивный REPL внутри запущенных программ, включая веб-серверы Phoenix , с перезагрузкой кода и доступом к внутреннему состоянию
• Все есть выражение ^[15]
• Сопоставление с образцом ^[15] для продвижения утвердительного кода ^[16]
• Подсказки по вводу данных для инструментов статического анализа
• Неизменяемые данные, с упором, как и в других функциональных языках, на рекурсию и функции высшего порядка вместо циклов, основанных на побочных эффектах.
• Параллельное программирование без общего доступа посредством передачи сообщений ( модель актора ) ^[17]
• Ленивые и асинхронные коллекции с потоками
• Железнодорожно-ориентированное программирование с помощью withконструкции ^[18]
• Гигиеническое метапрограммирование посредством прямого доступа к абстрактному синтаксическому дереву (AST). ^[15] Библиотеки часто реализуют небольшие предметно-ориентированные языки , например, для баз данных или тестирования.
• Выполнение кода во время компиляции. Компилятор Elixir также работает на BEAM, поэтому компилируемые модули могут немедленно запускать код, который уже был скомпилирован.
• Полиморфизм через механизм, называемый протоколами. Динамическая диспетчеризация , как в Clojure , однако, без множественной диспетчеризации , поскольку протоколы Elixir диспетчеризируют по одному типу.
• Поддержка документации с помощью Python-подобных docstrings в языке форматирования Markdown ^[15]
• Поддержка Unicode и строк UTF-8

Следующие примеры можно запустить в iex оболочке или сохранить в файле и запустить из командной строки , введя .elixir <filename>

Классический пример Hello world :

iex> IO . puts ( "Привет, мир!" ) Привет , мир!

Оператор трубы:

iex> "Эликсир" |> Строка . графемы () |> Перечисление . частоты () %{"E" => 1, "i" => 2, "l" => 1, "r" => 1, "x" => 1}    iex> %{ значения : 1 .. 5 } |> Карта . получить ( : значения ) |> Перечисление . карта ( & &1 * 2 ) [2, 4, 6, 8, 10]        iex> |> Перечисление . сумма () 30 

Сопоставление с образцом (также известное как деструктуризация):

iex> %{ влево : x } = %{ влево : 5 , вправо : 8 } iex> x 5      iex> { :ок , [ _ | отдых ]} = { :ok , [ 1 , 2 , 3 ]} iex> отдых [2, 3]        

Сопоставление шаблонов с несколькими предложениями:

iex> case File.read ( "путь/к/файлу" ) do iex > { :ok , содержимое } -> IO.puts ( " найден файл: # { содержимое } " ) iex > { : error , причина } - > IO.puts ( "отсутствует файл: #{ причина } " ) iex> end          

Понимание списка :

iex> для n <- 1 .. 5 , rem ( n , 2 ) == 1 , do : n * n [1, 9, 25]         

Асинхронное чтение файлов с помощью потоков:

1 .. 5 |> Задача . async_stream ( & Файл . read! ( " # { &1 } . txt " )) |> Поток . filter ( fn { : ok , содержимое } -> Строка . trim ( содержимое ) != "" конец ) |> Перечисление . join ( " \ n " )          

Многофункциональные корпуса с защитой :

def fib ( n ) когда n в [ 0 , 1 ], do : n def fib ( n ), do : fib ( n - 2 ) + fib ( n - 1 )             

Реляционные базы данных с библиотекой Ecto:

схема "погода" do поле :city # По умолчанию тип :string поле :temp_lo , :integer поле :temp_hi , :integer поле :prcp , :float , по умолчанию : 0.0 конец                Погода |> где ( город : "Краков" ) |> order_by ( :temp_lo ) |> limit ( 10 ) |> Repo . all         

Последовательное порождение тысячи процессов:

для num <- 1 .. 1000 , do : spawn fn -> IO . puts ( " #{ num * 2 } " ) end           

Асинхронное выполнение задачи:

задача = Задача . асинхронная функция -> выполнить_сложное_действие () конец другое_время_потребляющее_действие () Задача . ожидание задачи       

^{[ необходима ссылка ]}

• Параллельные вычисления
• Распределенные вычисления
• Параллельные вычисления

• Саймон Сент-Лоран; Дж. Айзенберг (22 декабря 2016 г.). Знакомство с Elixir: Начало работы в функциональном программировании. 2-е издание . O'Reilly Media . ASIN  B01N9KCTIC. ISBN 978-1491956779.
• Саша Юрич (12 января 2019 г.). Эликсир в действии, 2-е издание . Публикации Мэннинга . АСИН  B0978KZTJG. ISBN 978-1617295027.