Richard Gibson

Thanks for the reply; we've updated our code with your suggestion. On researching this issue when it first appeared it does seem that we're doing things a bit unusually in...

Related to this is the generic cast. This is currently not possible in C#, but feels like it should be: ```csharp public sealed class NullObject { private NullObject() {} public...

If we're going to do this I'd absolutely love to be able to omit the `else throw new ArgumentException(nameof(o)))` where it's obvious. ```csharp public void Foo(object o) requires o is...

The `where x : GreaterThan(0)` actually makes it look quite a lot like dependent types. I wonder if that might actually be a more useful problem to solve than "just"...

I like this idea. But, why not use braces and `return` for the syntax? Currently lambdas have two different syntaxes depending on whether they're statement-bodied or expression-bodied. An expression-bodied lambda:...

@orthoxerox Ahh, you mean that the meaning of `return` would be hugely different in the two following cases: ```csharp string MyMethod() { var name = { Log("Getting name"); return "John";...

Is it very important that the type is erased? Perhaps it's a slightly separate proposal, but I would love to have ad-hoc type unions in the form: ```fsharp let print...

@ijsgaus But if it's not erased then it's no difference from `Choice`

Sure! This is all it takes: ```Powershell Configuration FailingDsc { Import-DscResource -ModuleName PSDesiredStateConfiguration Import-DscResource -ModuleName cChoco Node localhost { cChocoInstaller InstallChocolatey { InstallDir = "c:\choco" } cChocoPackageInstaller FailingInstaller { DependsOn...

Cool, thanks. I was thinking that there's already a function defined "IsPackageInstalled" that I can call at the end of the package installation process, which appears to work. Does this...