@effekt-lang/effekt 0.65.0 → 0.67.0

package/libraries/common/stream.effekt

@@ -7,13 +7,13 @@ import partial
 // Effects
 // -------
 
-/// Describes push streams by emitting values of type `A`.
-effect emit[A](value: A): Unit
+/// The effect for emitting an item of type `A` in a push stream.
+effect emit[A](item: A): Unit
 
-/// Describes pull streams by reading values of type `A`.
+/// The effect for getting the next item of type `A` from a pull stream.
 ///
-/// The producer can decide to `stop` emitting values.
-effect read[A](): A / stop
+/// Uses the `stop` effect to signal the end of the stream.
+effect next[A](): A / stop
 
 
 /// Like `for[A, R]`, but ignores the result of the stream, and consequently
@@ -30,11 +30,11 @@ def for[A] { stream: () => Unit / emit[A] } { action: A => Unit }: Unit =
 def map[A, B] { function: A => B } { stream: () => Unit / emit[A] }: Unit / emit[B] =
   returning::map[A, B, Unit]{function}{stream}
 
-/// Runs the given action whenever the given reader reads an element.
+/// Runs the given action whenever the given driver reads an element.
 ///
-/// e.g. var i = -1; with tap { i = i + 1; i }; reader()
-def tap[A] { action: () => A / stop } { reader: () => Unit / read[A] }: Unit =
-  returning::tap[A, Unit]{action}{reader}
+/// e.g. var i = -1; with tap { i = i + 1; i }; driver()
+def tap[A] { action: () => A / stop } { driver: () => Unit / next[A] }: Unit =
+  returning::tap[A, Unit]{action}{driver}
 
 /// Runs the stream as a message queue,
 /// handling each of its elements that can produce new elements ("messages"),
@@ -42,8 +42,8 @@ def tap[A] { action: () => A / stop } { reader: () => Unit / read[A] }: Unit =
 def fix[T] { one: T => Unit / emit[T] } { stream: => Unit / emit[T] }: Unit =
   try {
     stream()
-  } with emit[T] { value =>
-    fix {one} { one(value) }
+  } with emit[T] { item =>
+    fix {one} { one(item) }
     resume(())
   }
 
