{"id":47611,"date":"2023-09-20T10:05:00","date_gmt":"2023-09-20T17:05:00","guid":{"rendered":"https:\/\/devblogs.microsoft.com\/dotnet\/?p=47611"},"modified":"2023-09-20T10:05:00","modified_gmt":"2023-09-20T17:05:00","slug":"simplifying-fsharp-computations-with-the-new-while-keyword","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/dotnet\/simplifying-fsharp-computations-with-the-new-while-keyword\/","title":{"rendered":"Simplifying F# computations with the new ‘while!’ keyword"},"content":{"rendered":"

In the evolving landscape of F#, the introduction of the while!<\/code> (while-bang) keyword presents a refined approach to loops in computation expressions. Aiming to minimize boilerplate and maximize clarity, this new keyword is set to enhance the language’s expressive power.<\/p>\n

Before while!<\/code><\/h2>\n

Consider a simple example: determining the latest ticket number (be it a PR or an issue) from the F# GitHub repository.<\/p>\n

Here’s a naive approach to achieve this:<\/p>\n

open System\nopen System.Net.Http\n\nlet client = new HttpClient()\nlet fsharpIssuesUrl = \"https:\/\/github.com\/dotnet\/fsharp\/issues\"\n\nlet doesTicketExistAsync ticketNumber = task {\n    let uri = Uri $\"{fsharpIssuesUrl}\/{ticketNumber}\"\n    let! response = client.GetAsync uri\n    return response.IsSuccessStatusCode\n}\n\nlet goThroughFsharpTicketsAsync() = task {\n    let mutable ticketNumber = 1\n    let mutable keepGoing = true\n\n    while keepGoing do\n        match! doesTicketExistAsync ticketNumber with\n        | true ->\n            printfn $\"Found a PR or issue #{ticketNumber}.\"\n            ticketNumber <- ticketNumber + 1\n        | false ->\n            keepGoing <- false\n            printfn $\"#{ticketNumber} is not created yet.\"\n}\n\ngoThroughFsharpTicketsAsync().Wait()<\/code><\/pre>\n
Due to the lack of a mechanism for an asynchronous condition in the while statement, we resort to using two mutable variables.<\/p>\n
With while!<\/code><\/h2>\n
With the advent of the while!<\/code> keyword, specifying an asynchronous condition in loops becomes feasible.<\/p>\n
open System\nopen System.Net.Http\n\nlet client = new HttpClient()\nlet fsharpIssuesUrl = \"https:\/\/github.com\/dotnet\/fsharp\/issues\"\n\nlet doesTicketExistAsync ticketNumber = task {\n    let uri = Uri $\"{fsharpIssuesUrl}\/{ticketNumber}\"\n    let! response = client.GetAsync uri\n    return response.IsSuccessStatusCode\n}\n\nlet goThroughFsharpTicketsAsync() = task {\n    let mutable ticketNumber = 1\n\n    while! doesTicketExistAsync ticketNumber do\n        printfn $\"Found a PR or issue #{ticketNumber}.\"\n        ticketNumber <- ticketNumber + 1\n\n    printfn $\"#{ticketNumber} is not created yet.\"\n}\n\ngoThroughFsharpTicketsAsync().Wait()<\/code><\/pre>\n
Notice the elimination of a mutable variable, a reduction in the total lines of code, and a decrease in overall cyclomatic complexity.<\/p>\n
A few technical details<\/h2>\n
The while!<\/code> construct doesn’t require a dedicated builder method. Instead, it invokes .Bind<\/code> in the same manner as let!<\/code> does<\/a>. This means that there’s no additional work needed when authoring new computation expressions. If you’re curious about the resulting syntax tree, you can inspect it within the tests of the feature’s PR, for example here<\/a>.<\/p>\n
Furthermore, these constructs are composable. For instance, they can be nested:<\/p>\n
while! outerConditionAsync() do\n    while! innerConditionAsync() do\n        counter <- counter + 1<\/code><\/pre>\n
Try it out!<\/h2>\n
The while!<\/code> feature is set to be incorporated into F# 8. You can currently experiment with it using the flag --langversion:preview<\/code>. This flag can either be passed to the dotnet fsi invocation or inserted in your .fsproj file within .<\/p>\n
Behind the new feature<\/h2>\n
The development of this functionality in F# is a testament to the language’s vibrant and engaged community. The new keyword was wholly added<\/a> by one of our external contributors who implemented the correspondent language suggestion<\/a> – thanks @kerams!<\/p>\n
By the way, at the time of writing this post, ticket #15961 is the latest. Many tickets are good first issues<\/a> and this is your cue to contribute! Language suggestions reside separately<\/a>, and your insights there will be also very valued. <\/p>\n","protected":false},"excerpt":{"rendered":"
F# introduces `while!` keyword, streamlining loops in computation expressions.<\/p>\n","protected":false},"author":112074,"featured_media":47612,"comment_status":"open","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[685,636],"tags":[4,73],"class_list":["post-47611","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-dotnet","category-fsharp","tag-net","tag-f"],"acf":[],"blog_post_summary":"
F# introduces `while!` keyword, streamlining loops in computation expressions.<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/posts\/47611","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/users\/112074"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/comments?post=47611"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/posts\/47611\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/media\/47612"}],"wp:attachment":[{"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/media?parent=47611"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/categories?post=47611"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/tags?post=47611"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}