Petr

Petr

Would one-time self-replacing macro/compile-time-function instead of CLI generators be possible?

There is an example in Ash Framework of adding a resource Album into Music domain
mix ash.gen.resource Tunez.Music.Album --extend postgres. It generates a new module Album and modifies Music module – adding the Album into the domain.

I wondered if it would be possible to rather have a compile-time function (macro-ish) that would replace itself this one time during compilation and modify other modules as needed? It would allow developers not to deal with CLI but just use Elixir functions instead in the IDE environment having its usual features (docs, autocompletion, etc.)

To make it a bit more clear, I am imagining something like:

  • Add add_resource "Artist", extend: "postgres" in the defmodule Tunez.Music.
  • During compilation, add_resource would get called replacing itself and modifying Tunez.Music module, and creating Tunez.Music.Artist module
    • It would add resource Tunez.Music.Artist in the resources do ... block.
  • Which means it would have to recompile Tunez.Music after the function add_resource was executed and add Tunez.Music.Artist to the compilation queue.

What do I expect? To hear where this idea breaks down and to learn something new from that about Elixir. (Or possibly, how to achieve this.)

Why am I asking: I am exploring Elixir and its ecosystem and libraries (looks all very promising). I like to learn about languages/frameworks by trying to push at their limits. I would like to have the natural Elixir interface to generate the code instead of dealing with CLI tools myself.

If feasible, I would try to do this to get my hands dirty.

Thanks.

Most Liked

zachdaniel

zachdaniel

Creator of Ash

I think it would be technically doable, but would be relatively complex, and might be able to be done better via things like editor snippets etc. but yeah a macro could call arbitrary code at compile time, including code that replaces it in its own source file.

LostKobrakai

LostKobrakai

Wouldn’t even need to be a macro. When there’s no AST to be replaced with other AST it could potentially even be a function call. Though not sure how much “context” one gets about where exactly a call originated to replace that line.

Should also be quick to “validate”

# lib/commands.ex
Mix.Task.run("ash.gen.resource", ["Tunez.Music.Album", "--extend", "postgres"])

File.write(__ENV__.file, File.stream!(__ENV__.file, :line) |> Enum.at(-1))

Where Next?

Popular in Questions Top

freewebwithme
Using vs code and installed ElixirLS: support and debugger. And I got an error popped up on start up says Failed to run ‘elixir’ comma...
New
minhajuddin
I have seen a lot of code which picks the first element from a list using Enum.at(0) instead of List.first. Is there a reason why people ...
New
bsollish-terakeet
Credo is smart enough to check for (something like) this: assert length(the_list) == 0 with this response: Checking if an enum is empt...
New
gshaw
What is the idiomatic way of matching for not nil in Elixir? E.g., First way: defp halt_if_not_signed_in(conn, signed_in_account) when...
New
pgiesin
This should be a simple problem but I just can’t seem to figure it out. I have a standalone Elixir app that won’t find the database. Dep...
New
Werner
Hi, I’m using Ubuntu 18.04 and after updating to OTP-24.0 yesterday i have this warning when I run “mix local.hex”: 14:57:30.512 [warn] ...
New
myronmarston
The Elixir Typespec docs show the following syntax for keyword lists in typespecs: # ... | [key: type] # keyword lis...
New
alice
Hey, Just curious what are the main benefits of Elixir compared to Clojure? When is Elixir more useful than Clojure and vice versa? Th...
New
hpopp
To simplify some tasks at work, I wrote and published this package yesterday. It’s a simple macro that enables Access behaviour on struct...
New
sabri
Can someone explain the settings of pool_size of Ecto in config file? and what is the recommend size? Thanks
New

Other popular topics Top

Qqwy
Update: How to use the Blogs & Podcasts section You can post links to your blog posts or podcasts either in one of the Official Blog...
3268 119930 1237
New
JDanielMartinez
Hi! May someone helps me, please! I have two apps into an umbrella project: the first one is Database, which manages queries, and the se...
New
JakeBecker
TL;DR: I’ve just released an implementation of Microsoft’s IDE-independent Language Server Protocol for Elixir. It adds language support ...
1140 51847 244
New
Brian
What is the proper way to load a module from a file in to IEX? In the python world, doing something like this pretty standard: from ....
New
Tee
can someone please explain to me how Enum.reduce works with maps
New
lessless
I believe there are people here who are dealing with CSV files import on the daily basis, and since Excel is a really popular tool there ...
New
grych
Hi folks, Few months ago I have announced the proof-of-concept of the library to manipulate the browsers DOM objects directly from Elixi...
639 49522 488
New
New
mcarvalho
What is the difference between System.get_env and Application.get_env? For example, what are best practices to use one versus another.
New
beno
I will often find my self writing things similar to: case some_value do nil -> something() "" -> something() _ -> someth...
New

We're in Beta

About us Mission Statement