Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.7K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.8

#fp

2 posts2 participants0 posts today
//devdigest<p>⚡️ F# Weekly #19, 2025: Mixing F# and C#</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>devdigest</span></a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dotnet</span></a> <a href="https://mastodon.social/tags/net" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/csharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>csharp</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4193" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4193</span><span class="invisible"></span></a></p>
DJ Adams<p>Missed this morning's <a href="https://hachyderm.io/tags/HandsOnSAPDev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HandsOnSAPDev</span></a> live stream episode? Don't worry, the replay is available. We explored what currying is, what partial application is, how closures are key in this context, and why you'd want to use them, with simple examples. Share &amp; enjoy! <a href="https://www.youtube.com/watch?v=1j253luGOlU" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=1j253luGOl</span><span class="invisible">U</span></a> <a href="https://hachyderm.io/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</span></a> <span class="h-card" translate="no"><a href="https://a.gup.pe/u/sap" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sap</span></a></span></p>
//devdigest<p>⚡️ F# Weekly #18, 2025 – F# in Helix</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>devdigest</span></a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dotnet</span></a> <a href="https://mastodon.social/tags/net" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4171" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4171</span><span class="invisible"></span></a></p>
DJ Adams<p>ICYMI, a brief foray into the CAP Node.js server code that loads the CDS model, using what we are learning in our functional programming explorations to understand why &amp; how required services are automatically loaded. <a href="https://qmacro.org/blog/posts/2025/05/01/fp-function-chains-and-cap-model-loading/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">qmacro.org/blog/posts/2025/05/</span><span class="invisible">01/fp-function-chains-and-cap-model-loading/</span></a></p><p><a href="https://hachyderm.io/tags/SAPCAP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SAPCAP</span></a> <a href="https://hachyderm.io/tags/HandsOnSAPDev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HandsOnSAPDev</span></a> <a href="https://hachyderm.io/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</span></a> <span class="h-card" translate="no"><a href="https://a.gup.pe/u/sap" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sap</span></a></span></p>
Javier Fernández Panadero<p>Todos los ejercicios de matemáticas y los problemas de ciencias de las PRUEBAS DE ACCESO <a href="https://mastodon.social/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</span></a> GRADO MEDIO de MADRID RESUELTOS en VÍDEO. <br>Desde el 2015 hasta el 2023.<br>Los exámenes son en dos semanas<br>Por si sirven.<br>Se agradece difusión <br><a href="https://youtube.com/playlist?list=PLzqyAKVt4MgPR70pIOsuo2wrqpBFE_ejp&amp;si=fa0uFnwg1wLtmIBl" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">youtube.com/playlist?list=PLzq</span><span class="invisible">yAKVt4MgPR70pIOsuo2wrqpBFE_ejp&amp;si=fa0uFnwg1wLtmIBl</span></a></p>
DJ Adams<p>TIL about the subtlety of the optional initialValue parameter for the Array prototype's reduce method in JS.</p><p><a href="https://qmacro.org/blog/posts/2025/04/29/array.prototype.reduce-and-the-optional-initial-value/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">qmacro.org/blog/posts/2025/04/</span><span class="invisible">29/array.prototype.reduce-and-the-optional-initial-value/</span></a></p><p>Too obvious ... or worth pointing out? Anyway, hope someone gets something out of this micro realisation.</p><p><a href="https://hachyderm.io/tags/TIL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TIL</span></a> <a href="https://hachyderm.io/tags/JavaScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>JavaScript</span></a> <a href="https://hachyderm.io/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</span></a> <a href="https://hachyderm.io/tags/HandsOnSAPDev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HandsOnSAPDev</span></a> <span class="h-card" translate="no"><a href="https://a.gup.pe/u/sap" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sap</span></a></span></p>
DJ Adams<p>Something for a Sunday? Relating to Friday's <a href="https://hachyderm.io/tags/HandsOnSAPDev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HandsOnSAPDev</span></a> live stream on <a href="https://hachyderm.io/tags/SAPCAP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SAPCAP</span></a> and <a href="https://hachyderm.io/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</span></a>, we have 👉</p><p>📺 the replay, so you're all caught up for next Friday: <a href="https://www.youtube.com/watch?v=4XLCRF1Cc9w" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=4XLCRF1Cc9</span><span class="invisible">w</span></a></p><p>📖 a vintage <a href="https://hachyderm.io/tags/MondayMorningThoughts" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MondayMorningThoughts</span></a> post on dynamic language, JS function evaluations &amp; reduce, to complement what we explored: <a href="https://qmacro.org/blog/posts/2018/10/22/monday-morning-thoughts:-dynamic-language/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">qmacro.org/blog/posts/2018/10/</span><span class="invisible">22/monday-morning-thoughts:-dynamic-language/</span></a> </p><p>Share and enjoy! </p><p><span class="h-card" translate="no"><a href="https://a.gup.pe/u/sap" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sap</span></a></span></p>
//devdigest<p>⚡️ F# Weekly #17 Shares Build 2025 Details</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>devdigest</span></a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dotnet</span></a> <a href="https://mastodon.social/tags/net" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4148" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4148</span><span class="invisible"></span></a></p>
Dining & Cooking<p>Top 10 Takeover dinner series at Coeur: How to get tickets <a href="https://www.diningandcooking.com/2032395/top-10-takeover-dinner-series-at-coeur-how-to-get-tickets/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">diningandcooking.com/2032395/t</span><span class="invisible">op-10-takeover-dinner-series-at-coeur-how-to-get-tickets/</span></a> #10 <a href="https://vive.im/tags/Chevrolet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Chevrolet</span></a> <a href="https://vive.im/tags/cuisine" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cuisine</span></a> <a href="https://vive.im/tags/dining" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dining</span></a> <a href="https://vive.im/tags/dinner" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dinner</span></a> <a href="https://vive.im/tags/fine" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fine</span></a> <a href="https://vive.im/tags/FineDining" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FineDining</span></a> <a href="https://vive.im/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</span></a> <a href="https://vive.im/tags/FPRestaurantOfTheYear" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FPRestaurantOfTheYear</span></a> <a href="https://vive.im/tags/francais" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>francais</span></a> <a href="https://vive.im/tags/france" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>france</span></a> <a href="https://vive.im/tags/French" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>French</span></a> <a href="https://vive.im/tags/FrenchCuisine" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FrenchCuisine</span></a> <a href="https://vive.im/tags/FrenchDinner" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FrenchDinner</span></a> <a href="https://vive.im/tags/jordan" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>jordan</span></a> <a href="https://vive.im/tags/JordanSmith" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>JordanSmith</span></a> <a href="https://vive.im/tags/news" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>news</span></a> <a href="https://vive.im/tags/Of" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Of</span></a> <a href="https://vive.im/tags/Overall" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Overall</span></a> <a href="https://vive.im/tags/OverallPositive" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OverallPositive</span></a> <a href="https://vive.im/tags/positive" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>positive</span></a> <a href="https://vive.im/tags/reservations" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>reservations</span></a> <a href="https://vive.im/tags/restaurant" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>restaurant</span></a> <a href="https://vive.im/tags/RestaurantReviewsU0026Reservations" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RestaurantReviewsU0026Reservations</span></a> <a href="https://vive.im/tags/Restaurants" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Restaurants</span></a> <a href="https://vive.im/tags/reviews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>reviews</span></a> <a href="https://vive.im/tags/series" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>series</span></a> <a href="https://vive.im/tags/Smith" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Smith</span></a> <a href="https://vive.im/tags/Takeover" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Takeover</span></a> <a href="https://vive.im/tags/the" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>the</span></a> <a href="https://vive.im/tags/top" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>top</span></a> <a href="https://vive.im/tags/Top10TakeoverDiningSeries" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Top10TakeoverDiningSeries</span></a> <a href="https://vive.im/tags/u0026" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>u0026</span></a> <a href="https://vive.im/tags/year" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>year</span></a></p>
José Manuel (Chema) Solís<p>Probando mi propio filtro de detección de bordes. Ten cuidado si eres uno.</p><p><a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/graphics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>graphics</span></a> <a href="https://mastodon.social/tags/imageprocessing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>imageprocessing</span></a> <a href="https://mastodon.social/tags/dam" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dam</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a></p>
D:\Black\Clover<p>Functional Software Architecture</p><p><a href="https://functional-architecture.org/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">functional-architecture.org/</span><span class="invisible"></span></a></p><p><a href="https://dotnet.social/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</span></a> <a href="https://dotnet.social/tags/SoftwareArchitecture" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareArchitecture</span></a></p>
//devdigest<p>⚡️ Moving Song Recommendations from F# to Haskell</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>devdigest</span></a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dotnet</span></a> <a href="https://mastodon.social/tags/net" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/csharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>csharp</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4093" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4093</span><span class="invisible"></span></a></p>
//devdigest<p>⚡️ F# Weekly #16: Rider 2025.1 and SqlHydra 3 Updates</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>devdigest</span></a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dotnet</span></a> <a href="https://mastodon.social/tags/net" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/jetbrains" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>jetbrains</span></a> <a href="https://mastodon.social/tags/ide" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ide</span></a> <a href="https://mastodon.social/tags/rider" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rider</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4092" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4092</span><span class="invisible"></span></a></p>
vascorsd<p>Lustre v5.0.0 released! - <a href="https://hexdocs.pm/lustre/announcements/2025-04-19.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">hexdocs.pm/lustre/announcement</span><span class="invisible">s/2025-04-19.html</span></a></p><p><a href="https://mastodon.social/tags/gleam" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gleam</span></a> <a href="https://mastodon.social/tags/webdev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webdev</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/programing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programing</span></a></p>
alios<p>"Propositions as traits, proofs as impls"</p><p><a href="https://23.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rustlang</span></a> <a href="https://23.social/tags/scnr" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scnr</span></a> <a href="https://23.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://23.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a></p>
vascorsd<p>Flambda2 Ep. 4: How to write a purely functional compiler | OCamlPro - <a href="https://ocamlpro.com/blog/2025_02_19_the_flambda2_snippets_4/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ocamlpro.com/blog/2025_02_19_t</span><span class="invisible">he_flambda2_snippets_4/</span></a></p><p><a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ocaml</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a></p>
vascorsd<p>Global rename and find reference |<br>Gleam v1.10.0 released</p><p><a href="https://gleam.run/news/global-rename-and-find-references/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gleam.run/news/global-rename-a</span><span class="invisible">nd-find-references/</span></a></p><p><a href="https://mastodon.social/tags/gleam" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gleam</span></a> <a href="https://mastodon.social/tags/gleamlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gleamlang</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a></p>
//devdigest<p>⚡️ Porting Song Recommendations from C# to F#</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>devdigest</span></a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dotnet</span></a> <a href="https://mastodon.social/tags/net" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/csharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>csharp</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4017" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4017</span><span class="invisible"></span></a></p>
//devdigest<p>⚡️ F# Weekly #15, 2025: .NET 10 Preview 3 and Azure Functions</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>devdigest</span></a> <a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dotnet</span></a> <a href="https://mastodon.social/tags/net" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/cloud" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cloud</span></a> <a href="https://mastodon.social/tags/azure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>azure</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4015" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4015</span><span class="invisible"></span></a></p>
Justin du Coeur<p>Important conversation for the hardcore <a href="https://social.coop/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scala</span></a> and <a href="https://social.coop/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</span></a> geeks: <a href="https://contributors.scala-lang.org/t/experimental-capture-checking-new-syntax-for-explicit-capture-polymorphism/7095" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">contributors.scala-lang.org/t/</span><span class="invisible">experimental-capture-checking-new-syntax-for-explicit-capture-polymorphism/7095</span></a></p><p>tl;dr: they're starting to figure out the syntax for Capture Checking. This is still *highly* experimental, but slowly starting to turn real -- the ability to constrain which capabilities are available where in the code.</p><p>It's early days, but the potential for producing safer, better-checked code is a big deal, and worth keeping an eye on…</p>
SearchLive feeds
About