| // ═══════════════════════════════════════════════════════════════════════════════ | |
| // GenPRES – MainEHR Integration: the system model, executable | |
| // ═══════════════════════════════════════════════════════════════════════════════ | |
| // | |
| // dotnet fsi Session.fsx | |
| // | |
| // Standalone — no #load, no #r. It prints a trace per scenario and ends with a count | |
| // of self-checks. | |
| // | |
| // ═══════════════════════════════════════════════════════════════════════════════ |
| root = true | |
| [*] | |
| indent_style = space | |
| indent_size = 4 | |
| charset = utf-8 | |
| trim_trailing_whitespace = true | |
| # Final newlines are necessary for a lot of unix tools to work as expected. See | |
| # https://stackoverflow.com/questions/729692/why-should-text-files-end-with-a-newline for more info. | |
| insert_final_newline = true |
| // ═══════════════════════════════════════════════════════════════════════════════ | |
| // GenPRES – MainEHR Integration: the system model, executable | |
| // ═══════════════════════════════════════════════════════════════════════════════ | |
| // | |
| // A runnable model of the design document *GenPRES – MainEHR Integration*. The | |
| // document is leading: every type, message and branch below exists to carry one of | |
| // its Actors, Concepts, Constraints or Rules, and cites it by number. Nothing the | |
| // document does not sanction lives here. | |
| // | |
| // The file is standalone — no #load, no #r. Run it with: |
| // declare the type outside the module | |
| type Person = {First:string; Last:string} | |
| module Functional = | |
| let invert f x y = f y x | |
| let invert2 f = fun x y -> f y x |
A reference for applying design patterns in functional programming. F# is used throughout, but the ideas transfer to any ML-family language.
| open System | |
| // Literal Claude code implementation | |
| module Impl1 = | |
| // ── Default Model Resolution ──┈┈┈┈┈┈┈┈┈┈┈┈┈ | |
| /// Returns the canonical name for a model string (strips date/provider suffixes) |
| // ============================================================================ | |
| // M.fsx — the Identity monad, and the Functor / Applicative / Monad it | |
| // generates. | |
| // ---------------------------------------------------------------------------- | |
| // WHY THIS SETUP | |
| // | |
| // `M<'T>` is the simplest possible monad: a box that merely holds a value | |
| // (`M of 'T`) with no extra effect. That makes it the ideal *skeleton* for | |
| // studying the abstraction itself — nothing distracts from the structure. | |
| // |
| // coding-agent.fsx | |
| // Claude-Code-like harness in F#. Two modes from one script: | |
| // default -> in-process REPL agent driven by a local Ollama model via Microsoft.Extensions.AI | |
| // "mcp" arg -> MCP server over stdio exposing the same three tools | |
| // | |
| // Run agent mode: dotnet fsi coding-agent.fsx | |
| // (optional: OLLAMA_HOST, OLLAMA_MODEL) | |
| // Run MCP mode: dotnet fsi coding-agent.fsx mcp | |
| // | |
| // Requires a running Ollama instance with a tool-calling-capable model pulled, e.g. |
| #!/usr/bin/dotnet fsi | |
| open System | |
| open System.Collections.Generic | |
| open System.Globalization | |
| open System.IO | |
| open System.Net.Http | |
| open System.Numerics | |
| open System.Text |
| open System | |
| open System.Threading | |
| open System.Threading.Tasks | |
| /// <summary> | |
| /// Represents an asynchronous agent that processes messages of type 'T. | |
| /// This is a wrapper around FSharp's MailboxProcessor, providing a unified API for agent-based concurrency. | |
| /// </summary> | |
| type Agent<'T>(body: Agent<'T> -> Async<unit>) as self = |