AlgorithmsAreCool

Launch parameters:    -l 1
Software:
  Runtime:            .NET Core
    Version:          .NET 8.0.14
    GC mode:          Server GC, Latency mode: Interactive, LOH compaction mode: 0, Large pages: disabled, Generations: 0..2
  OS:                 Microsoft Windows 10.0.19045 (X64)
Hardware:
  CPU:                11th Gen Intel(R) Core(TM) i7-11800H @ 2.30GHz
  CPU core count:     16
  RAM size:           32 GB

AlgorithmsAreCool

// See https://aka.ms/new-console-template for more information
using System;
using System.Threading;
using System.Collections.Generic;
using System.Diagnostics.Tracing;
using System.Collections.Concurrent;
using HdrHistogram;
using System.Diagnostics;
using System.Runtime;

AlgorithmsAreCool

using System.Threading.Channels;

using CommunityToolkit.Diagnostics;

using Orleans.Concurrency;

namespace Orleans.Grains.Utility;

public sealed class MessageChannelGrain<T> : Grain, IMessageChannelGrain<T>
{

AlgorithmsAreCool

newtype ThreadId = i: nat | i <= 0xffff_ffff

class Lock
{
    static const NULL_THREAD_ID : ThreadId := 0

    var ownerThread : ThreadId

    constructor()
        ensures ownerThread == NULL_THREAD_ID

AlgorithmsAreCool

type Timestamp = t: int| 0 <= t <= 9223372036854775808 //2^63

class Entity
{
    var id : string

    predicate isEqual(other : Entity)
        reads this, other
    {
        id == other.id

AlgorithmsAreCool

service ControlPlane {
  rpc QueryUsage (QueryConsumptionRequest) returns (QueryConsumptionResponse) {}
  rpc RegisterHandler (RegisterHandlerRequest) returns (RegisterHandlerResponse) {}
}

AlgorithmsAreCool

// See https://aka.ms/new-console-template for more information
using CsCheck;


Console.WriteLine("Hello, World!");

TestIteratedDirectIntegerSpaceCoverage();

void TestEnumeratedSpaceCoverage()
{

AlgorithmsAreCool

let sum = [1..10] |> List.reduce (+)

AlgorithmsAreCool

using System;
using System.Collections.Generic;
using System.Diagnostics;
using System.Threading;
using System.Threading.Tasks;

namespace BatchedAwait
{
    
    public static class EntryPoint

AlgorithmsAreCool

Examples of Sugar since C# 6.0

• Discards
• ?.
• Dictionary Initializers
• Auto-Property Initializers (heck, Auto Properties in general)
• Using Static
• Inline out variables
• Async Main
• Non-trailing named arguments