| /* Fixes the header to the top of the page */ | |
| div#entry > div#main .main-menu-content { | |
| position: relative !important; | |
| top: 0 !important; | |
| } | |
| div#entry > div#main .main-menu .backdrop { | |
| position: fixed !important; | |
| } |
| /* | |
| Snippet is nuts and bolts for creating/moving to an isolated tempdb drive. | |
| After you run this, SQL Server must be restarted for it to take effect | |
| */ | |
| DECLARE @DriveSizeGB INT = 40 | |
| ,@FileCount INT = 9 | |
| ,@RowID INT | |
| ,@FileSize VARCHAR(10) | |
| ,@DrivePath VARCHAR(100) = 'T:\' + @@SERVICENAME + '\'; |
| (* | |
| WHAT'S GOING ON HERE?! | |
| Sometimes you don't care about a particular type, you're interested in one field only, let's say `EntityId`. | |
| Instead of using interface (which isn't even possible if don't own a type), | |
| we can do structural typing in F# using SRTP and Active Patterns. | |
| Active patterns are not required for this, but they do make code much easier to use. | |
| *) | |
| // So we have 2 types with field `EntityId: string`: |
| module Drone.Control.Ukf | |
| open System | |
| open Drone.Control.Matrix | |
| type IDiscreteModel = | |
| abstract Process : Matrix -> Matrix | |
| abstract Observe : Matrix -> Matrix | |
| abstract InitialState : Matrix |
| // Change this to your profile folder for nuget packages | |
| #I @"C:\Users\Isaac\.nuget\packages\" | |
| #r @"XPlot.GoogleCharts\2.0.0\lib\netstandard2.0\XPlot.GoogleCharts.dll" | |
| #r @"Newtonsoft.Json\12.0.3\lib\netstandard2.0\Newtonsoft.Json.dll" | |
| #r @"Google.DataTable.Net.Wrapper\4.0.0\lib\netstandard2.0\Google.DataTable.Net.Wrapper.dll" | |
| open System | |
| open XPlot.GoogleCharts | |
| /// Executes an asynchronous workflow and provides some simple statistics on the results. |
This is a collection of the things I believe about software development. I have worked for years building backend and data processing systems, so read the below within that context.
Agree? Disagree? Feel free to let me know at @JanStette.
Keep it simple, stupid. You ain't gonna need it.
| type ThirdLevel = | |
| | Payload of int | |
| and SecondLevel = | |
| | Nested of ThirdLevel list | |
| | Payload of string | |
| and FirstLevel = | |
| | Nested of SecondLevel list | |
| | Payload of double | |
| | EmptyLine | |
| and AllBuilder() = |
| /***************************************************************************** | |
| * QuantCup 1: Price-Time Matching Engine | |
| * | |
| * Submitted by: voyager | |
| * | |
| * Design Overview: | |
| * In this implementation, the limit order book is represented using | |
| * a flat linear array (pricePoints), indexed by the numeric price value. | |
| * Each entry in this array corresponds to a specific price point and holds | |
| * an instance of struct pricePoint. This data structure maintains a list |
A few years ago when I read the presentation motivating the design behind Nessos Streams I was struck by the beauty of simplistic push streams.
type PushStream<'T> = ('T -> bool) -> boolLINQ (in .NET) is a pull stream, ie we pull values out of the stream by calling MoveNext + Current. One of the problems with pull streams is the constant checking "Are we done?" at each level in the stream.
| // This is am example of an immediate write / random access cursor for Excel with basic formatting options. | |
| // Implementation is based on a concrete, non generic writer monad with no payload ("do!"" only) (only state). | |
| // Instead of directl writing to excel, an alternatives would be a random acces to a | |
| // copy-on-write list (or even a mutable array) and then bulk-write the result to excel in one shot. | |
| // When only forward access would have been required, a simple seq expression with yields would have been enough. | |
| // Anyway, it is a demonstration on how to "hide" pseudo-mutable state that is passed through a computation. | |
| // | |
| // I personally use it for generating reports based on various data sources. |