{"post_view":{"post":{"id":5466517,"name":"The Ur Programming Language Family","url":"http://impredicative.com/ur/","body":"A functional, type-heavy language.\n\n\"Family\" because there's **Ur**, and **Ur/Web** which is augmented for web applications.","creator_id":58239,"community_id":25308,"removed":false,"locked":false,"published":"2024-01-27T18:51:44.471633Z","deleted":false,"nsfw":false,"ap_id":"https://programming.dev/post/9198495","local":false,"language_id":0,"featured_community":false,"featured_local":false},"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},"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"},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":true,"creator_is_admin":false,"counts":{"post_id":5466517,"comments":0,"score":20,"upvotes":20,"downvotes":0,"published":"2024-01-27T18:51:44.471633Z","newest_comment_time":"2024-01-27T18:51:44.471633Z"},"subscribed":"NotSubscribed","saved":false,"read":false,"hidden":false,"creator_blocked":false,"unread_comments":0},"community_view":{"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"},"subscribed":"NotSubscribed","blocked":false,"counts":{"community_id":25308,"subscribers":1357,"posts":298,"comments":376,"published":"2023-06-15T13:05:27.022259Z","users_active_day":1,"users_active_week":4,"users_active_month":42,"users_active_half_year":157,"subscribers_local":2},"banned_from_community":false},"moderators":[{"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"},"moderator":{"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}}],"cross_posts":[{"post":{"id":5481251,"name":"The Ur Programming Language Family","url":"http://impredicative.com/ur/","body":"[HN Discussion](https://news.ycombinator.com/item?id=39156207)","creator_id":1045152,"community_id":15942,"removed":false,"locked":false,"published":"2024-01-28T06:58:58.519084Z","deleted":false,"nsfw":false,"ap_id":"https://lemmy.smeargle.fans/post/114444","local":false,"language_id":0,"featured_community":false,"featured_local":false},"creator":{"id":1045152,"name":"bot","banned":false,"published":"2023-06-14T16:12:12.267602Z","actor_id":"https://lemmy.smeargle.fans/u/bot","bio":"SFW lemmy.smeargle.fans bot.","local":false,"deleted":false,"bot_account":true,"instance_id":847},"community":{"id":15942,"name":"hackernews","title":"Hacker News","description":"A mirror of Hacker News' best submissions.","removed":false,"published":"2023-06-14T16:13:44.619747Z","updated":"2023-06-14T16:31:02.299724Z","deleted":false,"nsfw":false,"actor_id":"https://lemmy.smeargle.fans/c/hackernews","local":false,"hidden":false,"posting_restricted_to_mods":true,"instance_id":847,"visibility":"Public"},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":true,"creator_is_admin":false,"counts":{"post_id":5481251,"comments":0,"score":2,"upvotes":2,"downvotes":0,"published":"2024-01-28T06:58:58.519084Z","newest_comment_time":"2024-01-28T06:58:58.519084Z"},"subscribed":"NotSubscribed","saved":false,"read":false,"hidden":false,"creator_blocked":false,"unread_comments":0}]}

No comments