{"id":748912,"date":"2020-05-27T19:02:21","date_gmt":"2020-05-28T02:02:21","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-research-item&#038;p=748912"},"modified":"2021-05-26T19:06:02","modified_gmt":"2021-05-27T02:06:02","slug":"expanding-the-possibilities-of-programming-languages-with-bosque","status":"publish","type":"msr-video","link":"https:\/\/www.microsoft.com\/en-us\/research\/video\/expanding-the-possibilities-of-programming-languages-with-bosque\/","title":{"rendered":"Expanding the possibilities of programming languages with Bosque"},"content":{"rendered":"<p>The Bosque Programming Language project investigates the implications of explicitly designing a program language with the goal of supporting automated reasoning tools. This webinar, led by Principal Engineer Mark Marron, explains the ideas behind this project, the exciting results that are already coming out of the project, and implications this programming language has on the future of software development.<\/p>\n<p>You will learn about how seemingly simple language choices can result in massive challenges to automated program understanding and how, via alternative design choices, these problems can be avoided. In many ways, perhaps surprisingly, these alternative designs are as ergonomic as original features and can create opportunities for addressing key challenges as programming languages move into a cloud-centric world.<\/p>\n<p>You will also examine some of the cutting-edge results in program verification, testing, and program resource use analysis that have been enabled by the Bosque language. Finally, get a brief look at some of the future opportunities and new programming experiences that may be possible with the advent of the Bosque language.<\/p>\n<p>Together, you\u2019ll explore:<\/p>\n<ul>\n<li>A new way to think about programming languages and their design<\/li>\n<li>The introduction of a new category of regularized programming languages<\/li>\n<li>How this programming model enables previously infeasible developer experiences<\/li>\n<li>Possibilities for how the Bosque language will evolve in the future<\/li>\n<\/ul>\n<p><strong>Resource list:<\/strong><\/p>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/github.com\/microsoft\/BosqueLanguage\" target=\"_blank\" rel=\"noopener\">Bosque programming language<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (GitHub)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/bosque-programming-language\">Bosque programming language<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (project page)<\/li>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/github.com\/finos\/morphir\" target=\"_blank\" rel=\"noopener\">Morgan Stanley Morphir<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (GitHub)<\/li>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/github.com\/finos\/morphir-examples\" target=\"_blank\" rel=\"noopener\">Morphir examples<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (GitHub)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/marron\">Mark Marron<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (Researcher profile)<\/li>\n<\/ul>\n<p>*This on-demand webinar features a previously recorded Q&A session and open captioning.<\/p>\n<p>This webinar originally aired on May 27, 2020<\/p>\n<p>Explore more Microsoft Research webinars: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/aka.ms\/msrwebinars\">https:\/\/aka.ms\/msrwebinars<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The Bosque Programming Language project investigates the implications of explicitly designing a program language with the goal of supporting automated reasoning tools. This webinar, led by Principal Engineer Mark Marron, explains the ideas behind this project, the exciting results that are already coming out of the project, and implications this programming language has on the [&hellip;]<\/p>\n","protected":false},"featured_media":748915,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","footnotes":""},"research-area":[13554,13560],"msr-video-type":[],"msr-locale":[268875],"msr-post-option":[],"msr-impact-theme":[],"msr-pillar":[],"class_list":["post-748912","msr-video","type-msr-video","status-publish","has-post-thumbnail","hentry","msr-research-area-human-computer-interaction","msr-research-area-programming-languages-software-engineering","msr-locale-en_us"],"msr_download_urls":"","msr_external_url":"https:\/\/youtu.be\/6xl3k7YkMFQ","msr_secondary_video_url":"","msr_video_file":"","_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video\/748912"}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-video"}],"version-history":[{"count":2,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video\/748912\/revisions"}],"predecessor-version":[{"id":748921,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video\/748912\/revisions\/748921"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/748915"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=748912"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=748912"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=748912"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=748912"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=748912"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=748912"},{"taxonomy":"msr-pillar","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-pillar?post=748912"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}