Thread 105566497

Is Rust making a mistake by not giving us working APIs to access the AST?

learn some proper language

>>105566497 (OP)
because rare is the language that wants to formalize its ast. woo woo implementation details

>>105566497 (OP)
Use case?

Just write your own parser, bro.

>>105567845
what even is this from. why should I care?

>>105567918
you shouldn't, you are a nocoder

>>105566967
>>105566497 (OP)
it will most likely happen at some point.
in order to make a rust compiler, you have to use the exact same tokens as rustc for proc macros support.

proper rust implementation will likely require to follow rustc's ast. the issue with standardizing an ast is that it's harded to add new language features since you need to update the ast definition. maybe it will be like java where each compiler has it's own ast, but libraries exist to bridge the gaps between different compilers

AST macros are an anti-feature
more trouble than they're worth

>>105566497 (OP)
because cult

>>105567845
Lisp can already do all this lol.

You cannot do this in Rust, because Rust is a bad language.
However, you can do that in Hare, because Hare is a good language.

>>105566497 (OP)
I don't think it will ever happen. Rust is understandably afraid of setting in stone all its internal representations by exposing them as a stable API.
We have to wait several decades until programming languages are "solved" and people aren't so afraid of being left behind anymore.

>>105571133
pick up the phone, Salad

>>105566497 (OP)
https://docs.rs/syn/latest/syn/

>>105571133
any good threads on >>>/c/ drew?

>>105566967
source generators, analyzers. for example C# provides a semantic model of code. and this is much more powerful than AST. this is like reflection, but for compiled source code.

>>105572044
But you can already use procedural macros for this.

>>105571133
HOLY BASED
Rustfags malding

>>105572106
procedural macros are limited, because they only have access to AST, not semantic model

also, in C# you can provide analyzers as a package (https://github.com/Cybermaxs/awesome-analyzers) which can generate code warnings, errors, provide code refactorings (for example, detect a certain code pattern and rewrite it into more optimized form)

>>105571133
/g/ is not ready for this TRVKE

>>105572192
an ast is by definition a "semantic model of code"

>>105571133
TSMT

>>105572192
>procedural macros are limited, because they only have access to AST
But OP claims they do not. That's what I am talking about.

>>105571133
This.

>>105571133
Rustrannies will never reach this level of basedness. Let's be real here, they will never be real womens

>>105571133
QRD? Where can I learn Hare? Where can I find out more about it? I am interested.
I hope it is not one of those languages where the creator is Ukraine supporter and makes sure everyone knows it.

>>105572500
You are actively practicing the identity politics you pretend to hate. I have a contract with each of at least eight search giants.

>>105571133
/thread

>>105566497 (OP)
Because it's a meme/toy language. First we need a spec, then we can talk.