{"post_view":{"post":{"id":35234667,"name":"A Lean Syntax Primer","url":"https://overreacted.io/a-lean-syntax-primer/","creator_id":21530842,"community_id":93440,"removed":false,"locked":false,"published":"2025-10-10T11:31:15.952231Z","deleted":false,"nsfw":false,"embed_title":"A Lean Syntax Primer — overreacted","embed_description":"Programming with proofs.","thumbnail_url":"https://lemmings.world/pictrs/image/e2af101f-fb33-4b15-9270-0276dc126ed1.png","ap_id":"https://programming.dev/post/38845361","local":false,"language_id":37,"featured_community":false,"featured_local":false,"url_content_type":"text/html; charset=utf-8"},"creator":{"id":21530842,"name":"codeinabox","avatar":"https://programming.dev/pictrs/image/5124a791-7f7d-41ce-9ed1-d2be8ad95044.jpeg","banned":false,"published":"2025-09-29T08:48:44.696231Z","actor_id":"https://programming.dev/u/codeinabox","bio":"London based software development consultant","local":false,"deleted":false,"bot_account":false,"instance_id":9},"community":{"id":93440,"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":9,"visibility":"Public"},"image_details":{"link":"https://lemmings.world/pictrs/image/e2af101f-fb33-4b15-9270-0276dc126ed1.png","width":512,"height":269,"content_type":"image/png"},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":false,"creator_is_admin":false,"counts":{"post_id":35234667,"comments":0,"score":1,"upvotes":2,"downvotes":1,"published":"2025-10-10T11:31:15.952231Z","newest_comment_time":"2025-10-10T11:31:15.952231Z"},"subscribed":"NotSubscribed","saved":false,"read":false,"hidden":false,"creator_blocked":false,"unread_comments":0},"community_view":{"community":{"id":93440,"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":9,"visibility":"Public"},"subscribed":"NotSubscribed","blocked":false,"counts":{"community_id":93440,"subscribers":1427,"posts":308,"comments":425,"published":"2023-06-15T13:05:27.022259Z","users_active_day":3,"users_active_week":13,"users_active_month":29,"users_active_half_year":217,"subscribers_local":2},"banned_from_community":false},"moderators":[{"community":{"id":93440,"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":9,"visibility":"Public"},"moderator":{"id":21693,"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":9}}],"cross_posts":[]}

No comments