Skip to content

Instantly share code, notes, and snippets.

View pocketberserker's full-sized avatar

pocketberserker pocketberserker

93 followers · 42 following
View GitHub Profile
@pocketberserker
pocketberserker / ninja.rst
Last active August 29, 2015 13:56

Functional忍者 5!

更新日

2014/03/14

書いた人

@pocketberserker

ひとまず試したい方へ

@pocketberserker
pocketberserker / free.rst
Created June 23, 2014 08:50
@zakky_dev さん歓迎会に使う資料
@pocketberserker
pocketberserker / gist:bb5059a58ddf182bf5a2
Created July 13, 2014 07:00
Scalaz勉強会 データ構造ひと巡り
@pocketberserker
pocketberserker / gist:d30f6ef797e44901522a
Last active August 29, 2015 14:05 — forked from yukitos/gist:4db499ede35c8ad82863
namespace FsCheck.Ext
module Test =
open System
open FsCheck
open FsCheck.Arb
type JapaneseChar = char
type MyGenerators =
@pocketberserker
pocketberserker / ChruchFree.fs
Last active August 29, 2015 14:05
Church-encoded free monad for F# (64bit release build only)
type _1<'F, 'A> = interface end
type Bind<'F, 'R> =
abstract member Apply: _1<'F, 'B> * ('B -> 'R) -> 'R
type Monad<'F> =
abstract member Return : 'T -> _1<'F, 'T>
abstract member Bind: _1<'F, 'A> * ('A -> _1<'F, 'B>) -> _1<'F, 'B>
type Free<'F, 'A> =
@pocketberserker
pocketberserker / gist:95765b00080394a24f18
Created September 2, 2014 09:15
第9回 Functional忍者の資料だったもの

第9回Functional忍者

この資料は 第9回 Functional忍者 の資料だったものの残滓です。

注意事項

  • 限定継続については触れません。

はじめに

@pocketberserker
pocketberserker / gist:e65189f78f398a145ddd
Last active August 29, 2015 14:06
函数型なんたらの集い関連 発表者抽選用
#include <iostream>
#include <sstream>
#include <vector>
#include <iterator>
#include <random>
#include <boost/assign/list_of.hpp>
#include <boost/range/algorithm/copy.hpp>
#include <boost/range/adaptor/indexed.hpp>
#include <boost/range/adaptor/transformed.hpp>
@pocketberserker
pocketberserker / gist:40006f8da7e195924713
Last active August 29, 2015 14:07
https://gist.github.com/Gab-km/86dd730a8d8e407a699f に触発された何か
type NonEmptyList<'T> = 'T * 'T list
type FlowControl = Break | Continue
type Case<'T> =
| Unit
| Value of 'T
type TestResult<'T> =
| Success of 'T
@pocketberserker
pocketberserker / Savannah.fs
Created November 5, 2014 04:00
コンピュテーション式でAAを表現したかったのじゃ…
open System.Reflection
type Line1 = Line1
type Line2 = Line2
type Line3 = Line3
type Line4 = Line4
type Line5 = Line5
type Line6 = Line6
type Line7 = Line7
type Line8 = Line8
@pocketberserker
pocketberserker / FsAdvent2014ChangeLog.md
Last active August 29, 2015 14:10
http://pocketberserker.hatenablog.com/entry/2014/12/01/223538 の変更履歴

この記事は [http://connpass.com/event/9758/:title] の初日の記事です。

12月になってしまいましたね、進捗どうですか？私は駄目です。

タイトルは"コンピュテーション式の Tips"となっていますが、中身は Basis.Core や <a href"https://github.com/persimmon-projects/Persimmon>"Persimmon 内で使われているコンピュテーション式の実装方法を勝手に紹介するというだけです。

はじめに

この記事は 2014/12/01 JST 現在書きかけです。 よって、後々更新したときのために gist で diff を残しておきます。