<story><title>Moonbit: Fast, compact and user friendly language for WebAssembly</title><url>https://moonbitlang.com/blog/first-announce/</url></story><parent_chain><item><author>hongbo_zhang</author><text>Hi, I am the lead of this project, you can try it now with our online IDE, &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;try.moonbitlang.com&quot; rel=&quot;nofollow noreferrer&quot;&gt;https:&amp;#x2F;&amp;#x2F;try.moonbitlang.com&lt;/a&gt; (F5 to run)&lt;p&gt;The docs are available &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;moonbitlang&amp;#x2F;moonbit-docs&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;moonbitlang&amp;#x2F;moonbit-docs&lt;/a&gt;, the compiler would be publicly available when we reach the beta status (expected to be the end of Q2 in 2024).&lt;p&gt;Feel free to ask me any question</text></item></parent_chain><comment><author>sizediterable</author><text>These are the usual questions I seek answers to first when seeing a new programming language:&lt;p&gt;&lt;pre&gt;&lt;code&gt;  - What does writing asynchronous code look like
  - Will it have any novel or less mainstream features, e.g.
    - Algebraic effects [1]
    - Contexts&amp;#x2F;Capabilities [2]
    - Linear types [3]
  - Is the type system sound and does it support&amp;#x2F;need type casts
  - Does the language support interfaces&amp;#x2F;traits&amp;#x2F;protocols
  - How rich are generics, e.g.
    - Explicit variance annotations on type parameters
    - Lower or upper bound constraints on type parameters
    - Higher-kinded types
  - Is structural vs nominal subtyping more prevalent
  - Does it have algebraic data types? Generalized algebraic data types?
&lt;/code&gt;&lt;/pre&gt;
[1] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;v2.ocaml.org&amp;#x2F;manual&amp;#x2F;effects.html&quot; rel=&quot;nofollow noreferrer&quot;&gt;https:&amp;#x2F;&amp;#x2F;v2.ocaml.org&amp;#x2F;manual&amp;#x2F;effects.html&lt;/a&gt;&lt;p&gt;[2] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;docs.hhvm.com&amp;#x2F;hack&amp;#x2F;contexts-and-capabilities&amp;#x2F;introduction&quot; rel=&quot;nofollow noreferrer&quot;&gt;https:&amp;#x2F;&amp;#x2F;docs.hhvm.com&amp;#x2F;hack&amp;#x2F;contexts-and-capabilities&amp;#x2F;introdu...&lt;/a&gt;&lt;p&gt;[3] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;austral-lang.org&amp;#x2F;linear-types&quot; rel=&quot;nofollow noreferrer&quot;&gt;https:&amp;#x2F;&amp;#x2F;austral-lang.org&amp;#x2F;linear-types&lt;/a&gt;</text></comment>
<story><title>Moonbit: Fast, compact and user friendly language for WebAssembly</title><url>https://moonbitlang.com/blog/first-announce/</url></story><parent_chain><item><author>hongbo_zhang</author><text>Hi, I am the lead of this project, you can try it now with our online IDE, &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;try.moonbitlang.com&quot; rel=&quot;nofollow noreferrer&quot;&gt;https:&amp;#x2F;&amp;#x2F;try.moonbitlang.com&lt;/a&gt; (F5 to run)&lt;p&gt;The docs are available &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;moonbitlang&amp;#x2F;moonbit-docs&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;moonbitlang&amp;#x2F;moonbit-docs&lt;/a&gt;, the compiler would be publicly available when we reach the beta status (expected to be the end of Q2 in 2024).&lt;p&gt;Feel free to ask me any question</text></item></parent_chain><comment><author>MarcScott</author><text>Your docs at &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;moonbitlang.com&amp;#x2F;docs&amp;#x2F;syntax&amp;#x2F;&quot; rel=&quot;nofollow noreferrer&quot;&gt;https:&amp;#x2F;&amp;#x2F;moonbitlang.com&amp;#x2F;docs&amp;#x2F;syntax&amp;#x2F;&lt;/a&gt; are unreadable due to the text and background colour</text></comment>