Skip to content

Instantly share code, notes, and snippets.

View pasberth's full-sized avatar

pasberth pasberth

View GitHub Profile
@pasberth
pasberth / main.html
Created October 11, 2013 12:51
Toggle するやつ
<html>
<head>
<meta charset="utf-8">
<title>Example</title>
<script src="http://code.jquery.com/jquery-2.0.3.js"></script>
<script>
jQuery(function ($) {
$(".bg").bind("click", function () {
$(".fg").add("#show").add("#hide").toggleClass("showing hiding");
});
(< let %N (using qualified data.church.number)
`. let %B (using qualified data.church.boolean)
`in
#(< let %3 (N #succ (N #succ (N #succ (N #$0))))
`. let %5 (N #succ (N #succ (N #succ (N #succ (N #succ (N #$0))))))
`. let %church-nat->js-int (%n #(n ($+ "1") "0"))
`. let %IF (%cond (%then (%else #(cond then else))))
`. let %EQ (%n (%m #(B #and (N #zero? (N #sub n m)) (N #zero? (N #sub m n)))))
`in #(< let %15 (N #mul $3 $5)
@pasberth
pasberth / sphinx-pygments.md
Created October 8, 2013 17:28
Sphinx と Pygments を使って独自のハイライティングをする

Sphinx と Pygments を使って独自のハイライティングをする

Sphinx はドキュメントを作成するツールで, Pygments は Sphinx 内部で使われているシンタックスハイライタです.

Pygments を使用して独自のハイライティングをする方法は, チュートリアルあるいはソースコードを読むのがいちばん手っ取り 早いでしょう. http://pygments.org/docs/lexerdevelopment/ とか, https://bitbucket.org/birkenfeld/pygments-main/src/0442d3cf660124048efde3c0d72ff79ea0355040/pygments/lexers?at=default などを読めば,レクサをつくってシンタックスハイライタをつくる方法が

@pasberth
pasberth / fizzbuzz.cpp
Created October 1, 2013 13:54
template で fizzbuzz
#include <string>
#include <iostream>
template <bool cond>
struct print_if
{
static void run(std::string msg) {}
};
@pasberth
pasberth / りよのじ先生の次回作.md
Last active December 23, 2015 22:29
りよのじ先生の次回作です

(1)

 俺はごく普通の高校2年生。強いて違う所をあげるとすれば絵を描くのが好きだってことかナー。名前はりよのじ。 毎日、朝早く起きては、同じバスに乗り、同じ高校に通って、同じような問題を解くのだ。たまの日曜日に 絵を描くのも、もはや繰り返しのひとつに過ぎない。要するにくだらない人生である。

 今日も夜遅くに帰宅し、両親のいないキッチンで晩飯をとった。代わり映えのない1日の終わりだった。 それから、俺は風呂の支度をし、沸くまで待つ事にして、自室に戻った。すると

「きゃー!」

@pasberth
pasberth / FizzBuzz.hs
Created September 6, 2013 14:58
Template Haskell でコンパイル時 FizzBuzz
{-# LANGUAGE TemplateHaskell #-}
module FizzBuzz where
import Language.Haskell.TH
fizzbuzz :: Int -> ExpQ
fizzbuzz 0 = [| putStrLn "FizzBuzz" |]
fizzbuzz n = appE (appE (varE (mkName ">>"))
(fizzbuzz (n - 1)))
class DoNotation
class DSL
def initialize(&block)
@first_lets = []
@proc_sources = []
@variables = Hash[]
@pasberth
pasberth / HogeHogeTuple.rb
Created September 3, 2013 13:22
メソッドの引数は破壊しないで!!
# coding: utf-8
class Tuple
def initialize(*xs)
@xs = xs
end
def [] *args
@xs[*args]
@pasberth
pasberth / a.pl
Created September 3, 2013 09:16
どうでもいいワンライナー
perl -pe ' s/(?<! )(?<= |\s)\n/\n / ; s/(?: \n)|(?:^\s*(\n))/$1\n| /' a.md > a.rst
@pasberth
pasberth / つらぽよ.idr
Created September 3, 2013 08:36
つらぽよい Conditional
module Main
class Conditional a where
toBool : a -> Bool
instance Conditional Bool where
toBool = id
instance Conditional String where
toBool "" = False