{"comments":[{"comment":{"id":4171744,"creator_id":173319,"post_id":3787589,"content":"Might want to link to some examples, e. g. https://gitlab.inria.fr/coccinelle/coccinelleforrust/-/blob/main/docs/Getting%20Started.md?ref_type=heads\n\n\nI didn't really understand the usecase till I saw that^","removed":false,"published":"2023-12-04T15:21:03.548563Z","deleted":false,"ap_id":"https://lemm.ee/comment/6970508","local":false,"path":"0.4171744","distinguished":false,"language_id":0},"creator":{"id":173319,"name":"jeffhykin","banned":false,"published":"2023-07-08T04:25:30.113555Z","actor_id":"https://lemm.ee/u/jeffhykin","local":false,"deleted":false,"bot_account":false,"instance_id":25},"post":{"id":3787589,"name":"Coccinelle For Rust (Automated complex syntax transforms)","url":"https://gitlab.inria.fr/coccinelle/coccinelleforrust","body":"[Cocinelle for C, the original](https://coccinelle.gitlabpages.inria.fr/website/)","creator_id":58239,"community_id":25308,"removed":false,"locked":false,"published":"2023-12-04T00:16:55.598558Z","deleted":false,"nsfw":false,"embed_title":"coccinelle / CoccinelleForRust · GitLab","embed_description":"Gitlab at Inria","thumbnail_url":"https://programming.dev/pictrs/image/8bd0e86c-1d31-472f-8809-02864248dd0f.jpeg","ap_id":"https://programming.dev/post/6763779","local":false,"language_id":0,"featured_community":false,"featured_local":false},"community":{"id":25308,"name":"programming_languages","title":"Programming Languages","description":"Hello!\n\nThis is the current Lemmy equivalent of https://www.reddit.com/r/ProgrammingLanguages/.\n\nThe content and rules are the same here as they are over there. Taken directly from the [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) overview:\n\n> This community is dedicated to the theory, design and implementation of programming languages.\n>\n> Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post.\n> \n> 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](https://programming.dev/c/learn_programming) or [/c/programming](https://programming.dev/c/programming).\n\nThis *is* the right place for posts like the following:\n\n- \"Check out this new language I've been working on!\"\n- \"Here's a blog post on how I implemented static type checking into this compiler\"\n- \"I want to write a compiler, where do I start?\"\n- \"How does the Java compiler work? How does it handle forward declarations/imports/targeting multiple platforms/?\"\n- \"How should I test my compiler? How are other compilers and interpreters like gcc, Java, and python tested?\"\n- \"What are the pros/cons of ?\"\n- \"Compare and contrast vs. \"\n- \"Confused about the semantics of this language\"\n- \"Proceedings from PLDI / OOPSLA / ICFP / \"\n\nSee [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) for specific examples\n\n## Related online communities\n\n- [ProgLangDesign.net](http://proglangdesign.net/)\n- [/r/ProgrammingLanguages Discord](https://discord.gg/4Kjt3ZE)\n- [Lamdda the Ultimate](http://lambda-the-ultimate.org/)\n- [Language Design Stack Exchange](https://languagedesign.stackexchange.com/)","removed":false,"published":"2023-06-15T13:05:27.022259Z","updated":"2023-07-19T02:02:54.571848Z","deleted":false,"nsfw":false,"actor_id":"https://programming.dev/c/programming_languages","local":false,"icon":"https://programming.dev/pictrs/image/aa43d40c-a1ab-48e1-bc89-2f60606741b9.png","hidden":false,"posting_restricted_to_mods":false,"instance_id":22,"visibility":"Public"},"counts":{"comment_id":4171744,"score":4,"upvotes":4,"downvotes":0,"published":"2023-12-04T15:21:03.548563Z","child_count":4},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":false,"creator_is_admin":false,"subscribed":"NotSubscribed","saved":false,"creator_blocked":false},{"comment":{"id":4172605,"creator_id":143999,"post_id":3787589,"content":"Thanks for the link.\n\nIt would be interesting, whether this handles macro-expansion as well (I doubt that, haven't looked into detail yet though).","removed":false,"published":"2023-12-04T16:02:18.084563Z","deleted":false,"ap_id":"https://programming.dev/comment/5430594","local":false,"path":"0.4171744.4172605","distinguished":false,"language_id":0},"creator":{"id":143999,"name":"philm","banned":false,"published":"2023-07-01T00:10:33.607628Z","actor_id":"https://programming.dev/u/philm","local":false,"deleted":false,"bot_account":false,"instance_id":22},"post":{"id":3787589,"name":"Coccinelle For Rust (Automated complex syntax transforms)","url":"https://gitlab.inria.fr/coccinelle/coccinelleforrust","body":"[Cocinelle for C, the original](https://coccinelle.gitlabpages.inria.fr/website/)","creator_id":58239,"community_id":25308,"removed":false,"locked":false,"published":"2023-12-04T00:16:55.598558Z","deleted":false,"nsfw":false,"embed_title":"coccinelle / CoccinelleForRust · GitLab","embed_description":"Gitlab at Inria","thumbnail_url":"https://programming.dev/pictrs/image/8bd0e86c-1d31-472f-8809-02864248dd0f.jpeg","ap_id":"https://programming.dev/post/6763779","local":false,"language_id":0,"featured_community":false,"featured_local":false},"community":{"id":25308,"name":"programming_languages","title":"Programming Languages","description":"Hello!\n\nThis is the current Lemmy equivalent of https://www.reddit.com/r/ProgrammingLanguages/.\n\nThe content and rules are the same here as they are over there. Taken directly from the [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) overview:\n\n> This community is dedicated to the theory, design and implementation of programming languages.\n>\n> Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post.\n> \n> 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](https://programming.dev/c/learn_programming) or [/c/programming](https://programming.dev/c/programming).\n\nThis *is* the right place for posts like the following:\n\n- \"Check out this new language I've been working on!\"\n- \"Here's a blog post on how I implemented static type checking into this compiler\"\n- \"I want to write a compiler, where do I start?\"\n- \"How does the Java compiler work? How does it handle forward declarations/imports/targeting multiple platforms/?\"\n- \"How should I test my compiler? How are other compilers and interpreters like gcc, Java, and python tested?\"\n- \"What are the pros/cons of ?\"\n- \"Compare and contrast vs. \"\n- \"Confused about the semantics of this language\"\n- \"Proceedings from PLDI / OOPSLA / ICFP / \"\n\nSee [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) for specific examples\n\n## Related online communities\n\n- [ProgLangDesign.net](http://proglangdesign.net/)\n- [/r/ProgrammingLanguages Discord](https://discord.gg/4Kjt3ZE)\n- [Lamdda the Ultimate](http://lambda-the-ultimate.org/)\n- [Language Design Stack Exchange](https://languagedesign.stackexchange.com/)","removed":false,"published":"2023-06-15T13:05:27.022259Z","updated":"2023-07-19T02:02:54.571848Z","deleted":false,"nsfw":false,"actor_id":"https://programming.dev/c/programming_languages","local":false,"icon":"https://programming.dev/pictrs/image/aa43d40c-a1ab-48e1-bc89-2f60606741b9.png","hidden":false,"posting_restricted_to_mods":false,"instance_id":22,"visibility":"Public"},"counts":{"comment_id":4172605,"score":1,"upvotes":1,"downvotes":0,"published":"2023-12-04T16:02:18.084563Z","child_count":0},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":false,"creator_is_admin":false,"subscribed":"NotSubscribed","saved":false,"creator_blocked":false},{"comment":{"id":4173102,"creator_id":258538,"post_id":3787589,"content":"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.)","removed":false,"published":"2023-12-04T16:27:03.267711Z","deleted":false,"ap_id":"https://feddit.de/comment/5396780","local":false,"path":"0.4171744.4173102","distinguished":false,"language_id":0},"creator":{"id":258538,"name":"crystal","banned":false,"published":"2023-07-10T18:47:28.394516Z","actor_id":"https://feddit.de/u/crystal","local":false,"deleted":false,"bot_account":false,"instance_id":19},"post":{"id":3787589,"name":"Coccinelle For Rust (Automated complex syntax transforms)","url":"https://gitlab.inria.fr/coccinelle/coccinelleforrust","body":"[Cocinelle for C, the original](https://coccinelle.gitlabpages.inria.fr/website/)","creator_id":58239,"community_id":25308,"removed":false,"locked":false,"published":"2023-12-04T00:16:55.598558Z","deleted":false,"nsfw":false,"embed_title":"coccinelle / CoccinelleForRust · GitLab","embed_description":"Gitlab at Inria","thumbnail_url":"https://programming.dev/pictrs/image/8bd0e86c-1d31-472f-8809-02864248dd0f.jpeg","ap_id":"https://programming.dev/post/6763779","local":false,"language_id":0,"featured_community":false,"featured_local":false},"community":{"id":25308,"name":"programming_languages","title":"Programming Languages","description":"Hello!\n\nThis is the current Lemmy equivalent of https://www.reddit.com/r/ProgrammingLanguages/.\n\nThe content and rules are the same here as they are over there. Taken directly from the [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) overview:\n\n> This community is dedicated to the theory, design and implementation of programming languages.\n>\n> Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post.\n> \n> 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](https://programming.dev/c/learn_programming) or [/c/programming](https://programming.dev/c/programming).\n\nThis *is* the right place for posts like the following:\n\n- \"Check out this new language I've been working on!\"\n- \"Here's a blog post on how I implemented static type checking into this compiler\"\n- \"I want to write a compiler, where do I start?\"\n- \"How does the Java compiler work? How does it handle forward declarations/imports/targeting multiple platforms/?\"\n- \"How should I test my compiler? How are other compilers and interpreters like gcc, Java, and python tested?\"\n- \"What are the pros/cons of ?\"\n- \"Compare and contrast vs. \"\n- \"Confused about the semantics of this language\"\n- \"Proceedings from PLDI / OOPSLA / ICFP / \"\n\nSee [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) for specific examples\n\n## Related online communities\n\n- [ProgLangDesign.net](http://proglangdesign.net/)\n- [/r/ProgrammingLanguages Discord](https://discord.gg/4Kjt3ZE)\n- [Lamdda the Ultimate](http://lambda-the-ultimate.org/)\n- [Language Design Stack Exchange](https://languagedesign.stackexchange.com/)","removed":false,"published":"2023-06-15T13:05:27.022259Z","updated":"2023-07-19T02:02:54.571848Z","deleted":false,"nsfw":false,"actor_id":"https://programming.dev/c/programming_languages","local":false,"icon":"https://programming.dev/pictrs/image/aa43d40c-a1ab-48e1-bc89-2f60606741b9.png","hidden":false,"posting_restricted_to_mods":false,"instance_id":22,"visibility":"Public"},"counts":{"comment_id":4173102,"score":1,"upvotes":1,"downvotes":0,"published":"2023-12-04T16:27:03.267711Z","child_count":2},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":false,"creator_is_admin":false,"subscribed":"NotSubscribed","saved":false,"creator_blocked":false},{"comment":{"id":4173316,"creator_id":58239,"post_id":3787589,"content":"[The original (C) Cocinelle page](https://coccinelle.gitlabpages.inria.fr/website/) may have better use cases. Cocinelle for Rust is in the early stages, Cocinelle for C has been around for a long time.\n\n- [Semantic patches (a simple example)](https://coccinelle.gitlabpages.inria.fr/website/sp.html)\n\n- [Impact on the Linux kernel (case study)](https://coccinelle.gitlabpages.inria.fr/website/impact_linux.html)","removed":false,"published":"2023-12-04T16:39:54.775223Z","updated":"2023-12-04T16:40:06.048811Z","deleted":false,"ap_id":"https://programming.dev/comment/5431379","local":false,"path":"0.4171744.4173102.4173316","distinguished":false,"language_id":0},"creator":{"id":58239,"name":"armchair_progamer","banned":false,"published":"2023-06-14T23:54:46.438471Z","actor_id":"https://programming.dev/u/armchair_progamer","local":false,"deleted":false,"bot_account":false,"instance_id":22},"post":{"id":3787589,"name":"Coccinelle For Rust (Automated complex syntax transforms)","url":"https://gitlab.inria.fr/coccinelle/coccinelleforrust","body":"[Cocinelle for C, the original](https://coccinelle.gitlabpages.inria.fr/website/)","creator_id":58239,"community_id":25308,"removed":false,"locked":false,"published":"2023-12-04T00:16:55.598558Z","deleted":false,"nsfw":false,"embed_title":"coccinelle / CoccinelleForRust · GitLab","embed_description":"Gitlab at Inria","thumbnail_url":"https://programming.dev/pictrs/image/8bd0e86c-1d31-472f-8809-02864248dd0f.jpeg","ap_id":"https://programming.dev/post/6763779","local":false,"language_id":0,"featured_community":false,"featured_local":false},"community":{"id":25308,"name":"programming_languages","title":"Programming Languages","description":"Hello!\n\nThis is the current Lemmy equivalent of https://www.reddit.com/r/ProgrammingLanguages/.\n\nThe content and rules are the same here as they are over there. Taken directly from the [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) overview:\n\n> This community is dedicated to the theory, design and implementation of programming languages.\n>\n> Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post.\n> \n> 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](https://programming.dev/c/learn_programming) or [/c/programming](https://programming.dev/c/programming).\n\nThis *is* the right place for posts like the following:\n\n- \"Check out this new language I've been working on!\"\n- \"Here's a blog post on how I implemented static type checking into this compiler\"\n- \"I want to write a compiler, where do I start?\"\n- \"How does the Java compiler work? How does it handle forward declarations/imports/targeting multiple platforms/?\"\n- \"How should I test my compiler? How are other compilers and interpreters like gcc, Java, and python tested?\"\n- \"What are the pros/cons of ?\"\n- \"Compare and contrast vs. \"\n- \"Confused about the semantics of this language\"\n- \"Proceedings from PLDI / OOPSLA / ICFP / \"\n\nSee [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) for specific examples\n\n## Related online communities\n\n- [ProgLangDesign.net](http://proglangdesign.net/)\n- [/r/ProgrammingLanguages Discord](https://discord.gg/4Kjt3ZE)\n- [Lamdda the Ultimate](http://lambda-the-ultimate.org/)\n- [Language Design Stack Exchange](https://languagedesign.stackexchange.com/)","removed":false,"published":"2023-06-15T13:05:27.022259Z","updated":"2023-07-19T02:02:54.571848Z","deleted":false,"nsfw":false,"actor_id":"https://programming.dev/c/programming_languages","local":false,"icon":"https://programming.dev/pictrs/image/aa43d40c-a1ab-48e1-bc89-2f60606741b9.png","hidden":false,"posting_restricted_to_mods":false,"instance_id":22,"visibility":"Public"},"counts":{"comment_id":4173316,"score":1,"upvotes":1,"downvotes":0,"published":"2023-12-04T16:39:54.775223Z","child_count":0},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":true,"creator_is_admin":false,"subscribed":"NotSubscribed","saved":false,"creator_blocked":false},{"comment":{"id":4368684,"creator_id":4878965,"post_id":3787589,"content":"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","removed":false,"published":"2023-12-11T21:29:43.151659Z","deleted":false,"ap_id":"https://programming.dev/comment/5638153","local":false,"path":"0.4171744.4173102.4368684","distinguished":false,"language_id":0},"creator":{"id":4878965,"name":"pixel__goblin","banned":false,"published":"2023-12-11T11:37:33.137276Z","actor_id":"https://programming.dev/u/pixel__goblin","local":false,"deleted":false,"bot_account":false,"instance_id":22},"post":{"id":3787589,"name":"Coccinelle For Rust (Automated complex syntax transforms)","url":"https://gitlab.inria.fr/coccinelle/coccinelleforrust","body":"[Cocinelle for C, the original](https://coccinelle.gitlabpages.inria.fr/website/)","creator_id":58239,"community_id":25308,"removed":false,"locked":false,"published":"2023-12-04T00:16:55.598558Z","deleted":false,"nsfw":false,"embed_title":"coccinelle / CoccinelleForRust · GitLab","embed_description":"Gitlab at Inria","thumbnail_url":"https://programming.dev/pictrs/image/8bd0e86c-1d31-472f-8809-02864248dd0f.jpeg","ap_id":"https://programming.dev/post/6763779","local":false,"language_id":0,"featured_community":false,"featured_local":false},"community":{"id":25308,"name":"programming_languages","title":"Programming Languages","description":"Hello!\n\nThis is the current Lemmy equivalent of https://www.reddit.com/r/ProgrammingLanguages/.\n\nThe content and rules are the same here as they are over there. Taken directly from the [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) overview:\n\n> This community is dedicated to the theory, design and implementation of programming languages.\n>\n> Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post.\n> \n> 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](https://programming.dev/c/learn_programming) or [/c/programming](https://programming.dev/c/programming).\n\nThis *is* the right place for posts like the following:\n\n- \"Check out this new language I've been working on!\"\n- \"Here's a blog post on how I implemented static type checking into this compiler\"\n- \"I want to write a compiler, where do I start?\"\n- \"How does the Java compiler work? How does it handle forward declarations/imports/targeting multiple platforms/?\"\n- \"How should I test my compiler? How are other compilers and interpreters like gcc, Java, and python tested?\"\n- \"What are the pros/cons of ?\"\n- \"Compare and contrast vs. \"\n- \"Confused about the semantics of this language\"\n- \"Proceedings from PLDI / OOPSLA / ICFP / \"\n\nSee [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) for specific examples\n\n## Related online communities\n\n- [ProgLangDesign.net](http://proglangdesign.net/)\n- [/r/ProgrammingLanguages Discord](https://discord.gg/4Kjt3ZE)\n- [Lamdda the Ultimate](http://lambda-the-ultimate.org/)\n- [Language Design Stack Exchange](https://languagedesign.stackexchange.com/)","removed":false,"published":"2023-06-15T13:05:27.022259Z","updated":"2023-07-19T02:02:54.571848Z","deleted":false,"nsfw":false,"actor_id":"https://programming.dev/c/programming_languages","local":false,"icon":"https://programming.dev/pictrs/image/aa43d40c-a1ab-48e1-bc89-2f60606741b9.png","hidden":false,"posting_restricted_to_mods":false,"instance_id":22,"visibility":"Public"},"counts":{"comment_id":4368684,"score":1,"upvotes":1,"downvotes":0,"published":"2023-12-11T21:29:43.151659Z","child_count":0},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":false,"creator_is_admin":false,"subscribed":"NotSubscribed","saved":false,"creator_blocked":false}]}