ArtemyB

type Claim = { Name: string; Value: string }

type Mapping = { Group: string; Roles: string list }

let mapping = [
    { Group = "aaa"; Roles = [ "Admin" ] }
    { Group = "ccc"; Roles = [ "King" ] }
    { Group = "uuu"; Roles = [ "User" ] }
]

ArtemyB

// Inferred return type: `'a list`
let implicitYield (f: int -> unit) = [
    for i in 0 .. 3 do
        if i = 2 then f i
        else printf "Not 2"
]

// Inferred return type: `unit list`
let explicitYield (f: int -> unit) = [
    for i in 0 .. 3 do

ArtemyB

module ArangoDBNetStandardFSharpSystemTextJsonSerialization

open System
open System.IO

module SystemTextJson =

    open System.Text.Json
    open System.Text.Json.Serialization
    

ArtemyB

type IAbcd<'A, 'B> =
    abstract member TheMethod : 'A * int -> 'B
    abstract member TheMethod : 'A * string -> 'B

type Abcd<'A>() =

    member x.TheMethod(a: 'A, i: int) =
        printfn "%i" i

    member x.TheMethod(a: 'A, s: string) =

ArtemyB

ArtemyB

ArtemyB

// Для абсолютного понятия:
absolute_concept
	=> nrel_main_idtf:
		[absolute concept](*<- lang_en;;*);
		[абсолютное понятия](*<- lang_ru;;*);
	<- rrel_key_sc_element:...
		(*
			<- sc_definition;;
			=> nrel_main_idtf: [Definition (absolute concept)](*<- lang_en;;*);;
			=> nrel_main_idtf: [Определение (абсолютное понятие)](*<- lang_ru;;*);;

ArtemyB

ArtemyB

// Объявляем sc-агент поисковой операции
sc_agent_of_search_operation
// Указываем множество идентификаторов агента
=>nrel_main_idtf:
	// lang_ru – атрибут идентификатора на русском языке
	[sc-агентпоиска] (* <- lang_ru;; *);
	// lang_en – атрибут идентификатора на английском языке
	[sc-agent of search] (* <- lang_en;; *);
// Указываем, что наш агент принадлежит классу абстрактныхsc-агентов
<- abstract_sc_agent;