# F# Weekly #50, 2025 - Making of A Programming Language **URL:** \ **Category:** General\ **Tags:** news\ **Created:** [December 13, 2025, 11:03pm UTC](https://forums.fsharp.org/t/f-weekly-50-2025-making-of-a-programming-language/5015 "2025-12-13T23:03:11Z")\ **Posts on this page:** 1\ **Page:** 1
**Author:** ![sergey\_tihon](https://yyz2.discourse-cdn.com/flex030/user_avatar/forums.fsharp.org/sergey_tihon/32/25_2.png) [@sergey\_tihon](https://forums.fsharp.org/u/sergey_tihon)\ **Post date:** [December 13, 2025, 11:03pm UTC](https://forums.fsharp.org/t/f-weekly-50-2025-making-of-a-programming-language/5015/1 "2025-12-13T23:03:11Z")
Welcome to F# Weekly, A roundup of F# content from this past week: **News** - [.NET 10 Networking Improvements - .NET Blog](https://devblogs.microsoft.com/dotnet/dotnet-10-networking-improvements/) - [Microsoft Learn MCP Server Elevates Development - .NET Blog](https://devblogs.microsoft.com/dotnet/microsoft-learn-mcp-server-elevates-development/) - [Implementing Cross-Platform In-App Billing in .NET MAUI Applications - .NET Blog](https://devblogs.microsoft.com/dotnet/cross-platform-billing-dotnet-maui/) - [Making Windows Terminal awesome with GitHub Copilot CLI - Microsoft for Developers](https://developer.microsoft.com/blog/making-windows-terminal-awesome-with-github-copilot-cli) - [Join us for AI Dev Days - December 10-11 - Microsoft for Developers](https://developer.microsoft.com/blog/join-us-for-ai-devdays) - [Aspire Integrations, Batteries Included | Aspire Blog](https://devblogs.microsoft.com/aspire/aspire-integrations-batteries-included/) - [Streamlining your Git workflow with Visual Studio 2026 - Visual Studio Blog](https://devblogs.microsoft.com/visualstudio/streamlining-your-git-workflow-with-visual-studio-2026/) > **[Matt Parker (@mattparker.dev)](https://bsky.app/profile/mattparker.dev/post/3m5fbt3xo622y)** > > 🚀 Excited to announce SharpIDE - A Modern, Cross-Platform IDE for .NET! > > I'm thrilled to share my latest open-source project, just in time for .NET 10: SharpIDE, a brand new IDE for .NET, built with .NET and Godot! 🎉 > > 🔗 Check it out on GitHub:... **Videos** - [Type Inference: Write Less Code, Catch More Bugs.](https://www.youtube.com/watch?v=fSRTVrjvo70) - [Excel: The World’s Most Successful Functional Programming Platform by Houston Haynes](https://www.youtube.com/live/BKTkmiRCjdM?t=1123s) - [🎄 Advent of code 2025 in F# - day 07](https://www.youtube.com/watch?v=eKv3_A_Zjfc) - [🎄 Advent of code 2025 in F# - day 08](https://www.youtube.com/watch?v=H3aO61zfX-8) - [TinyExcel 7.1 - Technical dimensions of spreadsheets](https://www.youtube.com/watch?v=ghRAxGAJgbw) - [TinyExcel 7.2 - Architecture and F# events](https://www.youtube.com/watch?v=WV5Sft-uf-k) - [TinyExcel 7.3 - Code structure and step-by-step guide](https://www.youtube.com/watch?v=3p9RiP-GNCE) - [ASP.NET Community Standup - Build agentic UI with AG-UI and Blazor](https://www.youtube.com/watch?v=4CrxcdNbRFY) - [On .NET Live - On .NET Live | Patterns in Messaging Systems](https://www.youtube.com/watch?v=d7MFLW-_Lkw&t=12s) - [.NET Day on Agentic Modernization](https://www.youtube.com/watch?v=JLCl5lh-tw8) > **[SchlenkR (@schlenkr.bsky.social)](https://bsky.app/profile/schlenkr.bsky.social/post/3m7uae433rc2g)** > > Let's build a Programming Language - together! > > The goal? Combine the developer experience of Python with the safety of TypeScript. > > In Episode 0: Syntax + Type Inference > > 📺 https://www.youtube.com/watch?v=fSRTVrjvo70 > > \#TypeInference #TypeScript... **Blogs & FsAdvent** - [Implementing my own bookmark manager](https://intellifactory.com/user/jooseppi12/20251206-implementing-my-own-bookmark-manager) - Jozsef Uri - [F# in Production: What I Know After Four Years](https://blog.bencope.land/f-in-production-what-i-know-after-four-years/) - Ben Copeland - [Comprehensive Guide to SRTP Gymnastics](https://medium.com/@zvmsbackend/a-comprehensive-guide-to-srtp-gymnastics-02599ce0425b) - `Millennium` - [I like my F# code type annotation-free](https://www.planetgeek.ch/2025/12/10/i-like-my-f-code-type-annotation-free/) - `Urs Enzler` - [Adding Goal Seek to Quipu (and helping Santa with it!)](https://brandewinder.com/2025/12/11/goal-seek-for-santa/) - `Mathias Brandewinder` - Tagless Final in F# - John Azariah - [Tagless Final in F# - Part 1: Froggy Tree House](https://johnazariah.github.io/2025/12/12/tagless-final-01-froggy-tree-house.html) - [Tagless Final in F# - Part 2: Maps, Branches, and Choices](https://johnazariah.github.io/2025/12/12/tagless-final-02-maps-branches-choices.html) - [Tagless Final in F# - Part 3: Goals, Threats, and Getting Stuck](https://johnazariah.github.io/2025/12/12/tagless-final-03-goals-threats.html) - [Tagless Final in F# - Part 3: Goals, Threats, and Getting Stuck](https://johnazariah.github.io/2025/12/12/tagless-final-03-goals-threats.html) - [Tagless Final in F# - Part 5: Verifying the Elevator](https://johnazariah.github.io/2025/12/12/tagless-final-05-verifying-elevators.html) - [Tagless Final in F# - Part 6: The Power of Tagless-Final: Code as Model](https://johnazariah.github.io/2025/12/12/tagless-final-06-model-verification.html) - [Making of A Programming Language](https://www.youtube.com/watch?v=fSRTVrjvo70) - Making of A Programming Language - [Baker: A Key Ingredient to Firefly | SpeakEZ Technologies](https://speakez.tech/blog/baker-a-key-ingredient-to-firefly/) - [Show Notes: The World's Most Successful FP Platform | SpeakEZ Technologies](https://speakez.tech/blog/func-prog-sweden-notes/) **F# vNext** - [mutable on any binding · Issue #1457 · fsharp/fslang-suggestions](https://github.com/fsharp/fslang-suggestions/issues/1457) - [[WIP]: MethodImplOption.Async support by TheAngryByrd · Pull Request #19065 · dotnet/fsharp](https://github.com/dotnet/fsharp/pull/19065) **Highlighted projects** - [speakeztech/Firefly: A compiler that brings F#'s elegance and precision to systems programming through MLIR and various backends](https://github.com/speakeztech/Firefly) - [cariandrum22/Xanthos: Type-safe F# wrapper for the JRA-VAN JV-Link COM API, providing functional access to Japanese horse racing data.](https://github.com/cariandrum22/Xanthos) - [mrtz-j/Saturn.OpenTelemetry: A OpenTelemetry Extension for Saturn](https://github.com/mrtz-j/Saturn.OpenTelemetry) **New Releases** - [Akka.FSharp 1.5.57](https://www.nuget.org/packages/Akka.FSharp) - [FSharp.Azure.Quantum 1.3.2](https://www.nuget.org/packages/FSharp.Azure.Quantum) - [FCQRS.Model 5.0.1](https://www.nuget.org/packages/FCQRS.Model) - [Xanthos 0.1.0](https://www.nuget.org/packages/Xanthos) - [CloudflareFS.Management 0.1.0](https://www.nuget.org/packages/CloudflareFS.Management) - [CloudflareFS.Runtime 0.1.0](https://www.nuget.org/packages/CloudflareFS.Runtime) - [Feliz.Template 5.0.0](https://www.nuget.org/packages/Feliz.Template) - [Hedgehog 2.0.0](https://www.nuget.org/packages/Hedgehog) - [Hedgehog.Xunit.v3 2.0.0](https://www.nuget.org/packages/Hedgehog.Xunit.v3) - [FSharp.Core 10.0.101](https://www.nuget.org/packages/FSharp.Core) - [FSharp.Compiler.Service 43.10.101](https://www.nuget.org/packages/FSharp.Compiler.Service) - [Fantomas.FCS 8.0.0-alpha-001](https://www.nuget.org/packages/Fantomas.FCS/8.0.0-alpha-001) - [Paket 10.0.0-alpha011](https://www.nuget.org/packages/Paket/10.0.0-alpha011) > **[Sergey Tihon 🦔🦀 (@sergeytihon.com)](https://bsky.app/profile/sergeytihon.com/post/3m7j2gz6was2n)** > > Hm… Serena #fsharp That’s all for now. Have a great week. If you want to help keep F# Weekly going, [click here to jazz me with Coffee](https://www.buymeacoffee.com/sergeytihon)! [![Buy Me A Coffee](https://cdn.buymeacoffee.com/buttons/v2/default-yellow.png)](https://www.buymeacoffee.com/sergeytihon)