VictorLaskin

// This is example from
// http://vitiy.info/c11-functional-decomposition-easy-way-to-do-aop/
// by Victor Laskin

#include <iostream>
#include <functional>
#include <map>
#include <vector>
#include <memory>
#include <chrono>

puffnfresh

module reornament

-- Idris translation of Agda code:
-- https://gist.github.com/gallais/e507832abc6c91ac7cb9

-- Which follows Conor McBride's Ornaments paper:
-- https://personal.cis.strath.ac.uk/conor.mcbride/pub/OAAO/Ornament.pdf

ListAlg : Type -> Type -> Type
ListAlg A B = (B, A -> B -> B)

puffnfresh

module Printf

%default total

data Format = FInt Format -- %d
            | FString Format -- %s
            | FOther Char Format -- [a-zA-Z0-9]
            | FEnd --

format : List Char -> Format

eulerfx

#load "HyperF.fsx"

open HyperF
open Route

let service = 
    [
                 
    Get("/resource/:id") => fun (req,ri) -> "hello world!" |> HttpRes.plainText

jbtule

#!/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 <[email protected]>
 * v 2.0 https://gist.github.com/jbtule/9243729

puffnfresh

function cabal_sandbox_info() {
    cabal_files=(*.cabal(N))
    if [ $#cabal_files -gt 0 ]; then
        if [ -f cabal.sandbox.config ]; then
            echo "%{$fg[green]%}sandboxed%{$reset_color%}"
        else
            echo "%{$fg[red]%}not sandboxed%{$reset_color%}"
        fi
    fi
}

Cynede

(
  (|x:|xx:|xxx:|||||{x(|xxx:|||{xxx()})}
) (|xx:|xxx:||||{xx(||{()})}));

Cynede

([](int x)	{ printf("HELLO A %d\n", x + 4); })(1);
([](int x)	{ printf("HELLO B");		 })(1);
([]()		{ printf("HELLO C %d\n");	 })();
([](float a)	{ printf("HELLO D %d\n");	 })(2.0);
	
/* output :
HELLO A 5
HELLO A 5
HELLO C 5
HELLO D 5

Cynede

use std::task;
use std::rt::io::timer::sleep;

///<Summary>
///Simple butterfly
///</Summary>
pub fn butterfly<U>(f: &fn() -> U) -> U { 
    let (port, chan) = stream();
    do task::spawn_sched(task::SingleThreaded) {
        print(" ");

whanhee

/*
 * Copyright (c) 2013, Daniel Park
 * All rights reserved.
 *
 * Permission to modify and redistribute this software is granted to
 * anyone provided the above copyright notice, this condition and the
 * following disclaimer are retained.
 *
 * This software is provided "as is", without and express or implied
 * warranty. In no event shall the author be liable for damages arising