t0yv0

# Downloads a file from a given URL to the current directory.
function wget($url)
{
    $path     = $url.Substring($url.LastIndexOf('/') + 1)
    $dir      = pwd
    $location = [System.IO.Path]::Combine($dir, $path)
    $client   = new-object System.Net.WebClient
    $client.DownloadFile($url, $location);
}

t0yv0

module Specialization =
    type ITyped<'T1,'T2> =
        abstract member Run<'T3> : 'T1 -> 'T2

    type private Function<'T1,'T2> = delegate of 'T1 -> 'T2

    let Specialize<'T1,'T2> (algorithm: ITyped<'T1,'T2>) =
        let aT  = typeof<ITyped<'T1,'T2>>
        let def = aT.GetMethod("Run").GetGenericMethodDefinition()
        let dT  = typeof<Function<'T1,'T2>>

t0yv0

let rec fac = function
    | 0 -> 1
    | n -> fac (n - 1) * n

t0yv0

def readFile(path):
    f = open(path, 'r')
    r = map(lambda x: x.strip(), f.readlines())
    f.close()
    return r

animals = readFile('animals.txt')

t0yv0

Require Import Coq.Lists.List.

(** The only list of length zero is the empty list. *)
Lemma length_zero : forall (a : Type) (x : list a),
  length x = 0 <-> x = nil.
Proof.
  intros; split; intro.
  induction x; auto; discriminate.
  rewrite H; compute; auto.
Qed.

t0yv0

Html.ActionLink<MyController>("Click me!", x => x.MyAction(1,2,3))

t0yv0

type Action =
   | HomePage
   | AboutUs
   | BlogHomePage
   | Blog of BlogId

t0yv0

Router.Infer<'T>() : Router<'T>

t0yv0

Html.ActionLink<MyController>("Click me!", x => x.MyAction(1,2,3))

t0yv0

A [Href (ctx.Link (Blog 5))] [Text "Next blog"]