Why is F# code robust and reliable?

The short answer - F# and similar languages provide confidence in correctness due to being strongly typed.<p>The long answer - <a href="https:&#x2F;&#x2F;bartoszmilewski.com&#x2F;2014&#x2F;10&#x2F;28&#x2F;category-theory-for-programmers-the-preface&#x2F;" rel="nofollow">https:&#x2F;&#x2F;bartoszmilewski.com&#x2F;2014&#x2F;10&#x2F;28&#x2F;category-theory-for-p...</a>

Also because Microsoft spends relatively little on it and so it’s not changing at a fast pace.

Computational expressions [0] seem like a really cool language feature, but i’ve never used f#. Has anyone used them or seen them go well&#x2F;poorly? Also curious what other languages’ alternatives there are, besides just do notation.<p>[0] <a href="https:&#x2F;&#x2F;learn.microsoft.com&#x2F;en-us&#x2F;dotnet&#x2F;fsharp&#x2F;language-reference&#x2F;computation-expressions" rel="nofollow">https:&#x2F;&#x2F;learn.microsoft.com&#x2F;en-us&#x2F;dotnet&#x2F;fsharp&#x2F;language-ref...</a>

&gt;Strict dependency order<p>&gt;In F#, all variables, functions, types and files can only depend on variables, functions, types and files defined earlier. The benefits of this are the fact that a circular dependency is not possible by default and extra clarity with “what depends on what”, which helps during code analysis and PR reviews<p>Ehm. So it&#x27;s like C... with no forward declarations?

F# is wonderful. And every iteration of C# I see it go more and more in F#’s direction and this makes me incredibly happy.

Why are algebraic data types called &quot;discriminated unions&quot; here? Is there a subtle difference between the two or is it just that F# calls the same feature differently than OCaml?

Microsoft explained why we love Rust so much ;)

If you’re a python user, F# is an excellent next step to making your code safer, easier to maintain and more performant.

Haskell, Ocaml, scala<p>anything else?

&gt; No nulls by default ...While many modern languages added some control for doing more null checks to prevent NullReferenceException, F# avoided them from the inception. This means such exceptions are nearly impossible<p>A great feature that Golang couldn&#x27;t get right years later.