altbodhi

#r "nuget: FSharp.Data"

open FSharp.Data
open System

type AccountTransaction =
    { Date: DateTime
      Category: string
      Amount: decimal
      Description: string }

altbodhi

// продолжения на F#
type Cont<'a, 'r> = ('a -> 'r) -> 'r

module Cont =
    // Создание continuation из значения
    let ret (x: 'a) : Cont<'a, 'r> = 
        fun k -> k x
    
    // Связывание continuation
    let bind (m: Cont<'a, 'r>) (f: 'a -> Cont<'b, 'r>) : Cont<'b, 'r> =

altbodhi

namespace Company.AdPlaceSearchEngine;

public record Location(string Name);
public record AdPlace(string Name);
public abstract record SearchResult(Location Location)
{
    public record NotFound(Location Location) : SearchResult(Location);
    public record Success(Location Location, List<AdPlace> AdPlaces) : SearchResult(Location);
}

altbodhi

    module Text =

        /// поиск индекс первого вхождения образца в строке
        let findFirst (s: string) (p: string) =
            // предикат проверяющий совпадение части строки с образцом
            let eqSample i (s: string) (p: string) =
                let rec loop j =
                    if j < p.Length && p.[j] = s.[i + j] then
                        loop (j + 1)
                    else

altbodhi

module TelegramWebApp =

    open System.Security.Cryptography
    open System.Text
    open System.Web

    let validateInitData botToken (initData: string) =

        let items =
            initData.Split "&" |> Array.map (fun x -> let p = x.Split("=") in (p[0], p[1]))

altbodhi

// controller

        [HttpGet("tgCheckWebAppAuth")]
        public async Task<IActionResult> CheckWebAppAuth([FromQuery] Dictionary<string, string> userData)
        {
            var user = telegramLoginUrl.CheckWebAppTelegramAuthorization(userData);

            if (await Invalid(user)) return Unauthorized();

            await SignIn(user, [new Claim("Source", "TelegramWebApp")]);

altbodhi

@page "/"
@rendermode InteractiveServer

<input value="@query" @oninput="OnInput" />

@if (isGetItems)
{
    <div style="font-style: italic;">поиск...</div>
}
else

altbodhi

open System

type Message<'a> =
    | Get of AsyncReplyChannel<'a>
    | Update of AsyncReplyChannel<'a> * ('a -> 'a)

type Atom<'a>(o: 'a) =
    let agent =
        MailboxProcessor.Start(fun b ->
            let rec loop (acc) =

altbodhi

<MudButton ButtonType="ButtonType.Button" OnClick="BeepIfIncomingMessage">OK</MudButton>

@code {
    async Task BeepIfIncomingMessage()
    {
        if (jsSoundUtils == null)
            jsSoundUtils = await JS.InvokeAsync<IJSObjectReference>("import", "./js/SoundUtils.js");

       var res = await jsSoundUtils.InvokeAsync<object>("soundBeep");
    }

altbodhi

module ZenUtil

#r "nuget: NAudio"
#r "nuget: System.Speech"

open NAudio.Wave

open System

module WindowsSpeech =