copumpkin

-- This is the type we're working with.
data List a = List (forall r. (a -> r -> r) -> r -> r)

-- Implement this signature. It should not be inefficient, so if you're planning
-- on writing something like tail (notoriously inefficient using foldr) on our
-- List type, think again! It should be possible to write with the same time
-- complexity as the original. And of course, converting to/from a conventional
-- list is cheating :)

zipWith :: (a -> b -> c) -> List a -> List b -> List c

aaronfeng

Application specific host grouping in Riemann-dash

It is generally desirable to group all the hosts for a specific service into a single dashboard view. For example, all the web servers are in single view while all the database servers are in another view.

This is usually not an issue when you are sending custom metrics using Riemann client. However, there are cases where you are using something that you do not control how the metrics are being sent. i.e., Riemann-tools.

Since Riemann-tools scripts are application agnostic, in order for the dashboard view to group hosts, we must inject some application specific information into the tags field. Tags is a collection of arbitrary strings. In the case of Riemann-tools scripts you can pass in arbitrary strings on the command line.

riemann-health --host 127.0.0.1 --tag "prod" --tag "webserver"

anderssonjohan

param(
  [parameter(mandatory=$true, valuefrompipeline=$true)]
	$TargetHost,
	[switch] $force
)
begin {
	$packages = @( `
		@{ Name = "rewrite.msi"; Url = "http://download.microsoft.com/download/6/7/D/67D80164-7DD0-48AF-86E3-DE7A182D6815/rewrite_2.0_rtw_x64.msi" }, `
		@{ Name = "webpi.msi"; Url = "http://download.microsoft.com/download/B/0/0/B00FEF21-79DE-48B0-8731-F9CFE70CE613/WebPlatformInstaller_3_10_amd64_en-US.msi" }, `
		@{ Name = "webfarm.msi"; Url = "http://download.microsoft.com/download/3/4/1/3415F3F9-5698-44FE-A072-D4AF09728390/webfarm_amd64_en-US.msi" }, `

palladin

type Expr<'T> = 
    abstract Eval : unit -> 'T

let eval (x : Expr<'T>) = x.Eval()
let lift (value : 'T) = 
    {   new Expr<'T> with
            member self.Eval () = value 
    }

let tup (first : Expr<'T>) (second : Expr<'S>) = 

patrickt

data Options = Options 
  { review :: Int 
  , username :: Maybe String
  , password :: Maybe String
  , patch :: Bool
  , diffRevision :: Maybe Int
  , purgeCredentials :: Bool
  , dryRun :: Bool
  } deriving (Show, Eq)

t0yv0

Require Import Utf8.

Inductive subtype (a b : Set) : Set :=
| ST : (a -> b) -> subtype a b.

Infix ":>" := subtype (at level 50).

Definition st {x y} f := ST x y f.

Definition unpack {a b : Set} (st : a :> b) :=

dvdsgl

#r "Volare.dll"

open Volare

get "/" <| fun req res ->
  "Hello, world!"

get "/:name" <| fun req res ->
  html <| fun _ ->
    body <| fun _ ->

markembling

Copyright (c) 2012, Mark Embling
All rights reserved.

Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:

- Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.

- Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.

- Neither the name of Mark Embling nor the names of any contributors may be used to endorse or promote products derived from this software without specific prior written permission.

atifaziz

@@@ setlocal
@@@ set cmdnet=%temp%\cmd.net& set base=%temp%\cmd.net\%~n0& set this=%~f0
@@@ if not exist "%cmdnet%" md "%cmdnet%"
@@@ fc "%cmdnet%\%~nx0" "%this%" >nul 2>&1 && if exist "%base%.exe" set same=1
@@@ if not defined same copy "%this%" "%cmdnet%" >nul
@@@ if not defined same findstr /v "^@@@" "%this%" > "%base%.cs" || exit /b 42
@@@ if not defined same for /f %%i in ('dir /b /ad /on "%windir%\Microsoft.NET\Framework\v*"') do @if exist "%windir%\Microsoft.NET\Framework\%%i\csc".exe set csc=%windir%\Microsoft.NET\Framework\%%i\csc.exe
@@@ if not defined same if not defined csc (echo C# compiler not found>&2 & exit /b 42)
@@@ if defined csc "%csc%" /nologo /d:TRACE "/out:%base%.exe" "%base%.cs" || (type "%base%.cs" & del "%base%.cmd" & exit /b 42)
@@@ "%base%.exe" %*

travisbrown

import shapeless._, Nat._

trait FizzBuzz[N <: Nat] {
  type R3 <: Nat
  type R5 <: Nat
 
  def ti: ToInt[N]
  def prev: List[String]
  def d3: R3 =:= _0
  def d5: R5 =:= _0