eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Server stats:

211
active users

#fsharp

2 posts2 participants0 posts today
arialdo<p>Delicious post on <a href="https://mastodon.online/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> by <span class="h-card" translate="no"><a href="https://hachyderm.io/@bbatsov" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>bbatsov</span></a></span> </p><p>Why F#? </p><p><a href="https://batsov.com/articles/2025/03/30/why-fsharp/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">batsov.com/articles/2025/03/30</span><span class="invisible">/why-fsharp/</span></a></p>
xUnit.net<p>We just shipped Core Framework v3 3.0.0, Analyzers 1.23.0, and Visual Studio adapter 3.1.2.</p><p>Check the release notes for breaking changes, new features, and bugs fixed.</p><p><a href="https://xunit.net/releases/v3/3.0.0" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">xunit.net/releases/v3/3.0.0</span><span class="invisible"></span></a><br><a href="https://xunit.net/releases/analyzers/1.23.0" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">xunit.net/releases/analyzers/1</span><span class="invisible">.23.0</span></a><br><a href="https://xunit.net/releases/visualstudio/3.1.2" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">xunit.net/releases/visualstudi</span><span class="invisible">o/3.1.2</span></a></p><p><a href="https://dotnet.social/tags/DotNet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DotNet</span></a> <a href="https://dotnet.social/tags/CSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CSharp</span></a> <a href="https://dotnet.social/tags/FSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FSharp</span></a> <a href="https://dotnet.social/tags/UnitTest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UnitTest</span></a> <a href="https://dotnet.social/tags/TDD" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TDD</span></a></p>
Amplifying F#<p>Hey <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> </p><p>This week we'll be joined by <span class="h-card" translate="no"><a href="https://hachyderm.io/@Jimmy_byrd" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>Jimmy_byrd</span></a></span> for adding support to script files in he F# Analyzers SDK!</p><p>Check out the link for details: <a href="https://amplifyingfsharp.io/sessions/2025-06-27/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">amplifyingfsharp.io/sessions/2</span><span class="invisible">025-06-27/</span></a></p><p><a href="https://mastodon.social/tags/dotnet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dotnet</span></a> <a href="https://mastodon.social/tags/OpenSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenSource</span></a></p>
BujakiewiczFranco<p>Who knows if Microsoft 🤮 was copy those guys to create F#, but Scala is a functional Java, and F# a functional C#, that is a copy of Java 🙂<br><a href="https://mastodon.social/tags/code" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>code</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/microsoft" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>microsoft</span></a> <a href="https://mastodon.social/tags/technology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>technology</span></a> <a href="https://mastodon.social/tags/software" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>software</span></a> <a href="https://mastodon.social/tags/java" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>java</span></a> <a href="https://mastodon.social/tags/csharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>csharp</span></a> <a href="https://mastodon.social/tags/scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>scala</span></a> <a href="https://mastodon.social/tags/j" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>j</span></a>++ <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> <a href="https://mastodon.social/tags/sunmicrosystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sunmicrosystems</span></a> <a href="https://mastodon.social/tags/history" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>history</span></a></p>
arialdo<p>Current status: I'm finally working on the <a href="https://mastodon.online/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> tree-sitter based major mode for <a href="https://mastodon.online/tags/Emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Emacs</span></a>.</p>
thinkbeforecoding<p><span class="h-card" translate="no"><a href="https://functional.cafe/@robertpi" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>robertpi</span></a></span> it did not replace <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> which is still my default language.. but it broughth new joy</p>
Bozhidar Batsov (a.k.a. Bug)<p>I wrote a short article about the origin of the pipeline operator (|&gt;) <a href="https://batsov.com/articles/2025/05/22/the-origin-of-the-pipeline-operator/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">batsov.com/articles/2025/05/22</span><span class="invisible">/the-origin-of-the-pipeline-operator/</span></a> You've probably seen it in <a href="https://hachyderm.io/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a>, <a href="https://hachyderm.io/tags/Elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Elixir</span></a> and <a href="https://hachyderm.io/tags/FSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FSharp</span></a>.</p>
arialdo<p>TIL <a href="https://mastodon.online/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> provides these native operators:</p><p>let (:=) cell value = cell.contents &lt;- value</p><p>let inline (||&gt;) (arg1, arg2) func = func arg1 arg2</p><p>let inline (|||&gt;) (arg1, arg2, arg3) func = func arg1 arg2 arg3</p>
thinkbeforecoding<p><span class="h-card" translate="no"><a href="https://indieweb.social/@johnallsopp" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>johnallsopp</span></a></span> I do my live coding in F# + VIM<br><a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> is succint with low ceremony... with well prepared code, it can be short without being obscure.<br>VIM (or equivalent) prive semantic editing.. you can move/copy/replace quickly without thinking.<br>F# is also interactive, you can execute each line after you type it.</p>
arialdo<p>Current state: writing a series of articles about Monadic Parser Combinators in <a href="https://mastodon.online/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a></p>
vascorsd<p>It's always sad when reading comments on <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> languages and people saying "I tried <a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ocaml</span></a>, <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a>, <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a>... and don't like because X", which shows they are interested but then also say "I looked at <a href="https://mastodon.social/tags/scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>scala</span></a> and it looked complex so I didn't even try it and ran away" 🙃...</p><p>People, if you can do it in those languages, you can do it in scala. It's the most popular and used in production fp language in the world!</p><p>Thanks for coming to my teg talk :blobcatcoffee:</p>
arialdo<p><a href="https://mastodon.online/tags/movieLinesInCode" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>movieLinesInCode</span></a> </p><p>type Pill = <br> | Blue <br> | Red</p><p>let choose pill =<br> match pill with<br> | Blue -&gt; <br> let rec loop () = loop ()<br> loop ()<br> | Red -&gt; Environment.Exit(0)</p><p><a href="https://mastodon.online/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a></p>
arialdo<p><a href="https://mastodon.online/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> does not support function overload. Which would come in very handy for implementing Monad Transformers.</p><p>F#+ supports both.</p><p>I was stubborn as a mule about wanting to understand how it worked, and I eventually got to the same code implemented in F#+. It's horribly convoluted.</p><p>I guess I'm soon writing a blob post with all the steps to get there.</p>
brandewinder<p>After an annoying work day that started with waking up unpleasantly early to attend a meeting which did not take place, and continued along the same vein, I needed to feel like I actually did something today, and wrote some more Delaunay triangulation code. It ended up much easier than what I thought - it's actually almost done. <a href="https://hachyderm.io/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a></p>
arialdo<p>I’m fascinated by Free Monads. <a href="https://mastodon.online/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a></p>
arialdo<p>In the attempt to grasp monad transformers, I'm reading Grokking Monads by Matt Thornton (can't find him here on Mastodon)</p><p>It's a very well written series, <a href="https://mastodon.online/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> based, and I would recommend it as a first read about monads.</p><p><a href="https://dev.to/choc13/grokking-monads-in-f-3j7f" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">dev.to/choc13/grokking-monads-</span><span class="invisible">in-f-3j7f</span></a></p>
arialdo<p>The trait that I initially hated the most about <a href="https://mastodon.online/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a>, the compilation order, quickly turned out to be among those I love the most. It forces me to think and to care about design.</p><p>Lovely.</p>
arialdo<p>I would like to give back to 2 projects that gave me a lot, <a href="https://mastodon.online/tags/Emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Emacs</span></a> and <a href="https://mastodon.online/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a>.</p><p>Since it seems there is not a comprehensive Tree-sitter mode for F# yet, I gave myself the (long term) challenge to learn enough about <a href="https://mastodon.online/tags/Tree" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tree</span></a>-sitter, major modes, <a href="https://mastodon.online/tags/LSP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LSP</span></a> and the like to write one (or at least to contribute to one).</p><p>Along the way, I promised myself to share in blog posts what I happen to learn.</p><p>Here's a first article with the notes taken while wrapping my head around Imenu.</p><p><a href="https://arialdomartini.github.io/emacs-imenu" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">arialdomartini.github.io/emacs</span><span class="invisible">-imenu</span></a></p>
arialdo<p>I promised myself to develop a tree-sitter <a href="https://mastodon.online/tags/Emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Emacs</span></a> major mode for <a href="https://mastodon.online/tags/Fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Fsharp</span></a>. I’m working on it with Prot.</p>
arialdo<p><span class="h-card" translate="no"><a href="https://mastodon.social/@mcc" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>mcc</span></a></span> precisely my experience. <br>I find joy in <a href="https://mastodon.online/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> and <a href="https://mastodon.online/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a>, for he are languages with the good parts of <a href="https://mastodon.online/tags/rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rust</span></a> without the annoying ones.</p>