{"comments":[{"comment":{"id":3934406,"creator_id":71373,"post_id":3506712,"content":"I’m itching to read what someone more well-rounded than myself would think of this. What are the trade offs?","removed":false,"published":"2023-11-25T13:45:42.010056Z","deleted":false,"ap_id":"https://infosec.pub/comment/4561517","local":false,"path":"0.3934406","distinguished":false,"language_id":37},"creator":{"id":71373,"name":"demesisx","avatar":"https://infosec.pub/pictrs/image/0b420a0f-339d-4572-a0a3-70d358a898cb.png","banned":false,"published":"2023-06-17T03:19:03.915290Z","actor_id":"https://infosec.pub/u/demesisx","bio":"Plutus, Haskell, Nix, Purescript, *Swift/Kotlin*. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, \"move fast and break things\" approaches\n\n---\n\nAC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0","local":false,"banner":"https://infosec.pub/pictrs/image/7e19ade4-662c-46fd-910e-478db12f6545.png","deleted":false,"matrix_user_id":"@harryprayiv:matrix.org","bot_account":false,"instance_id":86},"post":{"id":3506712,"name":"The Bosque Programming Language","url":"https://github.com/BosqueLanguage/BosqueCore","body":"","creator_id":58239,"community_id":25308,"removed":false,"locked":false,"published":"2023-11-24T21:31:09.715571Z","updated":"2023-11-24T21:33:45.633850Z","deleted":false,"nsfw":false,"embed_title":"Bosque Programming Language - Microsoft Research","embed_description":"The Bosque programming language is designed for writing code that is simple, obvious, and easy to reason about for both humans and machines.","thumbnail_url":"https://programming.dev/pictrs/image/0834e595-75ca-4614-82a2-9fd343c9f5fc.png","ap_id":"https://programming.dev/post/6343806","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":3934406,"score":1,"upvotes":1,"downvotes":0,"published":"2023-11-25T13:45:42.010056Z","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":3951669,"creator_id":173319,"post_id":3506712,"content":"I love seeing natural number support as the first example (instead of float)","removed":false,"published":"2023-11-26T04:44:16.979793Z","deleted":false,"ap_id":"https://lemm.ee/comment/6591624","local":false,"path":"0.3951669","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":3506712,"name":"The Bosque Programming Language","url":"https://github.com/BosqueLanguage/BosqueCore","body":"","creator_id":58239,"community_id":25308,"removed":false,"locked":false,"published":"2023-11-24T21:31:09.715571Z","updated":"2023-11-24T21:33:45.633850Z","deleted":false,"nsfw":false,"embed_title":"Bosque Programming Language - Microsoft Research","embed_description":"The Bosque programming language is designed for writing code that is simple, obvious, and easy to reason about for both humans and machines.","thumbnail_url":"https://programming.dev/pictrs/image/0834e595-75ca-4614-82a2-9fd343c9f5fc.png","ap_id":"https://programming.dev/post/6343806","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":3951669,"score":1,"upvotes":1,"downvotes":0,"published":"2023-11-26T04:44:16.979793Z","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":3935455,"creator_id":58239,"post_id":3506712,"content":"The main drawback is being a new incomplete language. No solid IDE support, huge online resources, training data for LLMs; and you have a not-tiny chance of the compiler crashing or producing the wrong output.\n\nIDE-friendliness and most of the other features, I don’t think there are any major flaws. The main drawback with these is implementation complexity, possibly slower compile time (and *maybe* runtime if this IR prevents optimizations). There are also unknown drawbacks of doing new and experimental things. Maybe they have the right idea but will take the wrong approach, e.g. create an IR which is IDE-friendly but has issues in the design, which a different IDE-friendly IR would not.\n\nSome of these features and ideas have been at least partly tried before. The JVM bytecode is very readable. LLVM IR is not, but most languages (e.g. Rust, Haskell) have some higher intermediate-representation which is and the IDE does static analysis off of that. And some of the other features (ADTs, functor-libs, blocks) are already common in other languages, especially newer ones.\n\nBut there are some features like typed-strings and invariants, which to me seem immediately useful but I don’t really see them in other languages. Ultimately I don’t think I can really speak to the language’s usefulness or flaws before they are further in development, but I am optimistic if they keep making progress.","removed":false,"published":"2023-11-25T15:00:40.398904Z","deleted":false,"ap_id":"https://programming.dev/comment/5159815","local":false,"path":"0.3934406.3935455","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":3506712,"name":"The Bosque Programming Language","url":"https://github.com/BosqueLanguage/BosqueCore","body":"","creator_id":58239,"community_id":25308,"removed":false,"locked":false,"published":"2023-11-24T21:31:09.715571Z","updated":"2023-11-24T21:33:45.633850Z","deleted":false,"nsfw":false,"embed_title":"Bosque Programming Language - Microsoft Research","embed_description":"The Bosque programming language is designed for writing code that is simple, obvious, and easy to reason about for both humans and machines.","thumbnail_url":"https://programming.dev/pictrs/image/0834e595-75ca-4614-82a2-9fd343c9f5fc.png","ap_id":"https://programming.dev/post/6343806","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":3935455,"score":2,"upvotes":2,"downvotes":0,"published":"2023-11-25T15:00:40.398904Z","child_count":3},"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":3936022,"creator_id":71373,"post_id":3506712,"content":"Thank you! \n\nWhen you say Haskell and Rust have a similar feature, do you mean how Haskell compiles down to Haskell Core? Can you provide a tiny bit more detail on that point? I adore Haskell.","removed":false,"published":"2023-11-25T15:37:26.536814Z","updated":"2023-11-25T15:38:45.688556Z","deleted":false,"ap_id":"https://infosec.pub/comment/4563354","local":false,"path":"0.3934406.3935455.3936022","distinguished":false,"language_id":37},"creator":{"id":71373,"name":"demesisx","avatar":"https://infosec.pub/pictrs/image/0b420a0f-339d-4572-a0a3-70d358a898cb.png","banned":false,"published":"2023-06-17T03:19:03.915290Z","actor_id":"https://infosec.pub/u/demesisx","bio":"Plutus, Haskell, Nix, Purescript, *Swift/Kotlin*. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, \"move fast and break things\" approaches\n\n---\n\nAC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0","local":false,"banner":"https://infosec.pub/pictrs/image/7e19ade4-662c-46fd-910e-478db12f6545.png","deleted":false,"matrix_user_id":"@harryprayiv:matrix.org","bot_account":false,"instance_id":86},"post":{"id":3506712,"name":"The Bosque Programming Language","url":"https://github.com/BosqueLanguage/BosqueCore","body":"","creator_id":58239,"community_id":25308,"removed":false,"locked":false,"published":"2023-11-24T21:31:09.715571Z","updated":"2023-11-24T21:33:45.633850Z","deleted":false,"nsfw":false,"embed_title":"Bosque Programming Language - Microsoft Research","embed_description":"The Bosque programming language is designed for writing code that is simple, obvious, and easy to reason about for both humans and machines.","thumbnail_url":"https://programming.dev/pictrs/image/0834e595-75ca-4614-82a2-9fd343c9f5fc.png","ap_id":"https://programming.dev/post/6343806","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":3936022,"score":1,"upvotes":1,"downvotes":0,"published":"2023-11-25T15:37:26.536814Z","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}]}