E
エリキサー v1.20 リリース: 徐々にタイプされた言語
エリキサール v1.20 から、すべてのプログラムは、 確認されたバグや入力違反の検索で、 徐々にタイプチェックされます。
E
エリキサー v1.20 リリース: 徐々にタイプされた言語
2022年には エリキサーに 集合理論型を追加する取り組みを 発表しました2023年6月 エリキサーの型システム設計に関する受賞論文を公開し 研究から開発への移行を図りましたエリキサー版1.20では 開発の第一歩となる タイプ推論を実行し エリキサープログラムごとに タイプチェックを 段階的に行います
E
熱心な文字違いを持つ怠け者のBDD
集合理論上のタイプの最適化の一連のフォローアップです 今回は違いをターゲットにします
E
熱心な文字違いを持つ怠け者のBDD
前回の記事では、パフォーマンス向上のために Elixir の集合理論型における交差点を最適化する方法について議論しました。簡単に言うと、怠けなBDDは、任意の深さで集合理論演算を表現することができます。多くの場合有用ですが 交差点に関しては 欠点があります%Foo{} または %Bar{} または %Baz{} または %Bat{} と %Bar{} を
E
熱心な文字交差点を持つ怠け者のBDD
この記事では、集合理論型とそれらの表現に対する 最新の最適化について説明します。
E
熱心な文字交差点を持つ怠け者のBDD
以前の記事では、エリキサが集合理論型の表現を 離合正規形 (DNF) から怠け者バイナリー決定図 (Lazy BDD) に変更した方法を論じた。簡単に言うと、DNFは連結、交点、否定をフラットなデータ構造として表すことができます。 (c1 と d1 ではなく) または (c2 と d2 ではなく) または (c3 と d3 ではなく) または。..複合型間の操作は。..
E
すべてのコンストラクチャのタイプ推論と次の15ヶ月
今日はエリキシアの最初の犯行から 15年目を祝います!この機会に エリキサー v1.20 の最初のリリース候補を発表します 言語構造のタイプ推論を 精度が向上します
E
すべてのコンストラクチャのタイプ推論と次の15ヶ月
今日はエリキサーが初めて結ばれた 15周年だ!この機会に エリキサー v1.20 の最初のリリース候補を発表します 言語構造のタイプ推論を 精度が向上しますこのブログ記事では、この意味を正確に説明し、 言語の進化の短期・中期 (約15ヶ月) に期待できるものについて説明します。
E
集合理論型のための怠け者の二進法決定図 (BDD)
この記事では、集合理論型を表現するために使用されるデータ構造と、最近適用された最適化について説明します。
E
集合理論型のための怠け者の二進法決定図 (BDD)
エリキサーのチームとCNRSは、Elixirの集合理論型システムに取り組んでいます。 簡単に言うと、組合、交差点、否定によって動かす型システムです。これらの操作を効率的に表す方法が必要です。この記事では、理論と実践で発見されている既存のアプローチ、そして私たちが導入した改善について議論します。..
E
Elixir v1.19 がリリースされました: 拡張されたタイプチェックと大規模なプロジェクトで最大4倍高速なコンパイル
Elixir v1.19 がリリースされました:プロトコルと匿名機能のタイプチェック、より広範なタイプ推論、改善されたコンパイル時間、その他
E
Elixir v1.19 がリリースされました: 拡張されたタイプチェックと大規模なプロジェクトで最大4倍高速なコンパイル
Elixir v1.19は、タイプシステムとコンパイルタイムにさらなる改善をもたらし、より多くのバグを早く見つけることができます。型系改善 このリリースでは、匿名関数の型推論とプロトコルの型チェックを追加することで型系を改善する。この改良は表面的には シンプルに見えますが 現存する文献を超えて 理論と開発を拡張することで。..
E
2025年の相互運用性:エルラング VMを超えて
エリクシール、他のプログラミング言語、ランタイムとの間での 相互運用性や移植性のメカニズムを探ります
E
2025年の相互運用性:エルラング VMを超えて
Erlang 仮想マシンは、歴史的に、他の言語とエコシステムとの相互運用性について、異なる程度に孤立している3つの主要なオプションを提供してきました。 NIF (ネイティブ実装機能) は、C バイディングを通じて同じメモリスペース内の第三者のコードと統合します。低コストで最高性能になりますが 誤ったコードで 仮想マシンが。..
E
グローバル エリキシールミーティング 週に参加してください
エリキサーコミュニティが世界中のミーティングを組織し、お互いから学び、 エリキサーとエルラングVMに関連するすべてのことを議論します。
E
グローバル エリキシールミーティング 週に参加してください
更新: 最初のグローバルエリキシールミーティングは 6大陸に広がる 46のミーティングで成功しました組織して参加した皆様に感謝します次回はお会いします!エリキサーコミュニティが世界中に出会い 学び合うためのミーティングを 開催する"週間の"グローバル エリキサーミーティング" (Global Elixir Meetups, GEM) を 立ち上げています私たちの目標は、地元のコミュニティを刺激することです、古いと新しい、
E
エリキサール・アウトリーチ スピーカーとトレーナーへの助成金
ダッシュビット、オバン、そしてエルラン生態系財団と 協力して エリキサー・アウトリーチ奨学金を発表します
E
エリキサール・アウトリーチ スピーカーとトレーナーへの助成金
Dashbit,Oban,Erlang生態系財団 (EEF) は、次の12ヶ月間に試行錯誤する新しいプログラム"エリキサールアウトリーチ"を発表します。私たちの目標は エリキシールとエルラングを 他の生態系やコミュニティに 紹介したいコミュニティのメンバーに 資金を提供することです 同時に私たちの共通の価値観を尊重します要するに コミュニティのメンバーに 資金を提供します
E
サイアンビュー:スーパーボウルの視覚的フィデリティをエリキサーと調整する
サイアンビューでエリキシアの使用方法についてのケーススタディです
E
サイアンビュー:スーパーボウルの視覚的フィデリティをエリキサーと調整する
スーパーボウルのようなライブイベントで 200台のカメラで 視覚的フィデリティを 調整するには?カメラの色調を調整することで カメラの色調や照明などの色合いを調整します カメラの色調や照明などの色合いを調整することで目標はライブ番組を 一貫した体験にすることですどの角度でも同じ。..
E
エリキサー・オープンチェーンの認定を発表
エリキシールプロジェクトは現在 OpenChain (ISO/IEC 5230) に対応しています。各リリースには CycloneDX 1.6 と SPDX 2.3 のソース SBoM が付属し、証明書も付属する。
E
エリキサー・オープンチェーンの認定を発表
オープンソースライセンスの遵守に関する国際基準である OpenChain (ISO/IEC 5230) に準拠していることをお知らせしますこの措置は、サプライチェーンとサイバーセキュリティのベストプラクティスの業界基準を満たすより広範な努力と一致しています。シェーン・コウグルは"エリキサーのコンプライアンスに関する今日の発表は コミュニティの成熟のもう一つの重要な例です"
E
リモート: エリキサーでゼロからユニコーンへと成長
リモートでエリキシアの使い方についてのケーススタディです
E
リモート: エリキサーでゼロからユニコーンへと成長
エリキサーを生産に使っている企業についての ケーススタディのシリーズへようこそリモートとは どこにでも雇用のプラットフォームで 企業が世界中から人を探し 雇用 管理 給料を支払うことができます2019年に設立され、わずか2年以内にユニコーン地位に達し、その後も急速に成長しています。エリキサーは初日から 彼らの主要技術だ現在の。..
E
Elixir v1.18 がリリースされました:通話のタイプチェック、LSPリスナー、内蔵JSONなど
Elixir v1.18 がリリースされました:関数呼び出しのタイプチェック、Language Server リスナー、内蔵 JSON,ExUnit の改善、ミックス形式 --migrate など。
E
Elixir v1.18 がリリースされました:通話のタイプチェック、LSPリスナー、内蔵JSONなど
Elixir v1.18は、 Elixir エコシステム内で現在行われている 2つの主な取り組みの改善を伴う印象的なリリースです。 集合理論型と言語サーバー。また、JSONのサポートも組み込まれ、ユニットテストライブラリに新しい機能を追加しています。詳細に検討してみましょうパターンのタイプ推論と返信タイプ タイプデフォルトにいくつかの更新があります。..
E
Elixir でリストとタプルをタイプする
この記事では、Elixirsで音声段階的なタイプシステム内でリストとタプルをタイプするデザインの決定について調べています。
E
Elixir でリストとタプルをタイプする
エリキシールプログラミング言語の タイプシステムに取り組んでいますタイプシステムは、安定した段階的なタイプを可能にします。 安定したコードと動的なコードを安全にインターフェースすることができます。 プログラムタイプがチェックされた場合、実行時にタイプエラーを生じません。タイプエラーを強調することが重要です。実行時のエラーがないことを保証しませんが、タイプするだけなのです。...
E
エリキサー言語サーバーの正式なチームを発表します
ツールやエディタで使えるコードインテリジェンスインフラストラクチャに取り組むことを発表します
E
エリキサー言語サーバーの正式なチームを発表します
アップデート:新しい言語サーバーはExpertと呼ばれ、現在アルファでオープンソースとして利用できます。プロジェクトスポンサーシップの管理と知名性を高めるために 丁寧に介入したエルラン生態系財団の Dan Janowski に連絡してください(アルファベットで。..