| (*=============================== | |
| || || | |
| || QuickStart || | |
| || || | |
| ===============================*) | |
| // A simple example of a property definition is | |
| let prop_RevRev xs = List.rev(List.rev xs) = xs |
| type FatalError(message: string) = | |
| inherit System.Attribute() | |
| member __.Message = message | |
| type Errors = | |
| | [<FatalError("The value specified is currently not available")>] UnknownValue | |
| | NotAnError | |
| let PrintErrorMessage : Errors -> string = | |
| fun err -> |
| // General hints on defining types with constraints or invariants | |
| // | |
| // Just as in C#, use a private constructor | |
| // and expose "factory" methods that enforce the constraints | |
| // | |
| // In F#, only classes can have private constructors with public members. | |
| // | |
| // If you want to use the record and DU types, the whole type becomes | |
| // private, which means that you also need to provide: | |
| // * a constructor function ("create"). |
| [<System.Runtime.CompilerServices.Extension>] | |
| type ExtensionMethods() = | |
| [<System.Runtime.CompilerServices.Extension>] | |
| static member inline GetOption< ^a,'k,'v when 'a : (member TryGetValue : 'k * ('v byref) -> bool)>(this : ^a, key : 'k) = | |
| let mutable v = Unchecked.defaultof<'v> | |
| let scc = ( ^a : (member TryGetValue : 'k * ('v byref) -> bool) this, key, &v) | |
| if scc then | |
| Some v | |
| else | |
| None |
| # If this script is throwing an error near a Unicode symbol try resaving the file as UTF-8 with BOM | |
| $psmodules = ";~\Documents\WindowsPowerShell\Modules" | |
| # sometimes the module paths has been fucked before posh loads, but that won't stop us | |
| $env:PSModulePath = $env:PSModulePath + $psmodules | |
| # Set the OutputEncoding to Unicode so that the λ renders properly | |
| [Console]::OutputEncoding = [System.Text.Encoding]::UTF8 | |
| open System.Collections.Generic | |
| open Microsoft.FSharp.Collections | |
| [<RequireQualifiedAccess>] | |
| module Folds = | |
| // These are the fast implementations we actually want to use |
| [<AutoOpen>] | |
| module UoM = | |
| // Units of measure for other than integral types | |
| let inline (++) (w: ^W when ^W: (static member IsMeasureAbbrev: ^tm * ^t -> unit)) (t: ^t) = (# "" t: ^tm #) | |
| let inline (--) (w: ^W when ^W: (static member IsMeasureAbbrev: ^tm * ^t -> unit)) (tm: ^tm) = (# "" tm: ^t #) | |
| [<MeasureAnnotatedAbbreviation>] | |
| type Guid<[<Measure>] 'm> = Guid |
Make things easy for yourself and start by running posh as admin
If you already have dnvm installed remember to run update-self if you haven't recently
Clone and checkout the coreclr branch of Kevin Ransom's Fork of the Visual F# Compiler and Tools
You need DNVM as a starting point. DNVM enables you to acquire a (or multiple) .NET Execution Environment (DNX).
| [<System.Runtime.CompilerServices.Extension>] | |
| type ExtensionMethods() = | |
| [<System.Runtime.CompilerServices.Extension>] | |
| static member inline GetOption< ^a,'k,'v when 'a : (member TryGetValue : 'k * ('v byref) -> bool)>(this : ^a, key : 'k) = | |
| let mutable v = Unchecked.defaultof<'v> | |
| let scc = ( ^a : (member TryGetValue : 'k * ('v byref) -> bool) this, key, &v) | |
| if scc then | |
| Some v | |
| else | |
| None |
| open System | |
| open System.Globalization | |
| open FParsec | |
| type Token = | |
| | KeyGroup of string list | |
| | KeyValue of string * obj | |
| let (<||>) p1 p2 = attempt (p1 |>> box) <|> attempt (p2 |>> box) | |
| let spc = many (anyOf [' '; '\t']) |
