dsyme

namespace System

open System


///<summary>Represents a character as a UTF-16 code unit.</summary>
type Char =
  
  ///<summary>Converts the specified Unicode code point into a UTF-16 encoded string.</summary>
  ///<param name="utf32">A 21-bit Unicode code point.</param>

dsyme

namespace FSComp
  type internal SR =
    class
      private new : unit -> SR
      static member
        ArgumentsInSigAndImplMismatch : a0:System.String * a1:System.String ->
                                          int * string
      static member
        CallerMemberNameIsOverriden : a0:System.String -> int * string
      static member

dsyme

[<ShapeCheck>]
type NeuralStyles(C: Int, H: Int, W: Int) =
    inherit Model()

    let instance_norm (channels: Int, h, w) = 
        model { 
            let! shift = Weight.uniform (Shape [| channels; h; w |], 0.0)
            and! scale = Weight.uniform (Shape [| channels; h; w |], 1.0)
            return (fun input  ->

dsyme

open System
type T() =
    member this.Item
        with get ([<ParamArray>] indices: int[]) = "_"
        and set ([<ParamArray>] indices: int[]) (value: string) = ()

let t = T()

// Works correctly
printfn "%A" t.[2, 1, 0]    

dsyme

Quick notes on a rant

Some examples related to my tweet rant https://twitter.com/dsymetweets/status/1294276915260522496

1. Implicitly discarding information is so 20th Century

In project programming this hit me this week with a bug:

dsyme

class='parameter'>recordType</span></dt><dd><p>The type of record to construct.</p></dd><dt><span class='parameter'>bindingFlags</span></dt><dd><p>Optional binding flags.</p></dd></dl><p class='returns'><p>Returns: A function to construct records of the given type.</p><table class='inner-list exception-list'><tr><td><a href=\"https://docs.microsoft.com/dotnet/api/system.argumentexception\">ArgumentException</a></td><td>Thrown when the input type is not a record type.</td></tr></table>"
    },
    {
        "uri": "https://fsharp.github.io/fsharp-core-api-docs/reference/fsharp-reflection-fsharpvalue.html#PreComputeRecordConstructorInfo",
        "title": "FSharpValue.PreComputeRecordConstructorInfo",
        "content": "FSharpValue.PreComputeRecordConstructorInfo \nPreComputeRecordConstructorInfo \n<p class='summary'>Get a ConstructorInfo for a record type</p><dl><dt><span class='parameter'>recordType</span></dt><dd><p>The record type.</p></dd><dt><span class='parameter'>bindingFlags</span></dt><dd><p>Optional

dsyme

Topics

1. tokenization

2. parsing

3. checking and elaboration (i.e. producing TypedTree)
   - $" " plain
   - $"..." as FormattableString

dsyme

Fyro

Fyro Models

An Fyro model is an F# definition of the form:

[<ReflectedDefinition>]
let model (param1, .... paramN) = <distribution-expression>

dsyme

TryDownloadDotnetFrameworkSdk -- Test-IsAdmin = 'True'
pre-dl snPathX86Exists : True - 'C:\Program Files (x86)\Microsoft SDKs\Windows\v10.0A\bin\NETFX 4.8 Tools\sn.exe'
set WindowsSDK_ExecutablePath_x86=C:\Program Files (x86)\Microsoft SDKs\Windows\v10.0A\bin\NETFX 4.8 Tools
set WindowsSDK_ExecutablePath_x64=C:\Program Files (x86)\Microsoft SDKs\Windows\v10.0A\bin\NETFX 4.8 Tools\x64
VisualFSharp.sln:
Build started 23/07/2020 16:13:52.
     1>Project "C:\Users\dsyme\.nuget\packages\microsoft.dotnet.arcade.sdk\5.0.0-beta.20364.3\tools\Build.proj" on node 1 (default targets).
     1>Project "C:\Users\dsyme\.nuget\packages\microsoft.dotnet.arcade.sdk\5.0.0-beta.20364.3\tools\Build.proj" (1) is building "C:\Users\dsyme\.nuget\packages\microsoft.dotnet.arcade.sdk\5.0.0-beta.20364.3\tools\Tools.proj" (2) on node 1 (Restore target(s)).
     2>_GetAllRestoreProjectPathItems:
         Determining projects to restore...

dsyme

Teams link:

https://teams.microsoft.com/l/meetup-join/19%3ameeting_MTlmNzU5ZmUtZTAyYi00MTFjLWFhMmYtY2JlMjczNzM2ODMx%40thread.v2/0?context=%7b%22Tid%22%3a%2272f988bf-86f1-41af-91ab-2d7cd011db47%22%2c%22Oid%22%3a%22e374a10e-9340-46d0-a4be-5af5ac3602d5%22%7d