# \#proposal

**URL:** https://forum.elixirforum.com/tag/proposal/216.md

[Latest](https://forum.elixirforum.com/latest.md) · [Categories](https://forum.elixirforum.com/categories.md) · [Tags](https://forum.elixirforum.com/tags.md)

---

## [Behest - contract-first workflow for AI-written Elixir (ExUnit + StreamData) and a BEAM language design. Feedback wanted](https://forum.elixirforum.com/t/behest-contract-first-workflow-for-ai-written-elixir-exunit-streamdata-and-a-beam-language-design-feedback-wanted/77339)

<div class="topic-metadata">

**Author:** [@ayarodionov](https://forum.elixirforum.com/u/ayarodionov)\
**Replies:** 3\
**Last updated:** [November 11, 2026, 2:53pm UTC](https://forum.elixirforum.com/t/behest-contract-first-workflow-for-ai-written-elixir-exunit-streamdata-and-a-beam-language-design-feedback-wanted/77339 "2026-11-11T14:53:49Z")

</div>

Hi everyone, I asked Claude (Anthropic’s AI) a question: if AI writes most of the code, what should a language on the BEAM look like? Its answer was to optimize for reviewing, not writing, and it proposed a design. I fo…

---

## [Has Map shorthand syntax in other languages caused you any problems?](https://forum.elixirforum.com/t/has-map-shorthand-syntax-in-other-languages-caused-you-any-problems/15403)

<div class="topic-metadata">

**Author:** [@blatyo](https://forum.elixirforum.com/u/blatyo)\
**Replies:** 29\
**Last updated:** [August 1, 2018, 3:30pm UTC](https://forum.elixirforum.com/t/has-map-shorthand-syntax-in-other-languages-caused-you-any-problems/15403 "2018-08-01T15:30:26Z")

</div>

Map shorthand syntax has been proposed for Elixir many times. The support for adding it seems generally positive, but there are people who express concerns. I have wondered when reading those objections about whether the…

---

## [Proposal to add pattern matching to Ruby](https://forum.elixirforum.com/t/proposal-to-add-pattern-matching-to-ruby/13902)

<div class="topic-metadata">

**Author:** [@c13e](https://forum.elixirforum.com/u/c13e)\
**Replies:** 11\
**Last updated:** [April 29, 2018, 12:48am UTC](https://forum.elixirforum.com/t/proposal-to-add-pattern-matching-to-ruby/13902 "2018-04-29T00:48:03Z")

</div>

Still early, based on experimentation on a forked Ruby interpreter and this presentation from RubyKaigi. Proposed syntax: res = \[:ng, 500\] case res when %p(\[:ng, status\]) p status end Looks… familiar :grin: I’m c…

---

## [Proposal: IEx hints](https://forum.elixirforum.com/t/proposal-iex-hints/3539)

<div class="topic-metadata">

**Author:** [@josevalim](https://forum.elixirforum.com/u/josevalim)\
**Replies:** 36\
**Last updated:** [December 26, 2017, 4:12am UTC](https://forum.elixirforum.com/t/proposal-iex-hints/3539 "2017-12-26T04:12:22Z")

</div>

In Elixir we are continuously trying to improve the experience for developers learning the language. However, there are still common road blocks users run into, despite of the tips and warnings put into the learning mate…