| (* | |
| Towards verifying message-passing protocols. | |
| Protocol typically involves two parties, let us call Client and Server, | |
| a number of states and state transitions involving passing of messages. | |
| Client has agency - non-deterministic process in process calculi. | |
| Server is deterministic, but it should handle all possible clients. | |
| Ideally, we would take a DSL for the protocol, and spit out F# code that |
| #!/bin/sh | |
| #if run_with_bin_sh | |
| # Doing this because arguments can't be used with /usr/bin/env on linux, just mac | |
| exec fsharpi --define:mono_posix --exec $0 $* | |
| #endif | |
| (* | |
| * Crossplatform FSharp Makefile Bootstrapper | |
| * Apache licensed - Copyright 2014 Jay Tuley <jay+code@tuley.name> | |
| * v 2.0 https://gist.github.com/jbtule/9243729 |
| open System | |
| open System.Globalization | |
| open System.Json | |
| open System.Collections.Generic | |
| open ReadOnlyCollectionsExtensions | |
| let (|JArray|JObject|JNumber|JBool|JString|JNull|) (o: JsonValue) = | |
| match o with | |
| | :? JsonArray as x -> | |
| let values = (x :> JsonValue IList).AsReadOnlyList() |
The Voronoi tesselation shows the closest point on the plane for a given set of points. This example updates the Voronoi diagram in response to mouse interaction! Colors by Cynthia Brewer; algorithm by Steven Fortune; implementation based on work by Nicolas Garcia Belmonte; interaction inspired by Raymond Hill.
This example shows what voronoi tesselations look like drawn with various d3 line interpolators.
| // https://twitter.com/mausch/status/406420573518970880 | |
| // compiles to ModelLayout -> XElement where ModelLayout = { title: string; script: XAttribute; bodyAttrs: XAttribute list; body: XElement } | |
| type Layout = HTML<""" | |
| <html> | |
| <head> | |
| <title><x:text id="title"/></title> | |
| <script x:attr="script"></script> | |
| </head> | |
| <body x:attrs="bodyAttrs"> |
| type Proc<'T> = | |
| | P of ('T -> option<Proc<'T>>) | |
| exception Bleep | |
| let def f = | |
| P (fun x -> try Some (f x) with Bleep | MatchFailureException _ -> None) | |
| let rec ( <||> ) (P a) (P b) = | |
| let f x = |
| #r @"packages\FAKE.2.1.309-alpha\tools\FakeLib.dll" | |
| #r @"C:\Program Files (x86)\Microsoft Visual Studio 12.0\Common7\IDE\ReferenceAssemblies\v2.0\Microsoft.TeamFoundation.Build.Client.dll" | |
| #r @"C:\Program Files (x86)\Microsoft Visual Studio 12.0\Common7\IDE\ReferenceAssemblies\v2.0\Microsoft.TeamFoundation.Client.dll" | |
| open Fake | |
| open Microsoft.TeamFoundation.Client | |
| open Microsoft.TeamFoundation.Build.Client | |
| open System |
| From HttpListener source code | |
| http://www.dotnetframework.org/default.aspx/DotNET/DotNET/8@0/untmp/whidbey/REDBITS/ndp/fx/src/Net/System/Net/HttpListenerResponse@cs/2/HttpListenerResponse@cs | |
| line 525 | |
| UnsafeNclNativeMethods.HttpApi.HttpSendHttpResponse( | |
| HttpListenerContext.RequestQueueHandle, | |
| HttpListenerRequest.RequestId, | |
| (uint)flags, |
| // This F# dojo is directly inspired by the | |
| // Digit Recognizer competition from Kaggle.com: | |
| // http://www.kaggle.com/c/digit-recognizer | |
| // The datasets below are simply shorter versions of | |
| // the training dataset from Kaggle. | |
| // The goal of the dojo will be to | |
| // create a classifier that uses training data | |
| // to recognize hand-written digits, and | |
| // evaluate the quality of our classifier |
| namespace FSharp.Windows | |
| open System.ComponentModel | |
| [<AbstractClass>] | |
| type Model() = | |
| let propertyChangedEvent = Event<_,_>() | |
| interface INotifyPropertyChanged with |