@@ -58,7 +58,7 @@ def some[A] { action: () => A / stop }: Unit / { emit[A], fail } = {
 
 
 /// In Effekt lower bounds are inclusive and upper bounds are exclusive
-record Indexed[A](index: Int, value: A)
+record Indexed[A](index: Int, item: A)
 
 def range(lower: Int, upper: Int): Unit / emit[Int] =
   if (lower < upper) {
@@ -116,7 +116,7 @@ def iterate[A](initial: A) { step: A => A }: Unit / emit[A] = {
 /// ```
 def takeWhile[A] { predicate: A => Bool } { stream: () => Unit / emit[A] }: Unit / emit[A] =
   try { stream() } with emit[A] {
-    case value and predicate(value) => do emit(value); resume(())
+    case item and predicate(item) => do emit(item); resume(())
     case _                          => () // end the stream
   }
 
@@ -146,7 +146,7 @@ def product { stream: () => Unit / emit[Int] }: Int =
 /// ```
 def all[A] { cond: A => Bool } { stream: => Unit / emit[A] }: Bool =
   try { stream(); true } with emit[A] {
-    case value and not(cond(value)) => false
+    case item and not(cond(item)) => false
     case _                          => resume(())
   }
 
@@ -169,7 +169,7 @@ def all[A] { cond: A => Bool } { stream: => Unit / emit[A] }: Bool =
 /// ```
 def any[A] { cond: A => Bool } { stream: => Unit / emit[A] }: Bool =
   try { stream(); false } with emit[A] {
-    case value and cond(value) => true
+    case item and cond(item) => true
     case _                     => resume(())
   }
 
@@ -196,8 +196,8 @@ def countIf[A] { shouldCount: A => Bool } { stream: () => Unit / emit[A] }: Int
 def count[A] { stream: () => Unit / emit[A] }: Int =
   countIf[A] { _ => true } {stream}
 
-def source[A] { stream: () => Unit / emit[A] } { reader: () => Unit / read[A] }: Unit =
-  returning::source[A, Unit]{stream}{reader}
+def source[A] { stream: () => Unit / emit[A] } { driver: () => Unit / next[A] }: Unit =
+  returning::source[A, Unit]{stream}{driver}
 
 /// Combines two streams together calling action on pairs in lockstep.
 /// Terminates when either of them terminates.
@@ -206,7 +206,7 @@ def zip[A, B] { stream1: () => Unit / emit[A] } { stream2: () => Unit / emit[B]
   with source[B] { stream2 }
 
   loop {
-    action(do read(), do read())
+    action(do next[A](), do next[B]())
   }
 }
 
@@ -218,15 +218,15 @@ def zipLongest[A, B] { stream1: () => Unit / emit[A] } { stream2: () => Unit / e
 
   loop {
      try {
-      val a = do read[A]()
+      val a = do next[A]()
       try {
-        val b = do read[B]()
+        val b = do next[B]()
         action(Both(a, b))
       } with stop { () =>
         action(This(a))
       }
     } with stop{ () =>
-      val b = do read[B]()
+      val b = do next[B]()
       action(That(b))
     }
   }
@@ -328,8 +328,8 @@ def tee[A]{ cons1: { => Unit / emit[A] } => Unit }{ cons2: { => Unit / emit[A] }
 /// ```
 def first[A] { stream: () => Unit / emit[A] }: A / fail = {
   try {
-    def body(): A = { stream(); do fail() }
-    body()
+    stream()
+    do fail().absurd
   } with emit[A] { a => a }
 }
 
@@ -338,8 +338,8 @@ def first[A] { stream: () => Unit / emit[A] }: A / fail = {
 def nth[A](n: Int){ stream: () => Unit / emit[A] }: A / fail = {
   var m = n
   try {
-    def body(): A = { stream(); do fail() }
-    body()
+    stream()
+    do fail().absurd
   } with emit[A] { a =>
     if (m == 0) {
       return a
@@ -350,6 +350,16 @@ def nth[A](n: Int){ stream: () => Unit / emit[A] }: A / fail = {
   }
 }
 
+// Peeking
+// -------
+
+/// Return the next item without advancing.
+effect peek[A](): A / stop
+
+/// Provide the ability to peek when consuming a stream.
+def peeking[A] { peeker: () => Unit / {next[A], peek[A]} }: Unit / next[A] =
+  returning::peeking[A, Unit]{peeker}
+
 // Counting and padding
 // --------------------
 
@@ -380,25 +390,25 @@ def tracking[A]{ body: => Unit / { emit[A], getPos } }: Unit / emit[A] =
 namespace returning {
 
 /// Canonical handler of push streams that performs `action` for every
-/// value emitted by `stream`.
+/// item emitted by `stream`.
 def for[A, R] { stream: () => R / emit[A] } { action: A => Unit }: R =
   try {
     stream()
-  } with emit[A] { value =>
-    resume(action(value))
+  } with emit[A] { item =>
+    resume(action(item))
   }
 
 def map[A, B, R] { function: A => B } { stream: () => R / emit[A] }: R / emit[B] =
   try {
     stream()
-  } with emit[A] { value =>
-    resume(do emit(function(value)))
+  } with emit[A] { item =>
+    resume(do emit(function(item)))
   }
 
-def tap[A, R] { action: () => A / stop } { reader: () => R / read[A] }: R =
+def tap[A, R] { action: () => A / stop } { driver: () => R / next[A] }: R =
   try {
-    reader()
-  } with read[A] { () =>
+    driver()
+  } with next[A] { () =>
     resume { action() }
   }
 
@@ -460,7 +470,7 @@ def product[R] { stream: () => R / emit[Int] }: (R, Int) = {
   }
 }
 
-def source[A, R] { stream: () => Unit / emit[A] } { reader: () => R / read[A] }: R = {
+def source[A, R] { stream: () => Unit / emit[A] } { driver: () => R / next[A] }: R = {
   var next = box { None() }
   next = box {
     try {
@@ -473,12 +483,42 @@ def source[A, R] { stream: () => Unit / emit[A] } { reader: () => R / read[A] }:
     }
   }
   try {
-    reader()
-  } with read[A] {
+    driver()
+  } with next[A] {
     resume {
       next().getOrElse { do stop() }
     }
   }
 }
 
+/// Provide the ability to peek when consuming a stream.
+def peeking[A, R] { peeker: () => R / {next[A], peek[A]} }: R / next[A] = {
+  def upstream(): A / stop = do next()
+  var last = None()
+  try {
+    peeker()
+  } with peek[A] { () =>
+    resume {
+      last match {
+        case None() =>
+          val t = upstream()
+          last = Some(t)
+          return t
+        case Some(t) =>
+          return t
+      }
+    }
+  } with next[A] {
+    resume {
+      last match {
+        case None() =>
+          upstream()
+        case Some(t) =>
+          last = None()
+          return t
+      }
+    }
+  }
+}
+
 }

package/libraries/common/string.effekt

@@ -237,26 +237,30 @@ extern def unsafeCharAt(str: String, n: Int) at {}: Char =
 // Streaming
 // ---------
 
-def feed[R](string: String) { reader: () => R / read[Char] } =
-  feed(string.fromString) {
-    decodeUTF8 {
-      reader()
-    }
-  }
+def feed[R](string: String) { driver: () => R / next[Char] } =
+  feed(string.fromString) { decodeUTF8 { driver() } }
 
 def each(string: String): Unit / emit[Char] =
   feed(string) {
     loop {
-      do emit(do read())
+      do emit(do next())
     }
   }
 
+def collect(capacity: Int) { stream: () => Unit / emit[Char] }: String =
+  returning::collect[Unit](capacity){stream}.second
+
 def collect { stream: () => Unit / emit[Char] }: String =
-  returning::collect[Unit]{stream}.second
+  collect(4){stream}
 
 namespace returning {
-  def collect[R] { stream: () => R / emit[Char] }: (R, String) = {
-    val (result, bytes) = bytearray::returning::collect[R] { encodeUTF8 { stream } }
+
+  def collect[R](capacity: Int) { stream: () => R / emit[Char] }: (R, String) = {
+    val (result, bytes) = bytearray::returning::collect[R](capacity) { encodeUTF8 { stream } }
     (result, bytes.toString)
   }
+
+  def collect[R] { stream: () => R / emit[Char] }: (R, String) =
+    returning::collect(4){stream}
+
 }

package/libraries/common/test.effekt

@@ -46,10 +46,10 @@ def assert(obtained: String, expected: String): Unit / { Assertion, Formatted }
   assertEqual(obtained, expected) { (x, y) => x == y } { x => show(x) }
 
 def assertEqual[A](obtained: A, expected: A, msg: String): Unit / Assertion =
-  assertEqual(obtained, expected, msg) { (x, y) => x.equals(y) }
+  assertEqual(obtained, expected, msg) { (x, y) => x.genericEquals(y) }
 
 def assertEqual[A](obtained: A, expected: A): Unit / { Assertion, Formatted } =
-  assertEqual(obtained, expected) { (x, y) => x.equals(y) } { x => x.show }
+  assertEqual(obtained, expected) { (x, y) => x.genericEquals(y) } { x => x.genericShow }
 
 def assertEqual[A](obtained: A, expected: A, msg: String) { equals: (A, A) => Bool }: Unit / Assertion =
   do assert(equals(obtained, expected), msg)

package/libraries/js/effekt_runtime.js

@@ -1,46 +1,60 @@
-// Complexity of state:
-//
-//  get: O(1)
-//  set: O(1)
-//  capture: O(1)
-//  restore: O(|write operations since capture|)
+
+// Sentinel: a node whose .value is Mem is the current root.
 const Mem = null
 
 // reusable buffer for rerooting
 const _rerootPath = []
 
-function Arena() {
-  const s = {
-    root: { value: Mem },
-    generation: 0,
-    fresh: (v) => {
-      const r = {
-        value: v,
-        generation: s.generation,
-        store: s,
-        set: (v) => {
-          const s = r.store
-          const r_gen = r.generation
-          const s_gen = s.generation
-
-          if (r_gen == s_gen) {
-            r.value = v;
-          } else {
-            const root = { value: Mem }
-            // update store
-            s.root.value = { ref: r, value: r.value, generation: r_gen, root: root }
-            s.root = root
-            r.value = v
-            r.generation = s_gen
-          }
-        }
-      };
-      return r
-    },
-    // not implemented
-    newRegion: () => s
-  };
-  return s
+/**
+ * A mutable reference inside an `Arena`.
+ */
+class Ref {
+  constructor(v, s) {
+    this.value = v;
+    this.generation = s.generation;
+    this.store = s;
+  }
+
+  set(v) {
+    const s     = this.store;
+    const r_gen = this.generation;
+    const s_gen = s.generation;
+    if (r_gen === s_gen) {
+      this.value = v;
+    } else {
+      const root   = { value: Mem };
+      s.root.value = { ref: this, value: this.value, generation: r_gen, root };
+
+      s.root          = root;
+      this.value      = v;
+      this.generation = s_gen;
+    }
+  }
+}
+
+/**
+ * A snapshottable arena: a bag of `Ref`s whose collective state can be
+ * captured in O(1) and restored in O(#writes since capture).
+ */
+class Arena {
+  constructor() {
+    this.root       = { value: Mem };
+    this.generation = 0;
+  }
+
+  /**
+   * Allocate a new reference with initial value v.
+   */
+  fresh(v) {
+    return new Ref(v, this);
+  }
+
+  /**
+   * Region support (not implemented!).
+   */
+  newRegion() {
+    return this;
+  }
 }
 
 function snapshot(s) {
@@ -84,10 +98,8 @@ function restore(store, snap) {
 
 // Common Runtime
 // --------------
-let _prompt = 1;
-
 const TOPLEVEL_K = (x, ks) => { throw { computationIsDone: true, result: x } }
-const TOPLEVEL_KS = { prompt: 0, arena: Arena(), rest: null }
+const TOPLEVEL_KS = { stack: null, prompt: Symbol("toplevel"), arena: new Arena(), rest: null }
 
 function THUNK(f) {
   f.thunk = true
@@ -106,9 +118,9 @@ const RETURN = (x, ks) => ks.rest.stack(x, ks.rest)
 
 // HANDLE(ks, ks, (p, ks, k) => { STMT })
 function RESET(prog, ks, k) {
-  const prompt = _prompt++;
+  const prompt = Symbol(); // gensym
   const rest = { stack: k, prompt: ks.prompt, arena: ks.arena, rest: ks.rest }
-  return prog(prompt, { prompt, arena: Arena([]), rest }, RETURN)
+  return prog(prompt, { stack: null, prompt, arena: new Arena(), rest }, RETURN)
 }
 
 function SHIFT(p, body, ks, k) {

package/libraries/llvm/io.c

@@ -576,61 +576,6 @@ void c_yield(Stack stack) {
     c_timer_start(0, stack);
 }
 
-// Signals
-// --------
-
-typedef enum { INITIAL, NOTIFIED } signal_state_t;
-
-typedef struct {
-    uint64_t rc;
-    void* eraser;
-    signal_state_t state;
-    struct Pos value;
-    Stack stack;
-} Signal;
-
-void c_signal_erase(void *envPtr) {
-    // envPtr points to a Signal _after_ the eraser, so let's adjust it to point to the beginning.
-    Signal *signal = (Signal*) (envPtr - offsetof(Signal, state));
-    erasePositive(signal->value);
-    if (signal->stack != NULL) { eraseStack(signal->stack); }
-}
-
-struct Pos c_signal_make() {
-    Signal* f = (Signal*)malloc(sizeof(Signal));
-
-    f->rc = 0;
-    f->eraser = c_signal_erase;
-    f->state = INITIAL;
-    f->value = (struct Pos) { .tag = 0, .obj = NULL, };
-    f->stack = NULL;
-
-    return (struct Pos) { .tag = 0, .obj = f, };
-}
-
-void c_signal_notify(struct Pos signal, struct Pos value, Stack stack) {
-    Signal* f = (Signal*)signal.obj;
-    switch (f->state) {
-        case INITIAL: {
-            f->state = NOTIFIED;
-            f->value = value;
-            f->stack = stack;
-            erasePositive(signal);
-            break;
-        }
-        case NOTIFIED: {
-            struct Pos other_value = f->value;
-            f->value = (struct Pos) { .tag = 0, .obj = NULL, };
-            Stack other_stack = f->stack;
-            f->stack = NULL;
-            erasePositive(signal);
-            resume_Pos(other_stack, value);
-            resume_Pos(stack, other_value);
-            break;
-        }
-    }
-}
-
 // Subprocesses
 // ------------
 

package/licenses/eclipse public license, version 2.0 - epl-2.0.html

@@ -1,5 +1,5 @@
 <!doctype html><html lang=en><head><meta charset=utf-8><meta http-equiv=X-UA-Compatible content="IE=edge"><meta name=viewport content="width=device-width,initial-scale=1"><title>Eclipse Public License 2.0 (EPL) | The Eclipse Foundation</title>
-<meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/og-image.jpg"><meta name=twitter:image content="https://www.eclipse.org/images/og-image.jpg"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.144.2"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1774203628"><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a href=#main class=skip-link>Skip to content</a><div class=eclipsefdn-featured-story-banner data-publish-target=eclipse_org></div><header class="header-wrapper header-wrapper" id=header><div class="navigation-bar dark"><div class=container><div class=navigation-bar-inner><div class=navigation-bar-left><a class="focus-highlight focus-inverse" href=/><img class=navigation-bar-brand src=https://www.eclipse.org/eclipse.org-common/themes/solstice/public/images/logo/eclipse-foundation-white-orange.svg alt="Eclipse Foundation"></a></div><nav class="navigation-bar-nav hidden-xs hidden-sm"><ul><li><button type=button class="btn btn-link" data-target=join-us-menu>Join us</button></li><li><button type=button class="btn btn-link" data-target=what-we-do-menu>What we do</button></li><li><button type=button class="btn btn-link" data-target=resources-menu>Resources</button></li><li><button type=button class="btn btn-link" data-target=about-us-menu>About us</button></li></ul></nav><div class=navigation-bar-right><div class="navigation-bar-controls hidden-xs hidden-sm"><ul><li class=dropdown><a class="dropdown-toggle link-unstyled focus-highlight" tabindex=0 id=search-dropdown-toggle data-toggle=dropdown href=# aria-label=Search><i class="fa-solid fa-magnifying-glass" aria-hidden=true></i></a><form class="search-bar dropdown-menu dropdown-menu-right" aria-labelledby=search-dropdown-toggle action=https://www.eclipse.org/home/search/ method=get><input class=search-bar-input name=q placeholder=Search>
+<meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/og-image.jpg"><meta name=twitter:image content="https://www.eclipse.org/images/og-image.jpg"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.144.2"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1776622808"><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a href=#main class=skip-link>Skip to content</a><div class=eclipsefdn-featured-story-banner data-publish-target=eclipse_org></div><header class="header-wrapper header-wrapper" id=header><div class="navigation-bar dark"><div class=container><div class=navigation-bar-inner><div class=navigation-bar-left><a class="focus-highlight focus-inverse" href=/><img class=navigation-bar-brand src=https://www.eclipse.org/eclipse.org-common/themes/solstice/public/images/logo/eclipse-foundation-white-orange.svg alt="Eclipse Foundation"></a></div><nav class="navigation-bar-nav hidden-xs hidden-sm"><ul><li><button type=button class="btn btn-link" data-target=join-us-menu>Join us</button></li><li><button type=button class="btn btn-link" data-target=what-we-do-menu>What we do</button></li><li><button type=button class="btn btn-link" data-target=resources-menu>Resources</button></li><li><button type=button class="btn btn-link" data-target=about-us-menu>About us</button></li></ul></nav><div class=navigation-bar-right><div class="navigation-bar-controls hidden-xs hidden-sm"><ul><li class=dropdown><a class="dropdown-toggle link-unstyled focus-highlight" tabindex=0 id=search-dropdown-toggle data-toggle=dropdown href=# aria-label=Search><i class="fa-solid fa-magnifying-glass" aria-hidden=true></i></a><form class="search-bar dropdown-menu dropdown-menu-right" aria-labelledby=search-dropdown-toggle action=https://www.eclipse.org/home/search/ method=get><input class=search-bar-input name=q placeholder=Search>
 <button class="btn btn-link" type=submit>
 <i class="fa-solid fa-arrow-right"></i></button></form></li><li class=dropdown><a class="dropdown-toggle focus-highlight" id=user-menu href=# data-toggle=dropdown aria-haspopup=true aria-expanded=false tabindex=0><i class="fa-regular fa-user" aria-hidden=true></i></a><ul class="dropdown-menu dropdown-menu-right" aria-labelledby=user-menu><li><a href=https://accounts.eclipse.org/user><i class="fa-solid fa-user margin-right-10" aria-hidden=true></i>
 View my account</a></li><li><a href=https://accounts.eclipse.org/user/edit><i class="fa-solid fa-edit margin-right-10" aria-hidden=true></i>
@@ -8,7 +8,7 @@ Manage cookies</a></li></ul></li></ul></div><div class="navigation-bar-ctas hidd
 <i class="fa-solid fa-chevron-down" aria-hidden=true></i></a><ul class=collapse id=mobile-menu-join-us><li><a role=button href=#mobile-menu-membership data-toggle=collapse aria-expanded=false aria-controls=mobile-menu-membership>Membership
 <i class="fa-solid fa-chevron-down" aria-hidden=true></i></a><ul class=collapse id=mobile-menu-membership><li><a href=https://www.eclipse.org/membership/>Become a member</a></li><li><a href=https://www.eclipse.org/membership#tab-fees>Review membership fees</a></li><li><a href=https://membership.eclipse.org/portal target=_blank>Access member portal</a></li></ul></li><li><a role=button href=#mobile-menu-sponsorship-2 data-toggle=collapse aria-expanded=false aria-controls=mobile-menu-sponsorship-2>Sponsorship
 <i class="fa-solid fa-chevron-down" aria-hidden=true></i></a><ul class=collapse id=mobile-menu-sponsorship-2><li><a href=https://www.eclipse.org/sponsor/>Support us as a sponsor</a></li></ul></li><li><a role=button href=#mobile-menu-contribute data-toggle=collapse aria-expanded=false aria-controls=mobile-menu-contribute>Contribute
-<i class="fa-solid fa-chevron-down" aria-hidden=true></i></a><ul class=collapse id=mobile-menu-contribute><li><a href=https://www.eclipse.org/contribute/>How to contribute</a></li><li><a href=https://www.eclipse.org/projects/training/>Committer training</a></li></ul></li><li><a role=button href=#mobile-menu-collaborate-with-us data-toggle=collapse aria-expanded=false aria-controls=mobile-menu-collaborate-with-us>Collaborate with us
+<i class="fa-solid fa-chevron-down" aria-hidden=true></i></a><ul class=collapse id=mobile-menu-contribute><li><a href=https://www.eclipse.org/contribute/>How to contribute</a></li><li><a href=https://www.eclipse.org/projects/bring-your-project/>Bring us your project</a></li><li><a href=https://www.eclipse.org/projects/training/>Committer training</a></li></ul></li><li><a role=button href=#mobile-menu-collaborate-with-us data-toggle=collapse aria-expanded=false aria-controls=mobile-menu-collaborate-with-us>Collaborate with us
 <i class="fa-solid fa-chevron-down" aria-hidden=true></i></a><ul class=collapse id=mobile-menu-collaborate-with-us><li><a href=https://www.eclipse.org/org/working-groups/explore/>Join an existing industry collaboration</a></li><li><a href=https://www.eclipse.org/collaborations/#start-collaboration>Start a new collaboration</a></li></ul></li></ul></li><li><a role=button href=#mobile-menu-what-we-do data-toggle=collapse aria-expanded=false aria-controls=mobile-menu-what-we-do>What we do
 <i class="fa-solid fa-chevron-down" aria-hidden=true></i></a><ul class=collapse id=mobile-menu-what-we-do><li><a role=button href=#mobile-menu-projects data-toggle=collapse aria-expanded=false aria-controls=mobile-menu-projects>Projects
 <i class="fa-solid fa-chevron-down" aria-hidden=true></i></a><ul class=collapse id=mobile-menu-projects><li><a href=https://projects.eclipse.org/>Explore projects</a></li><li><a href=https://www.eclipse.org/specifications/>View specifications</a></li></ul></li><li><a role=button href=#mobile-menu-industry-collaborations data-toggle=collapse aria-expanded=false aria-controls=mobile-menu-industry-collaborations>Industry collaborations
@@ -26,7 +26,7 @@ Manage cookies</a></li></ul></li></ul></div><div class="navigation-bar-ctas hidd
 <i class="fa-solid fa-chevron-down" aria-hidden=true></i></a><ul class=collapse id=mobile-menu-the-foundation><li><a href=https://www.eclipse.org/about/>About</a></li><li><a href=https://www.eclipse.org/org/foundation/staff/>Meet the team</a></li><li><a href=https://www.eclipse.org/org/governance/>Board & governance</a></li></ul></li><li><a role=button href=#mobile-menu-our-members data-toggle=collapse aria-expanded=false aria-controls=mobile-menu-our-members>Our members
 <i class="fa-solid fa-chevron-down" aria-hidden=true></i></a><ul class=collapse id=mobile-menu-our-members><li><a href=https://www.eclipse.org/membership/>Become a member</a></li><li><a href=https://www.eclipse.org/membership/explore-membership/>View member directory</a></li><li><a href=https://membership.eclipse.org/portal target=_blank>Access member portal</a></li></ul></li><li><a role=button href=#mobile-menu-sponsorship data-toggle=collapse aria-expanded=false aria-controls=mobile-menu-sponsorship>Sponsorship
 <i class="fa-solid fa-chevron-down" aria-hidden=true></i></a><ul class=collapse id=mobile-menu-sponsorship><li><a href=https://www.eclipse.org/sponsor/>Become a sponsor</a></li><li><a href=https://www.eclipse.org/org/our-sponsors/>Sponsor directory</a></li></ul></li><li><a role=button href=#mobile-menu-more data-toggle=collapse aria-expanded=false aria-controls=mobile-menu-more>More
-<i class="fa-solid fa-chevron-down" aria-hidden=true></i></a><ul class=collapse id=mobile-menu-more><li><a href=https://www.eclipse.org/careers/>Join our team</a></li><li><a href=https://www.eclipse.org/org/artwork/>Explore our brand</a></li><li><a href=https://www.eclipse.org/org/foundation/contact.php>Contact us</a></li></ul></li></ul></li></ul></nav></div><div class=mega-menu><div class="menu hidden" id=join-us-menu><div class=container><nav><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-user-group" aria-hidden=true></i></span><h2 class=menu-heading>Membership</h2></div><ul><li><a href=https://www.eclipse.org/membership/>Become a member</a></li><li><a href=https://www.eclipse.org/membership#tab-fees>Review membership fees</a></li><li><a href=https://membership.eclipse.org/portal target=_blank>Access member portal</a></li></ul></div><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-bookmark" aria-hidden=true></i></span><h2 class=menu-heading>Sponsorship</h2></div><ul><li><a href=https://www.eclipse.org/sponsor/>Support us as a sponsor</a></li></ul></div><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-handshake-simple" aria-hidden=true></i></span><h2 class=menu-heading>Contribute</h2></div><ul><li><a href=https://www.eclipse.org/contribute/>How to contribute</a></li><li><a href=https://www.eclipse.org/projects/training/>Committer training</a></li></ul></div><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-users" aria-hidden=true></i></span><h2 class=menu-heading>Collaborate with us</h2></div><ul><li><a href=https://www.eclipse.org/org/working-groups/explore/>Join an existing industry collaboration</a></li><li><a href=https://www.eclipse.org/collaborations/#start-collaboration>Start a new collaboration</a></li></ul></div></nav></div></div><div class="menu hidden" id=what-we-do-menu><div class=container><nav><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-puzzle-piece" aria-hidden=true></i></span><h2 class=menu-heading>Projects</h2></div><ul><li><a href=https://projects.eclipse.org/>Explore projects</a></li><li><a href=https://www.eclipse.org/specifications/>View specifications</a></li></ul></div><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-building" aria-hidden=true></i></span><h2 class=menu-heading>Industry collaborations</h2></div><ul><li><a href=https://www.eclipse.org/org/working-groups/explore/>Explore collaborations</a></li><li><a href=https://www.eclipse.org/org/working-groups/about/>Join a working group</a></li><li><a href=https://www.eclipse.org/collaborations/interest-groups/>Join an interest group</a></li><li><a href=https://www.eclipse.org/org/value/>Read success stories</a></li></ul></div><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-laptop-code" aria-hidden=true></i></span><h2 class=menu-heading>Core services</h2></div><ul><li><a href=https://www.eclipse.org/org/services/>Explore core services</a></li><li><a href=https://www.eclipse.org/security/>Ensure project security</a></li></ul></div><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-bullseye" aria-hidden=true></i></span><h2 class=menu-heading>Key initiatives</h2></div><ul><li><a href=https://www.eclipse.org/topics/edge-and-iot/>Embedded & IoT</a></li><li><a href=https://www.eclipse.org/topics/cloud-native/>Enterprise Java</a></li><li><a href=https://dataspace.eclipse.org/>Data sovereignty</a></li><li><a href=https://www.eclipse.org/security/>Security & privacy</a></li><li><a href=https://www.eclipse.org/topics/ide/>Developer tools & IDEs</a></li><li><a href=https://aieclipse.org/ target=_blank>AI & emerging technologies</a>
+<i class="fa-solid fa-chevron-down" aria-hidden=true></i></a><ul class=collapse id=mobile-menu-more><li><a href=https://www.eclipse.org/careers/>Join our team</a></li><li><a href=https://www.eclipse.org/org/artwork/>Explore our brand</a></li><li><a href=https://www.eclipse.org/org/foundation/contact.php>Contact us</a></li></ul></li></ul></li></ul></nav></div><div class=mega-menu><div class="menu hidden" id=join-us-menu><div class=container><nav><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-user-group" aria-hidden=true></i></span><h2 class=menu-heading>Membership</h2></div><ul><li><a href=https://www.eclipse.org/membership/>Become a member</a></li><li><a href=https://www.eclipse.org/membership#tab-fees>Review membership fees</a></li><li><a href=https://membership.eclipse.org/portal target=_blank>Access member portal</a></li></ul></div><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-bookmark" aria-hidden=true></i></span><h2 class=menu-heading>Sponsorship</h2></div><ul><li><a href=https://www.eclipse.org/sponsor/>Support us as a sponsor</a></li></ul></div><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-handshake-simple" aria-hidden=true></i></span><h2 class=menu-heading>Contribute</h2></div><ul><li><a href=https://www.eclipse.org/contribute/>How to contribute</a></li><li><a href=https://www.eclipse.org/projects/bring-your-project/>Bring us your project</a></li><li><a href=https://www.eclipse.org/projects/training/>Committer training</a></li></ul></div><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-users" aria-hidden=true></i></span><h2 class=menu-heading>Collaborate with us</h2></div><ul><li><a href=https://www.eclipse.org/org/working-groups/explore/>Join an existing industry collaboration</a></li><li><a href=https://www.eclipse.org/collaborations/#start-collaboration>Start a new collaboration</a></li></ul></div></nav></div></div><div class="menu hidden" id=what-we-do-menu><div class=container><nav><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-puzzle-piece" aria-hidden=true></i></span><h2 class=menu-heading>Projects</h2></div><ul><li><a href=https://projects.eclipse.org/>Explore projects</a></li><li><a href=https://www.eclipse.org/specifications/>View specifications</a></li></ul></div><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-building" aria-hidden=true></i></span><h2 class=menu-heading>Industry collaborations</h2></div><ul><li><a href=https://www.eclipse.org/org/working-groups/explore/>Explore collaborations</a></li><li><a href=https://www.eclipse.org/org/working-groups/about/>Join a working group</a></li><li><a href=https://www.eclipse.org/collaborations/interest-groups/>Join an interest group</a></li><li><a href=https://www.eclipse.org/org/value/>Read success stories</a></li></ul></div><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-laptop-code" aria-hidden=true></i></span><h2 class=menu-heading>Core services</h2></div><ul><li><a href=https://www.eclipse.org/org/services/>Explore core services</a></li><li><a href=https://www.eclipse.org/security/>Ensure project security</a></li></ul></div><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-bullseye" aria-hidden=true></i></span><h2 class=menu-heading>Key initiatives</h2></div><ul><li><a href=https://www.eclipse.org/topics/edge-and-iot/>Embedded & IoT</a></li><li><a href=https://www.eclipse.org/topics/cloud-native/>Enterprise Java</a></li><li><a href=https://dataspace.eclipse.org/>Data sovereignty</a></li><li><a href=https://www.eclipse.org/security/>Security & privacy</a></li><li><a href=https://www.eclipse.org/topics/ide/>Developer tools & IDEs</a></li><li><a href=https://aieclipse.org/ target=_blank>AI & emerging technologies</a>
 <i class="external-icon fa-solid fa-arrow-up-right-from-square" aria-hidden=true></i></li><li><a href=https://www.eclipse.org/topics/automotive-and-mobility/>Automotive & mobility</a></li><li><a href=https://orcwg.org/ target=_blank>Policy & compliance</a>
 <i class="external-icon fa-solid fa-arrow-up-right-from-square" aria-hidden=true></i></li></ul></div><div class=submenu style=grid-column:-3;margin-top:-20rem><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-flag" aria-hidden=true></i></span><h2 class=menu-heading>Strategic services</h2></div><ul><li><a href=https://www.eclipse.org/research/>Transform research into open source</a></li><li><a href=https://www.eclipse.org/os4biz/services/>Engage professional services</a></li><li><a href=https://www.eclipse.org/os4biz/ospo/>Build your OSPO</a></li></ul></div></nav></div></div><div class="menu hidden" id=resources-menu><div class=container><nav><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-bullhorn" aria-hidden=true></i></span><h2 class=menu-heading>What's happening</h2></div><ul><li><a href=https://blogs.eclipse.org/>Read our blog</a></li><li><a href=https://accounts.eclipse.org/mailing-list>Join mailing lists</a></li><li><a href=https://newsroom.eclipse.org/>Get news updates</a></li><li><a href=https://www.eclipse.org/community/eclipse_newsletter>Subscribe to newsletter</a></li><li><a href=https://opensourceglobalvoices.org/ target=_blank>Explore OSS global voices</a>
 <i class="external-icon fa-solid fa-arrow-up-right-from-square" aria-hidden=true></i></li></ul></div><div class=submenu><div class=menu-heading-group><span class=menu-pre><i class="fa-solid fa-calendar-days" aria-hidden=true></i></span><h2 class=menu-heading>Events</h2></div><ul><li><a href=https://events.eclipse.org/>Explore events</a></li><li><a href=https://www.eclipse.org/events/open-community-meetups/>Join a community meetup</a></li><li><a href=https://www.eclipse.org/events/open-community-webinars/>Attend a webinar</a></li><li><a href=https://www.ocxconf.org/ target=_blank>Join OCX</a>
@@ -43,4 +43,4 @@ Manage cookies</a></li></ul></li></ul></div><div class="navigation-bar-ctas hidd
 <i class="fa-brands fa-youtube fa-stack-1x fa-inverse" aria-hidden=true></i></span></a></li><li><a href=https://www.linkedin.com/company/eclipse-foundation aria-label=LinkedIn><span class=fa-stack><i class="fa-solid fa-circle fa-stack-2x" aria-hidden=true></i>
 <i class="fa-brands fa-linkedin-in fa-stack-1x fa-inverse" aria-hidden=true></i></span></a></li></ul></section><section class=newsletter-section><p class="subheading text-tertiary">Stay up to date</p><h2>Subscribe to our newsletter</h2><form class="newsletter-form margin-top-40" id=mc-embedded-subscribe-form action="https://eclipse.us6.list-manage.com/subscribe/post?u=eaf9e1f06f194eadc66788a85&amp;id=e7538485cd&amp;f_id=00f9c2e1f0" method=post novalidate target=_blank><div class=text-field-outlined><input name=EMAIL type=email placeholder="Your email">
 <button class=newsletter-form-submit type=submit name=subscribe id=mc-embedded-subscribe aria-label=Submit>
-<i class="fa-solid fa-arrow-right" aria-hidden=true></i></button></div></form></section><section class=footer-bottom-section><img class="img-responsive logo" src=https://www.eclipse.org/eclipse.org-common/themes/solstice/public/images/logo/eclipse-foundation-white.svg alt="Eclipse Foundation"><div class=legal-information><p>Copyright &copy; Eclipse Foundation AISBL. All rights reserved.</p><ul class=legal-links><li><a href=https://www.eclipse.org/legal/privacy/>Privacy policy</a></li><li><a href=https://www.eclipse.org/legal/terms-of-use/>Terms of use</a></li><li><a href=https://www.eclipse.org/legal/compliance/>Compliance</a></li><li><a href=https://www.eclipse.org/legal/>Legal</a></li></ul></div></section></div></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1774203628"></script><script>(function(){})(jQuery,document)</script></div></body></html>
+<i class="fa-solid fa-arrow-right" aria-hidden=true></i></button></div></form></section><section class=footer-bottom-section><img class="img-responsive logo" src=https://www.eclipse.org/eclipse.org-common/themes/solstice/public/images/logo/eclipse-foundation-white.svg alt="Eclipse Foundation"><div class=legal-information><p>Copyright &copy; Eclipse Foundation AISBL. All rights reserved.</p><ul class=legal-links><li><a href=https://www.eclipse.org/legal/privacy/>Privacy policy</a></li><li><a href=https://www.eclipse.org/legal/terms-of-use/>Terms of use</a></li><li><a href=https://www.eclipse.org/legal/compliance/>Compliance</a></li><li><a href=https://www.eclipse.org/legal/>Legal</a></li></ul></div></section></div></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1776622809"></script><script>(function(){})(jQuery,document)</script></div></body></html>