this post was submitted on 04 Dec 2023
5 points (100.0% liked)

Programming Languages

1167 readers
1 users here now

Hello!

This is the current Lemmy equivalent of https://www.reddit.com/r/ProgrammingLanguages/.

The content and rules are the same here as they are over there. Taken directly from the /r/ProgrammingLanguages overview:

This community is dedicated to the theory, design and implementation of programming languages.

Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post.

This isn't the right place to ask questions such as "What language should I use for X", "what language should I learn", and "what's your favorite language". Such questions should be posted in /c/learn_programming or /c/programming.

This is the right place for posts like the following:

See /r/ProgrammingLanguages for specific examples

Related online communities

founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] jeffhykin@lemm.ee 4 points 11 months ago (2 children)

Might want to link to some examples, e. g. https://gitlab.inria.fr/coccinelle/coccinelleforrust/-/blob/main/docs/Getting%20Started.md?ref_type=heads

I didn't really understand the usecase till I saw that^

[–] crystal@feddit.de 1 points 11 months ago (2 children)

The page is written as if there's more to come ("This is not the correct patch, but we will come to that"), but I don't see any further pages. Is this explaination unfinished or did I just miss where it continues? (I'm not used to Gitlab.)

[–] pixel__goblin@programming.dev 1 points 11 months ago

Hello! I do not think the docs are ready for viewing yet. You should instead check out talks/lpc23.pdf and https://rust-for-linux.com/coccinelle-for-rust

[–] armchair_progamer@programming.dev 1 points 11 months ago* (last edited 11 months ago)

The original (C) Cocinelle page may have better use cases. Cocinelle for Rust is in the early stages, Cocinelle for C has been around for a long time.

[–] philm@programming.dev 1 points 11 months ago

Thanks for the link.

It would be interesting, whether this handles macro-expansion as well (I doubt that, haven't looked into detail yet though).