Elixir-lang.org được thiết kế lại

 (elixir-lang.org)
1 điểm bởi GN⁺ 1 ngày trước | 1 bình luận | Chia sẻ qua WhatsApp
  • Trang chủ mới giới thiệu Elixir là ngôn ngữ dựa trên Erlang có khả năng mở rộng từ phát triển cá nhân đến các nhóm hàng trăm người, từ một máy chủ đơn lẻ đến mạng lưới toàn cầu
  • Dựa trên tính bất biến, an toàn bộ nhớ và hệ thống kiểu tiệm tiến, có thể xây dựng các hệ thống dễ phục hồi sau sự cố và dễ bảo trì
  • Một codebase duy nhất có thể mở rộng sang máy đa lõi và nhiều node; khi kết hợp với Numerical Elixir còn hỗ trợ cả tính toán GPU
  • Có thể phát triển web, nhúng, machine learning, xử lý dữ liệu, IoT và hệ thống phân tán với hệ sinh thái Phoenix, Nerves, Nx, Broadway
  • Trình quản lý gói, code formatter, công cụ tài liệu hóa, IEx, Livebook và hệ sinh thái Hex hỗ trợ từ tạo prototype đến vận hành production

Trải nghiệm phát triển và khả năng mở rộng

  • Elixir kết hợp phát triển nhanh với các thực hành thực tế vững chắc, dựa trên độ tin cậy và khả năng chịu lỗi của Erlang được tích lũy qua nhiều thập kỷ
  • Hướng tới mã rõ ràng, tập trung vào dữ liệu và domain
    • Cung cấp tính bất biến và an toàn bộ nhớ
    • Có thể tận dụng hệ thống kiểu tiệm tiến của Elixir 1.20
  • Một codebase duy nhất có thể mở rộng theo chiều dọc trên máy đa lõi và mở rộng theo chiều ngang thông qua giao tiếp giữa các node, phù hợp với các hệ thống hướng thông điệp và web thời gian thực
  • Khi kết hợp Numerical Elixir, có thể mở rộng tính toán trên các core, cụm và GPU
  • Được chọn là một trong những ngôn ngữ được yêu thích nhất thế giới trong nhiều năm liên tiếp; có thể xem kết quả trong khảo sát Stack Overflow 2025
  • Có sẵn trình quản lý gói mặc định, code formatter và chức năng tài liệu hóa
    • Có thể dùng shell tương tác IEx và notebook tương tác Livebook để nhanh chóng tạo prototype và debug thời gian thực các hệ thống đang chạy
  • Được sử dụng trong môi trường production của nhiều ngành và ứng dụng, từ cá nhân kinh doanh đến các công ty Fortune 500

Lĩnh vực ứng dụng và hệ sinh thái

  • Với phát triển web, sử dụng Phoenix hỗ trợ phát triển nhanh, LiveView để thêm tính năng thời gian thực với ít mã, Ecto cho tầng dữ liệu, và Plug
  • Trong hệ thống nhúng, Nerves đóng gói toàn bộ ứng dụng thành firmware nhỏ gọn và cung cấp cập nhật qua mạng cùng khả năng chịu lỗi cấp nhà mạng
    • Với AtomVM, có thể chạy Elixir ngay cả trên các thiết bị nhỏ như vi điều khiển
  • Trong machine learning, Nx cung cấp tensor tăng tốc bằng GPU, còn Livebook hỗ trợ chạy mô hình đã huấn luyện trước, trực quan hóa dữ liệu và triển khai trong một môi trường duy nhất
  • Với xử lý dữ liệu và media, tận dụng backpressure và tính đồng thời
    • Broadway xử lý hàng triệu sự kiện từ hàng đợi
    • Membrane cung cấp các pipeline có thể kết hợp cho âm thanh, video, v.v.
  • Dựa trên Erlang VM, Elixir cũng được dùng cho IoT và hệ thống phân tán; các dự án Erlang liên quan gồm EMQX, RabbitMQ, Riak
  • Có thể khám phá hàng nghìn gói cộng đồng trên Hex, và hệ sinh thái vẫn đang tiếp tục phát triển
  • Elixir Team dẫn dắt việc phát triển ngôn ngữ, còn Erlang Ecosystem Foundation hỗ trợ Elixir và cộng đồng Erlang rộng lớn hơn
  • Elixir Open Source Stewards, nơi tuyển dụng hoặc tài trợ cho các nhà phát triển mã nguồn mở, có sự tham gia của các công ty sau
    • Software Mansion: phát triển các công cụ toàn stack như Membrane, Popcorn, LiveDebugger, Legion từ năm 2016
    • Dashbit: tạo ra Elixir, Livebook, Broadway, Plug, v.v. và hỗ trợ doanh nghiệp đưa vào production cũng như mở rộng quy mô
    • Jump: đóng góp cho Expert LSP, Quokka, v.v.

