mzp

Functional Ninja #3 (OCaml編 その2)

Functional Ninjaとは

ﾆﾝｼﾞｬｰ

• FunctionalNinja #3

事前準備

mzp

Functional Ninja #2 (OCaml編)

Functional Ninjaとは

ﾆﾝｼﾞｬｰ

• FunctionalNinja #2

事前準備

mzp

source 'https://rubygems.org'

# Specify your gem's dependencies in fl-crawler-yapra.gemspec
gem 'yapra-plugin-filter', :github => 'mzp/yapra-plugin-filter'
gem 'yapra-plugin-github', :github => 'mzp/yapra-plugin-github'
gem 'yapra-plugin-fastladder', :github => 'mzp/yapra-plugin-fastladder'

mzp

Usage
======

Run `analyze.rb` to genarte statics data:

    ruby analyze.rb example.csv > data.js

And open `dot.html`.

mzp

わかめモナ化: Maybeモナドの証明 + Coq入門

証明の重要性

• うかつにモナドと言うと刺される

例: jQueryはモナドだ - id:anatooのブログ

「jQueryはモナドである」と主張したけど、証明はなかったのですぐに刺された。

JQueryがモナドかどうかとか - たけをの日記＠天竺から帰ってきたよ

mzp

#!/bin/sh
(cd libfoo && make)
(cd libbar && make)
gcc -o loader test_dyld.c

./loader

mzp

module Fluent

class TypeperfInput < Input

  Plugin.register_input('typeperf', self)

  def initialize
    super
    require 'csv'
    @hostname = `hostname`.chomp!

mzp

JRuby on Windowsでfluentdを動かす方法

前提

• JRuby 1.6.7.2(1.7.0 preview1だと動かない?)
• MinGW

また上記二つにパスを通してください。 ボクは以下のような run.bat を作っています。

set PATH=C:\jruby-1.6.7.2\bin;C:\MinGW\bin;C:\MinGW\msys\1.0\bin;%PATH%

mzp

ほげ

mzp

./configure CC='gcc -m32' CXX='g++ -m32' LD='ld -arch i386' --enable-native=x86-darwin --prefix=/opt/smlsharp --enable-fast-build