gist:306417

Definition bind {A B : Type} (m : option A) (f : A -> option B) : option B :=
    match m with
      None => None
    | Some v => f v
    end.
Infix ">>=" := bind (at level 50).

Definition ret {A : Type} (v : A) : option A :=
  Some v.

levicook

I am the owner of lvh.me. And I'm glad to hear it's helpful. In truth, it's just a fancy DNS trick. lhv.me  and all of it's sub-domains just point back to your computer (127.0.0.1).  That means running ssl is as simple (or difficult) as running ssl on your computer.

I'm not sure how comfortable you are with the command line, but here's my how I setup my development environment. (rvm, passenger, nginx w/ SSL, etc).


# Install rvm (no sudo!)
# ------------------------------------------------------
bash < <( curl http://rvm.beginrescueend.com/releases/rvm-install-head )
source ~/.rvm/scripts/rvm
rvm install ree-1.8.7-2010.02

vending_machine.rb

# -*- coding: utf-8 -*-
class Drink
  attr_accessor :name, :price
  def initialize(name, price)
    self.name = name
    self.price = price
  end
end

class Money

ryancrum

(ns jquerytest.core)

(def jquery (js* "$"))

(jquery
   (fn []
     (-> (jquery "div.meat")
         (.html "This is a test.")
         (.append "<div>Look here!</div>"))))

mizchi

--- coffee-mode.el	2011-09-08 14:52:36.000000000 +0900
+++ my-coffee-mode.el	2011-09-08 14:54:21.000000000 +0900
@@ -99,6 +99,12 @@
   :type 'string
   :group 'coffee)
 
+(defcustom js2coffee-command "js2coffee"
+  "The js2coffee command used for evaluating code. Must be in your
+path."

hitode909

#! /usr/bin/env ruby

require 'pdf-reader' # gem install pdf-reader --prerelease

puts PDF::Reader.new(ARGV.first).page_count

kyonmm

import com.sun.net.httpserver.HttpExchange
import com.sun.net.httpserver.HttpHandler
import com.sun.net.httpserver.HttpServer
import groovy.xml.MarkupBuilder

def PORT = 6001
HttpServer server = HttpServer.create(new InetSocketAddress(PORT), 0);
server.createContext("/", new HttpHandler() {
    @Override
    public void handle(HttpExchange he) throws IOException {

kmizu

Scala 開発環境構築手順

前提条件

• JDKがinstall済みであること
• java コマンドに環境変数Pathが通っていること

bash0C7

namespace :rails_best_practices do
  desc "run rails best practices"
  task :jenkins_plot_plugin => :environment do

    cd Rails.root do

      OUTDIR = "#{Rails.root}/reports"
      mkdir OUTDIR unless FileTest.exist? OUTDIR
      OUTFILE = "#{OUTDIR}/rails_best_practices.properties"

kyonmm

def root = new File("./src/")
println root.absolutePath
lastmodified = [:]
current = [:]
while(true){
    current.clear()
    root.eachFileRecurse {
        current << ["${it.absolutePath}":it.lastModified()]
    }
    if(!current.equals(lastmodified)){