This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
namespace NormalBetaReductionInterpreter | |
module Interpreter = | |
type LambdaTerm = | |
| Var of char | |
| Application of LambdaTerm * LambdaTerm | |
| Abstraction of char * LambdaTerm |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(* | |
* --------------------------------------------- | |
* Introduction: | |
* --------------------------------------------- | |
* We know that (F0 F1) * P^n = (Fn Fn+1), | |
* where P = (0 1) and F0 = 0, F1 = 1 | |
* (1 1) | |
* | |
* => P^n = (a b) => (F0 F1) * (a b) = (Fn Fn+1) | |
* (c d) (c d) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
type Virus(firstInfected: Computer[], infectionChance: OS -> float, random: unit -> float) = | |
let infectedComputers = HashSet(firstInfected) | |
let getNeighbours computer: Computer[] = [||] // TODO: ... | |
let calculateInfectionCandidates lastInfected = | |
lastInfected | |
|> Seq.map getNeighbours | |
|> Seq.concat | |
|> Seq.distinct |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
namespace FSharpControl | |
module Task3 = | |
open System | |
(* Task 3 *) | |
/// <summary> | |
/// Последовательность ячеек c приоритетом внутри очереди | |
/// </summary> | |
type Element<'a> = |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
public sealed class Singleton | |
{ | |
private static readonly Singleton instance = new Singleton(); | |
static Singleton() | |
{ | |
} | |
private Singleton() | |
{ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
app.Map("jopa/get", Func<Jopa, Jopa, Jopa, Result>(fun x context huext -> ....) |> ignore | |
// Func<Jopa, Jopa, Jopa, Result> should be redudndant here | |