Qqwy

Qqwy

TypeCheck Core Team

I stumbled across the following curious tidbit of how Elixir’s parser/compiler works:

defmodule Example do
  def {} do
    "Yes, this is allowed!"
  end
end
iex> Example.{}
"Yes, this is allowed!"

I cannot imagine any serious use-case for this, but it is curious.
I believe the cause is that :{} is a special atom that Elixir uses in its AST-definition to describe tuples with more than two elements.

First 3 of 3 Posts Switch mode

ityonemo

ityonemo

:rofl: My God, I want to use this for so many bad things that I promise to never make public ever.

henrik

henrik

Not the same, but here’s another fun one: How to "expect(…).to" in Elixir – The Pug Automatic

Qqwy

Qqwy OP

TypeCheck Core Team

It is impossible to import the Example module in this case, however, because that will make Elixir complain that you are attempting to override one of its special forms.

That said, it is possible to wrap any piece of Elixir AST in a macro that alters how the code that is passed to it is expanded. In this way you are able to alter even the behaviour of Elixir’s special forms.
One place where I’ve used this in the past is the Solution library, where the clauses of with and case-statements are overridden to have slightly extended support for tuples.
Another is e.g. the experiment I wrote late yesterday evening which allows bare captures to exist in pipes.


@henrik Thanks for sharing that piece of code! Tuple calls are indeed a strange historic artifact.

— All posts loaded —

Where Next? Top

Trending in Discussions Top

AstonJ
As the title says, please share what you’ve been up to with Elixir. Whether that’s been learning it, looking into it, making stuff with i...
2977 91898 914
New
AstonJ
The obligatory hello world thread! Who are you and where are you from? :stuck_out_tongue:
4616 55835 594
New
byu
@chrismccord : I just saw the Extract AGENTS.md from Phoenix.new into phx.new generator commit to the phoenix project. My initial shotgu...
New
arcanemachine
I was working on an Ecto migration and I needed a timestamp. So, for the nth time, I looked up the different data types for timestamps, a...
New
AstonJ
Just a general thread to post chat/news/info relating to AI/ML stuff that may be relevant for Nx now or in the future. Got anything to sh...
New
juhalehtonen
There has been a thread to discuss the Stack Overflow Developer Survey on this forum every year since 2018, so here’s yet another one for...
New
type1fool
I just stumbled on a newly redesigned elixir-lang.org. :tada: It looks like @Software_Mansion did the work, and I think it is generally a...
New

Other Trending Topics Top

JesseHerrick
Hey, I’m Jesse and I’m the main contributor behind Dexter, a full-featured, lightning-fast Elixir LSP optimized for large codebases. It s...
New
jimsynz
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
New
Damirados
Hello everyone. After busy few months I am happy to announce v0.1.0 of Emerge & Solve. They are GUI (Emerge) and State management (S...
New
netoum
Corex is an accessible, unstyled UI component library for Phoenix that integrates Zag.js state machines using Vanilla JavaScript and Live...
New
ausimian
Emily is an Elixir library that runs Nx computations on Apple’s MLX. Install it as the default Nx backend and Nx, defn, Axon, Nx.Serving,...
New
mudasobwa
While I am working on the Language Agnostic Code Audit SaaS, which uses MetaAST (spoiler: I am expecting it to be in a good shape for ann...
New

We're in Beta

About us Mission Statement