Bài viết liên quan

1 bình luận

 
GN⁺ 1 ngày trước
Ý kiến trên Hacker News

  • José Valim và đội ngũ đã tạo ra một ngôn ngữ Elixir và hệ sinh thái thật sự xuất sắc; đặc biệt cảm ơn họ vì đã bền bỉ nỗ lực trong suốt năm qua để chuẩn bị cho bản phát hành 1.20

    • Tôi từng nghe một người hâm mộ Erlang nói rằng, với họ, Elixir là một biến thể đáng ghét do những người không hiểu đúng Erlang biến BEAM thành phong cách Ruby, nhưng chính nhờ vậy mà nó được phổ biến rộng rãi; tôi tò mò mọi người nghĩ sao về nhận định này

  • Elixir rất tuyệt, nhưng tôi mong có thêm nhiều vốn và công sức phát triển đổ vào chính BEAM để nâng hiệu năng thực thi thuần túy, chứ không chỉ là tính đồng thời
    Trong hơn 10 năm qua, việc cải thiện hiệu năng dường như gần như phụ thuộc vào một người

    • Trong 5–6 năm qua đã có nhiều người phát triển trình biên dịch JIT, và đội WhatsApp cũng đóng góp đáng kể
      Có vẻ sau khi đội Erlang/OTP khai thác hết hiệu năng có thể có từ JIT, họ sẽ chuyển sang tối ưu hóa liên mô-đun; việc này đòi hỏi thiết kế lại một số yếu tố nền tảng của runtime, nhưng tôi nghĩ sẽ mở ra rất nhiều khả năng mới
    • Việc tăng hiệu năng phép toán số học trong các ca sử dụng thực tế trên trình thông dịch bytecode là khá khó

  • Năm nay tôi bắt đầu học Elixir và rất ấn tượng với ngôn ngữ này cùng những khả năng mà BEAM cung cấp; tôi hoàn toàn bị cuốn hút bởi một hệ sinh thái bị đánh giá thấp
    Trang web mới trông cũng rất đẹp

    • Nhà phát triển mà tôi thích nghe, Joe Armstrong, đã viết một bài đánh giá nhìn chung tích cực về Elixir; nếu ông không tạo ra Erlang, có lẽ ông đã trở thành lập trình viên Elixir
      https://joearms.github.io/published/2013-05-31-a-week-with-e...
      Mong Joe Armstrong, một con người kiệt xuất, được yên nghỉ
    • Erlang đã vận hành các công ty viễn thông có vốn hóa hàng chục tỷ đô la trong nhiều thập kỷ; Elixir khiến nó dễ học hơn và cũng thay thế phần lớn những cấu hình cụm kiểu chắp vá trong môi trường quy mô lớn
      Có thể nhanh chóng triển khai lên nhiều nền tảng từ một codebase duy nhất, và Phoenix Channels cũng tiết kiệm chi phí
      https://quasar.dev/introduction-to-quasar/

  • Hy vọng UI của diễn đàn cũng được làm mới, và mong Elixir tiếp tục phát triển
    Nó không chỉ là một ngôn ngữ tuyệt vời mà còn rất phù hợp cho lập trình bằng AI

    • Trong so sánh của Tencent, Elixir đứng hạng nhất tổng thể; có thể xem ở bảng 4, nhưng tài liệu này đã hơn một năm tuổi
      https://arxiv.org/pdf/2508.09101

  • Dù tôi không dùng màn hình lớn theo tiêu chuẩn hiện nay, một nửa màn hình của trang vẫn là khoảng trống, nên hơi tiếc
    Tôi không nhớ giao diện trang cũ, nên không biết thực tế có khác đi hay không

  • BEAM, runtime của Elixir, rất phù hợp cho việc điều phối agent và hệ thống đa agent; tôi đã tổng hợp nội dung liên quan ở đây
    https://josefrichter.design/blog/crowd

  • Một trong những ứng dụng cốt lõi của Elixir/Erlang có vẻ là khả năng cụm phân tán, nên tôi tò mò về các ca sử dụng thực tế
    Tôi đã dùng Elixir khá nhiều trong công việc, nhưng chủ yếu dùng như một “Rails tốt hơn” để scale ngang các ứng dụng Phoenix độc lập trong môi trường Kubernetes truyền thống, nên có cảm giác đã bỏ lỡ mục đích cốt lõi

    • Trước đây tôi làm ở WhatsApp và đã sử dụng tích cực tính năng phân tán của Erlang; theo tôi biết, sau khi tôi rời đi thì quy mô cụm còn lớn hơn nhiều
      Nó rất tiện lợi, nhưng không có ranh giới bảo mật giữa các node, và khi mạng không ổn định thì khá phiền phức
      Trong ứng dụng chat, trước hết gửi tin nhắn đến dịch vụ cơ sở dữ liệu presence để kiểm tra đối phương có online không; nếu nhận lại process ID, thì bất kể nằm trên cùng máy hay máy khác, ta đều gửi tin nhắn đến process đó bằng cùng một API
      Hiếm có môi trường nào áp dụng tự nhiên việc truyền thông điệp tùy ý giữa process, thread và task trên toàn hệ thống như vậy; nếu không có process ID thì chỉ cần gửi tin nhắn vào cơ sở dữ liệu offline
    • Tôi đã thử một chút Elixir phân tán trên Kubernetes với Horde.DynamicSupervisor, và cũng có các lựa chọn khác như swarm và DynamicSupervisor
      Sẽ rất tốt nếu có một phân tích rõ ràng về lợi ích mà các abstraction này mang lại so với cách không dựa trên BEAM
      https://www.youtube.com/watch?v=nZmDEUeHeVI
    • Gần đây tôi xây dựng control plane Kubernetes bằng Elixir và cứ chờ đến lúc cần dùng tính năng phân tán, nhưng trong bối cảnh điều khiển DaemonSet viết bằng Go thì thật ra không cần lắm
      Dù vậy, nó có mức độ gắn kết cao hơn các ứng dụng độc lập và là kiến trúc điều phối các công việc kiểu Lambda hoặc Fly.io trên Firecracker
      https://jomcgi.dev/ember
    • Elixir/Erlang rất phù hợp với môi trường bán nhúng cần các thành phần chỉ huy và điều khiển cấp cao, vận hành xác định và vững chắc
      Từ lâu tôi đã áp dụng Erlang cho thiết bị này; trải nghiệm rất thú vị và có nhiều bài toán hấp dẫn cho tất cả những người tham gia
      https://www.icare-world.com/us/product/icare-eidon/

  • Elixir là một ngôn ngữ rất thanh nhã, nên tôi muốn sớm tìm được lý do để dùng nó

    • Đọc cuốn sách lập trình Erlang của Joe Armstrong đã thay đổi cách tôi nhìn về lập trình hàm và abstraction, nhờ đó tôi trở thành một lập trình viên Ruby tốt hơn
      Lần đầu tôi chọn Elixir là khi Ruby không xử lý nổi lượng lớn tin nhắn WebSocket; nó đặc biệt xuất sắc trong môi trường đồng thời cao, và tôi cũng thích Phoenix LiveView nên đang vận hành vài dự án phụ
    • Việc xây dựng một trợ lý cá nhân đa agent rất thú vị; vẫn đang phát triển và không có gì đảm bảo, nhưng tôi đã công khai engine mà mình thực sự dùng
      https://github.com/ityonemo/ce_ce
    • Nếu có chương trình không cần chạy nhanh, đó có thể là lý do để dùng Elixir
    • Nhìn chung tôi đồng ý rằng Elixir đã cải thiện Erlang, nhưng với tư cách người dùng Ruby lâu năm, tôi không thấy nó thanh nhã như kỳ vọng
      Ngay cả cú pháp đơn giản như defmodule Xyz do cũng khiến tôi thấy hơi gượng gạo