Planet Haskell (JP)

Elm でマテリアルデザインなウェブアプリを作った

2020-07-20T09:24:33+09:00

アプリ概要アプリとしてはニッチな用途で、写真用のモノクロネガフィルムを自家現像するときに便利なタイマーアプリです。下記は埋め込まれた実際に動くアプリです。 Photo Film Dev で公開しています。時間配分をレシピと呼んでいますが、レシピはサーバーに保存されるためログインすれば複数の端末でアプリを使用できます。今はレシピは自分のアカウントでしか見れないですが別のアカウントに共有する機能が作れたらなと考えています。技術構成ソースコードは GitHub に GPL3 で提供しています。 github.com アプリの技術構成としては次の通りです。クライアント HTML/CSS/J…

[windows] Windows10セットアップ・設定項目のメモ

2020-07-16T12:08:20.505+09:00

Windows10セットアップ時の設定項目、インストールアプリの備忘録。スタートメニュー・タスクバーの設定タスクバーの設定小さいタスクバーボタンを使う：オン [スタート]ボタンを右クリックするかWindowsキー＋Xキーを押したときに表示されるメニューで、コマンドプロンプトをWindows PowerShellに置き換える：オフタスクバーボタンを結合する「タスクバーに入りきらない場合」を選択タスクバーをすべてのディスプレイに表示する：オフ Quick Launcherを表示するクイック起動を復活する Windows 10 タスクバーにクイック起動を表示するスタートメニューにコントロールパネルを表示する「Windows 10」のコントロールパネルを表示する方法についてスタートメニューにピン止めするアプリ： Windowsシステム

gojqのパーサーを書き直しました

2020-07-09T10:00:04+09:00

jqはJSONを絞り込むツールですが、実はれっきとしたプログラミング言語です。算術演算子、論理演算子、分岐構文、try・catch、そして関数定義があり、ループは再帰関数で実装します。単に .foo とか .[0] とかでJSONを辿るだけのツールだと思われている方は、builtin関数の定義を見ていただくと良いかと思います。 selectやmapのように、よく使われる関数でさえ内部実装になっていない (Cで書かれていない) のは面白いですね。 jqのクエリを思ったように書けないという経験から、jqをより深く知るためにGo言語で再実装したのがgojqです。去年の4月から開発を始め、8月に…

Windows Terminal に MSYS2/MinGW64 を追加する

2020-07-07T00:39:02+09:00

Windows 10 2004 にしたので Windows Terminal をさわってみた。自分の用途だと Cmder はもう使わなくていいなと思う。さて、Windows Terminal に MSYS2/MinGW64 を追加したのでその設定を示す。 { …, "profiles": { …, "list": [ …, { "guid": "{43257a9a-8d31-4208-8ed4-3d4365d44bd1}", "name": "MSYS2/MinGW64", "commandline": "%ChocolateyToolsLocation%\\msys64\\msys2_sh…

Windows のホームフォルダーにドットファイルを作らないでほしい

2020-07-07T00:06:56+09:00

郷に従ってほしい pic.twitter.com/NzIep3qJcK— 岡本和樹 (@kakkun61) 2020年6月26日 Windows ではファイル名の先頭にドットを付けるだけでは隠しファイルにならないのでユーザーのホームフォルダーを汚染することになる。だいたいの場合では LOCALAPPDATA 環境変数の示す場所にソフトウェア名のフォルダーを作ってその下を自由に使えばいい。 LOCALAPPDATA の示す場所は普通 C:\Users\kazuki\AppData\Local といったぐあいだが、ユーザーが変えている場合もあるので固定パスにするのはよろしくない。また、隠しファ…

Featherweight Go を読んでみた

2020-07-02T00:00:00Z

Go言語にジェネリクスを導入するために，その形式的な議論を研究した論文「Featherweight Go」が6月頭に発表されました．せっかくなので（久々に）全訳をしながら丁寧に読んでみたので，それを簡単にまとめることにします．

可能な限りGo言語に馴染みのない人や，プログラミング言語の形式的な議論に馴染みのない人でも理解できるようにしてみます．

注意

僕は英語がとても苦手です（DeepLを駆使しても3週間かかりました）
僕はGoでアプリケーションを少し書いていますがコアについては全く詳しくありません
僕は言語の形式的な議論を院生時代にやってましたが卒業して数年経ちます

なので間違ってる可能性も十分に考慮してください．

TL;DR

Goにジェネリクスを導入する新しいデザインを提案：
- インターフェースと型アサーションを駆使する方法
新デザインを形式的に議論するために FG と FGG を定義
- FG：Goの極めて小さいモデル
- FGG：FG をジェネリクスで拡張
単相化（Monomorphisation）というFGGからFGの変換を定義
- 単相化は型パラメーターを具体化した実装を必要な型だけ完全に列挙する方法
これらは全てGoでプロトタイプ実装した

加えて，この Go のジェネリクスは Expression Problem の解法にもなり得るという議論もある．

前提知識

Featherweight Java

1999年に出された論文に「Featherweight Java」というものがある．僕はこの論文を読んではいないがどうやら，この論文も FJ という Java の小さな言語モデルを定義し，それをジェネリクスで拡張した FGJ を定義し，FGJ から FJ への変換の仕方を定義して形式的な議論を与えている．

Featherweight Go でも言及されているとおり，Featherweight Go は議論の展開の仕方に Featherweight Java を参考としている．

Goの型

Goで型と呼べるものは大きく分けて2つ，構造体（structure）とインターフェース（interface）がある：

構造体：
- type [name] structure { ... } という形で宣言
- ... にフィールド名と型を列挙（いわゆるレコード型）
- フィールドアクセスはドット記法（e.g. x.m()）
インターフェース：
- type [name] interface { ... } という形で宣言
- ... にメソッド仕様（method specification，メソッド名 + 型）を列挙
- 列挙したメソッドを定義した型はインターフェースのサブタイプになる（いわゆる構造的部分型）

型アサーション

Goでの型キャストっぽい機能．インターフェースで指定されてる型からサブタイプへと変換する．

type Hoge interface { ... }
type Fuga struct { ... }

// Fuga は Hoge を実装しているとする
func piyo(x Hoge) *Fuga {  // *X はX型のポインタ型
    y, ok := x.(Fuga)      // これが型アサーション
    if !ok {               // 型アサーションに失敗したときに false を返す
        return nil         // nil はポインタのゼロ値
    }
    return &y
}

piyo 関数は Hoge インターフェースを実装した型の値であれば，なんでも引数として与えることができる．型アサーションの ok は省略することができ，その場合は型アサーションに失敗したときに実行時エラーとなる．

用語と翻訳

基本的に，この分野の入門書として名高い[要出典]「型システム入門（原題：Type and Programming Language，略して TaPL）」の訳し方を参考にする． TaPL には無い用語は次のように翻訳したが，Go ジェネリクスが市民権を得たときには別の翻訳が宛てがわれるかもしれない：

Monomorphisation：単相化
- Polymorphism（多相性）の対義語が Monomorphism（単相性）というらしい
- Rust でも Monomorphization という用語を単相化と訳していた
- （この表記の揺れはおそらくイギリス綴りかアメリカ綴りかの差？）
Bound：境界
- 機能は Java の Bounded Types（境界型などと訳されている）に近い
- Rust でも色々議論した結果 Bound を「境界」と訳した

また，プログラミング言語の形式的な議論で頻出する用語について簡単に解説する：

構文（Syntax）:
- ある言語においてプログラムの「正しい記述方法」を定義したもの
- 一般的に BNF（バッカス・ナウア記法）で定義する
意味論（Semantics）:
- ある言語においてプログラムが「どのように実行されるか」を定義したもの
- いくつか定義の仕方があるがこの論文では簡約規則（操作的意味論）を利用している
型付け規則（Typing Rule）:
- 式 e に対して「正しい」型の付け方の規則
- 正しく型付けされているとはつまり静的型検査が通るような状態
- 一般的に Γ ⊢ e : t とかく（Γ は環境で変数がなんの型なのかを保存している）
簡約（Reduction）:
- ある式 e から別の式（値）への変換
- 一般的に e → e′ のように矢印を使う
- 例: 1 + 2 * 3 → 1 + 6 → 7
型安全性（Safety）:
- 健全性（Soundness）とも呼ぶ
- 正しく型付けされた項は「おかしくなる」ことがないということ
- 「おかしくなる」の定義は言語モデルによって異なる（例：行き詰まり状態）
- 進行定理 + 保存定理なのでこの2つを証明するのが一般的
進行定理（Progress）:
- 正しく型付けされた項は行き詰まり状態では無い
- 行き詰まり状態：値でもないし簡約もできない状態
保存定理（Preservation）:
- 正しく型付けされた項が評価できるならば，評価後の項も正しく型付けされる
双模倣性（Bisimulation）:
- 並行モデルでよく出てくる性質（今回の中では最もマイナーな性質）
- ざっくりいうと，2つのモデルが同じように振舞うという性質

プログラミング言語の形式的な議論

なぜ，わざわざ形式的な議論（証明を与える）をするのか． TaPL の第19章「事例: Featherweight Java」にはこう書いてある：

プログラミング言語のような現実世界の複雑な人工物を設計するには，形式的にモデル化することが大きな手助けとなる．形式モデルを使うと，設計のある側面を正確に説明したり，その性質を記述・証明したり，そこまでしないと見落としかねない問題に注意を向けたりできる．

現に，Featherweight Go ではFGGがある「前提条件」のもとで必ず単相化できることを証明しており，その結果，実際のジェネリクス付きGoの「正しい」静的検査（コンパイル）を定義できた（この条件がないと，単相化が停止しない可能性がある）．

Expression Problem

今回は割愛する（ググって）が，本論文で提案するジェネリクス付きGoは Expression Problem に対する解法になっていると主張している（個人的には，あまり Go っぽい書き方じゃない気がするけど笑）．

Goで多相的な実装をする

現状のGoでも多相的な実装をする方法がいくつかある．今回目を付けたのが，インターフェースと型アサーションを使った方法だ．

例えば，高階関数を次のように表現できる：

type Any interface {}

type Function interface {
    Apply(x Any) Any
}

// g(f(x)) を表現
type compose struct {
    f Function
    g Function
}
func (this compose) Apply(x Any) Any {
    return this.g.Apply(this.f.Apply(x))
}

type incr struct { n int } // nだけインクリメントする
func (this incr) Apply(x Any) Any {
    return x.(int) + this.n
}

type pos struct {} // 正数なら真が返る
func (this pos) Apply(x Any) Any {
    return x.(int) > 0
}

func main() {
    var f Function = compose{incr{-5}, pos{}}
    var b bool = f.Apply(3).(bool) // false
}

このコードは，既存の Go としても完全に正しい． Any インターフェースは実装すべきメソッド仕様を一つも持たないので，全ての型が実装していることになる．無論，本当は int や bool であるべきところが Any になっていたり，Any な型同士の区別が付かなくなっていたりする問題がある．だがしかし，それがコンパイル時に検査できるようになったらどうだろうか．新しいデザインがまさにそういう形式になっている．

FG と FGG

論文では，それぞれの構文と型付け規則，簡約規則を定義し，構文的正しさの検証規則の定義と，保存定理と進行定理を証明している（すなわち型安全であることを示している）．ここでは2つの構文だけ紹介する．

FGの構文

x̄ のような上線付きの記法は，ある形式の項の「列」であることを示している．例えば x̄ の場合は x₁, x₂, ...x_n を意味している．

プログラム P は，Go の形式にならって定義されているが，論文中では諸々省略して D̄ ⊳ e と記述することもある．

FG は極めてコンパクトな Go のサブセットである．そのため，有効な式は変数・メソッド呼び出し・構造体リテラル・フィールド選択・型アサーションの5つしかない．対して型（構造体・インターフェース）に関する構文はかなり充実している．

FG には他に型付け規則と簡約規則がある．特に型付け規則の一部である，構造的部分型を表現した規則 t < : u は重要だ：

u が構造体 t_S の場合は t_S 自信のみがサブタイプになる（i.e. t_S < : t_S）
u がインターフェース t_I の場合は methods(t) ⊇ methods(t_I) を満たすような t のみがサブタイプになる（i.e. t_S < : t_I）

ここで methods(t) という補助関数は型 t に定義されているメソッドのメソッド仕様の集合である（重複しないという前提）．また，メソッド仕様の等価性には変数名は関係しない（つまり，メソッド名・引数の型・返り値の型が一致するかどうかをみる）．この部分型関係 < : は，メソッド呼び出しや構造体リテラルの引数を適用する部分や，型アサーションの型付け規則で利用される．

FGGの構文

前述したとおり，FGG は FG をジェネリクスで拡張した言語である．なので下記の構文規則のうち，FG からの拡張に当たる部分を赤でハイライトしてある．

最も大きな変更として型宣言とメソッド宣言（メソッドシグネチャ）が型引数 Φ も取りうるようになったことだ．この型引数がまさにジェネリクスである．手っ取り早く具体的なコードを見てみよう．下記のコードは「Goで多相的な実装をする」を FGG 風の記法で置き換えたものだ（風というのは + や > や int や bool は FGG にはまだ無いため）：

type Any interface {}

type Function(type a Any, b Any) interface {
    Apply(x a) b
}

// g(f(x)) を表現
type compose(type a Any, b Any, c Any) struct {
    f Function(a, b)
    g Function(b, c)
}
func (this compose(type a Any, b Any, c Any)) Apply(x a) c {
    return this.g.Apply(this.f.Apply(x))
}

type incr struct { n int } // nだけインクリメントする
func (this incr) Apply(x int) int {
    return x + this.n
}

type pos struct {} // 正数なら真が返る
func (this pos) Apply(x int) bool {
    return x > 0
}

func main() {
    var f Function(int, bool) = compose(int, int, bool){incr{-5}, pos{}}
    var b bool = f.Apply(3) // false
}

なんと，このコードには型アサーションが一切出てこない．また，高階関数を表現するインターフェースで，ちゃんと引数と戻り値の型を区別することができている．

構文の本質的な変更を見てみよう．インターフェースや構造体，メソッドの宣言に (type a Any, b Any) というのが出てくるようになった．これがまさに型引数 Φ や Ψ に当たる． a や b の型パラメーターの後に記述している Any は 境界（bound） と呼び，自由にインターフェースを置くことができる．構造体リテラルやメソッド呼び出しで型引数に型を適用する場合や，部分型関係が成り立つ場合（Apply(x int) bool の int や bool のこと）は，与えた型が境界のインターフェースのサブタイプになっている必要がある（今回の場合は Any なのでどんな型でも良いが）．ここで重要になるのが，型引数の型パラメーターのスコープである：

// 型名やメソッド名の型パラメーターは内部のメソッドシグネチャで利用できる
type List(type a Any) interface {
    Map(type b Any)(f Function(a, b)) List(b)
}

// 型パラメーターを自身の境界で利用することもできる
type Eq(type a Eq(a)) interface {
    Equal(that a) bool
}

インターフェースの型引数はメソッド仕様の型引数でも使うことはできるが，その逆はできない．

単相化

いよいよ FGG から FG への変換方法をみていく．論文では，単相化の規則を形式的に定義し，単相化したコードは構文的正しさが保存されることと，双模倣性を証明した．ここでは形式的な議論を割愛する．

単相化の例

まずは例を見てみよう．前述した FGG の Function などの例を「単相化」で FG に変換すると次のようになる．

type Top struct {}

func main() {
    var f Function<int, bool> = compose<int, int, bool>{incr{-5}, pos{}}
    var b bool = f.Apply(3)
}

type compose<int, int, bool> struct {
    f Function<int, int>
    g Function<int, bool>
}

type Function<int, int> interface {
    Apply<0> Top
    Apply(x int) int    
}

type Function<int, bool> interface {
    Apply<1> Top
    Apply(x int) bool    
}

type (this compose<int, int, bool>) Apply(x int) bool {
    return this.g.Apply(this.f.Apply(x))
}
type (this compose<int, int, bool>) Apply<1>() Top {
    return Top{}
}

type incr struct { n int }

type (this incr) Apply(x int) int {
    return x + this.n
}
func (this incr) Apply<0>() Top {
    return Top{}
}

type pos strcut {}

func (this pos) Apply(x int) bool {
    return x > 0
}
func (this incr) Apply<1>() Top {
    return Top{}
}

大きな変更箇所として，Function<int, int> のように (,) が <,> へ至る所でなっている． FGG のときの (,) は内部の型は個別の型として認識されていたが，<,> は Function<int, int> で一つの型となり内部の型は区別されない．

また，Apply<0> Top のようなメソッドやメソッド仕様が追加されている．これは，部分型関係を正しく解決するためのダミーメソッドだ．全てのメソッド宣言に対してダミーメソッドは追加で宣言され，インターフェースの全てのメソッド仕様に対してダミーメソッドのメソッド仕様が追加される．メソッド仕様の数字（<0> とか <1> とか）はメソッドの引数の型と返り値の型に対して一意に定まる（そのため compose と pos の Apply メソッドの数字は同じになる）．

ちなみに Top 構造体はダミーメソッドのために追加された構造体だ．

ダミーメソッドが有効な例

さて，上記の例ではダミーメソッドの有効性がわからないので，もう一つ例を示す．前にちょっとだけ出てきた List インターフェースの完全な例を示す．下記は FGG でのコードだ．

type List(type a Any) interface {
    Map(type b Any)(f Function(a, b)) List(b)
}

type Nil(type a Any) struct {}
type Cons(type a Any) struct {
    head a
    tail List(a)
}

func (xs Nil(type a Any)) Map(type b Any)(f Function(a,b)) List(b) {
    return Nil(b){}
}

func (xs Cons(type a Any)) Map(type b Any)(f Function(a,b)) List(b) {
    return Cons(b){f.Apply(xs.head), xs.tail.Map(b)(f)}
}

func main() {
    var xs List(int) = Cons(int){3, Cons(int){6, Nil(int){}}}
    var ys List(int) = xs.Map(int)(incr{-5})
    var _ List(bool) = ys.Map(bool)(pos{})
}

List インターフェースは，配列のようなコンテナ型の各要素に同じメソッドを適用する高階関数を提供する． Nil と Cons 構造体は線形リストを表したものだ．ちなみに，Go の構造体は構造体による再帰的な構造を宣言することはできないが，インターフェースを介する場合は可能だ．

さて，これを単相化すると次のようになる．

func main() {
    var xs List<int> = Cons<int>{3, Cons<int>{6, Nil<int>}}
    var ys List<int> = xs.Map<int>(incr{-5})
    var _ List<bool> = ys.Map<bool>(pos{})
}

type List<int> interface {
    Map<2>() Top // これは `(f Function(int, b)) List(b)` からの数字
    Map<int>(f Function<int,int>) List<int>
    Map<bool>(f Function<int,bool>) List<bool>
}

type Nil<int> struct {}
func (xs Nil<int>) Map<int>(f Function<int,int>) List<int> {
    return Nil<int>{}
}
func (xs Nil<int>) Map<bool>(f Function<int,bool>) List<bool> {
    return Nil<bool>{}
}
func (xs Nil<int>) Map<2>() Top {
    return Top{}
}

type Cons<int> struct {
    head int
    tail List<int>
}
func (xs Cons<int>) Map<int>(f Function<int,int>) List<int> {
    return Cons<int>{f.Apply(xs.head), xs.tail.Map<int>(f)}
}
func (xs Cons<int>) Map<bool>(f Function<int,bool>) List<bool> {
    return Cons<bool>{f.Apply(xs.head), xs.tail.Map<bool>(f)}
}
func (xs Cons<int>) Map<2>() Top {
    return Top{}
}

type List<bool> interface {
    Map<3>() Top
}

type Nil<bool> struct {}
func (xs Nil<bool>) Map<3>() Top {
    return Top{}
}

type Cons<bool> struct {
    head bool
    tail List<bool>
}
func (xs Cons<bool>) Map<3>() Top {
    return Top{}
}

List<int> の Map メソッドは main のところで int -> int と int -> bool の2パターンで使われていたため，2つもインターフェースのメソッドとして宣言されている．対して List<bool> は ys.Map<bool>(pos{}) で生成されるものの，Map メソッドを呼んでいないため，インターフェースのメソッドは1つもない．このようにインターフェースのメソッドは，実際に利用された型のものしか生成されない．これにより，メソッドの無いインターフェースが生成されることがある（正確にはダミーメソッド以外には無い，だが）．ダミーメソッドはこのような振る舞いに対して有効だ．例えば，変数 f に incr{1} が束縛されているときを考える．型アサーション f.(List<bool>) はダミーメソッドがあることで失敗するが，ダミーメソッドがないと成功してしまう．

単相化ができない場合

全ての型付け可能な FGG のコードが単相化可能かというとそうではない．例えば，次のような FGG のコードは単相化できない．

type Box(type a Any) struct {
    value a
}

func (this Box(type a Any)) Nest(n int) Any {
    if (n == 0) {
        return this
    } else {
        return Box(Box(a)){this}.Nest(n-1)
    }
}

これは多相再帰（polymorphic recursion），ある型で呼び出されたメソッドが別の型で再帰呼び出しをするもの，をしているプログラムの例である．Box(a) 型をレシーバーとするメソッド Nest を呼び出すと Box(Box(a)) 型のレシーバーで再帰的に呼び出される．この例は型がどれだけ深くネストするかを事前に決定することができないので単相化することができない．

逆に，このような多相再帰なコードが含まれていない場合は，全ての FGG のコードを単相化することができる（ことを論文で証明していた）．なので，実際のコンパイラでは多相再帰が含まれてるかどうかの検査をするようだ．

単相化の仕組み

単相化のプロセスは2つのフェーズから構成されている．第一フェーズは，FGG プログラムから型とメソッドのインスタンス（型パラメーターを具体化したものだと思う）を取集する．第二フェーズでは，第一フェーズで収集したインスタンスをもとにして，FGG プログラムを等価な FG プログラムへと変換する．

FGG のプログラム P から，各インスタンスの集合 Ω を収集した場合は P ▸ Ω と記述する（これが第一フェーズ）．FGG のプログラム P から FG のプログラム P′ への変換は ⊢ P ↦ P′ と記述する．

論文ではこれらの規則を形式的に定義している（がここでは割愛）．

他言語と単相化

7章の「RELATED WORK」では，他のプログラミング言語での単相化の事例について紹介されていた．興味深いので論文から引用する．

Bracha 氏らは「Making the Future Safe for the Past: Adding Genericity to the Java Programming Language」という論文でジェネリクス付きの Java からジェネリクスなしの Java へ，全ての型パラメーターの情報を消去することで変換する方法を提案した（これは単相化では無い）．消去の欠点として消去されたコードは単相化されたコードに比べて（実行？）効率が悪くなることがよくある．一方，消去はコードサイズの増加が線形であるのに対して，単相化はコードサイズが爆発的に増加する可能性がある．
Kennedy 氏と Syme 氏は「Design and Implementation of Generics for the .NET Common Language Runtime」で .NET Common Language Runtime (CLR) と C# の拡張を開発してジェネリクスをサポートした．これらは特化したコードと共有したコードを混ぜたものを生成する．前者は，各プリミティブ型ごとに個別にコンパイルする（これは単相化に似ている）．後者は，全てのオブジェクト型に対してひとつにコンパイルされる（これは消去に似ている）．
Stroustrup 氏は「The C++ Programming Language」という書籍の16章で，C++ におけるテンプレートのインスタンス化について述べている（実質，単相化）．これは広く使われているがコードが肥大化するとして悪名高い．
Benton 氏らは「Compiling Standard ML to Java Bytecodes」という論文で SML’97 プログラムから Java バイトコードへ変換するコンパイラについて述べており，ここで多相性は完全に単相化される．Standard ML では多相的な再帰を禁止しているため，常に単相化することが可能．
Fluet 氏は MLton のウェブページで，SML の最適化コンパイラ MLton で利用している同様のアプローチを紹介している．
Tolmach 氏と Oliva 氏は「From ML to Ada: Strongly-Typed Language Interoperability via Source Translation」という論文で，MLライクな言語から Agda への型付きの変換を単相化ベースで開発し，その詳細を発表した．FGGのとは異なりサブタイピングに対応しておらず多相再帰もない．
Jones 氏は「Dictionary-free overloading by partial evaluation」という論文で，Haskell用の型クラスを効率的にコンパイルする方法について述べており，これは単相化に多少似ている．
Yu 氏らは「Formalization of generics for the .NET common language runtime」で，.NET JIT コンパイラの特化と共有を混ぜるメカニズムの形式化している．この論文では，型と意味論を保持した多相的な .NET の中間言語（IL）への変換を記述している．
Siek 氏と Taha 氏は「A Semantic Analysis of C++ Templates」という論文で，C++テンプレートのインスタンス化メカニズムを形式化している．
田中氏らは「Safe Low-level Code Generation in Coq Using Monomorphization and Monadification」という論文で，低レベルのCコードを生成する Coq (Gallina) のための単相化アルゴリズムをレポートしている．

実装について

FGとFGGの型検査器とインタプリタ
FGG から FG への変換器（monomorphiser）のプロトタイプ実装（単相化可能かの検査も含む）

を Go で実装して公開したそうだ． Go で実装したのは Go の設計者やコミュニティとの議論を容易にするためらしい．さらに，これらの実装を使い多くのテストを行ったようだ．

FG の評価結果を公式の Go コンパイラを使用したものと比較
FG と FGG インタプリタは保存定理と進行定理の動的な検査をサポート
単相化をテストするために双模倣性のテストを追加

また，NEAT を利用して FGG のサブセットから全ての正しく型付けされたプログラム（ただし，メソッドと型の出現巣の合計を指定して，ある程度のサイズまでに限定した上で）を列挙もしたらしい（SmallCheck に似ているらしい）．このサブセットに含まれる全ての FGG プログラムをサイズ20まで生成して，上述した双模倣性のテストが通ったことを確認したそうだ．

おしまい

今後は C# のような，型のランタイム表現を渡すことに基づいた実装を検討して，単相化と組み合わせる方法を模索するらしい．あと，代入・配列・スライス・パッケージなどの他の重要な機能のモデル化も計画してるらしく，これを Bantamweight Go と呼ぶつもりらしい．さらに，「goroutines」とメッセージパッシングに基づくGoの並行メカニズムのモデル化も計画していて，これを Cruiserweight Go と呼ぶらしい．いったい素の Go は何級なんだろう笑

Surface Book 3を手にするまでの2ヶ月の苦闘の記録

2020-07-01T22:40:33+09:00

Surface Book 2 を買ってから 2年半が経過し、今回 Surface Book 3 を購入した。日本でも販売されることを知らずに US のマイクロソフトストアで購入したのだが、今回実機を手にするまでにめちゃめちゃ苦労したので、記録を残しておく。 US キーボードが欲しかったので、まあ、苦労した意味は0ではないかなと思っている。 5/7 予約 Surface Book 2 がとても気に入っていたので、 Surface Book 3 の発表はずっと待っていた。発表されたことを知り、即予約をした。クレジットカードの認証がうまくいかなかったり、2重で注文してしまったり（！）と言ったトラ…

jqのGo実装 gojq を作りました！ ― スタックマシン型インタープリタによるイテレータセマンティクスの実装

2020-06-15T14:30:25+09:00

jqはとても便利なコマンドです。 JSONを返すAPIを実装するときや、SaaSのAPIから特定の情報を抜き出してシェル変数に代入するときなど、web開発や運用には欠かせないツールとなっています。しかし、私にとってjqのクエリを一発で書くのは容易ではなく、思い通りの出力が得られないことがよくありました。難しいエラーメッセージに悩まされて、jqで書くのを諦めて別の言語で書き直すこともありました。 jqの十八番と思える場面で使いこなせないのは、なかなか悔しいものがあります。ツールを使うのが難しいなら、同じものを作ってしまえばよいのです。 jqの全ての機能を実装する jqを言語としてきちんと書…

Hamler の Docker イメージを作る

2020-06-13T00:00:00Z

Hamler という ErlangVM 上で動作する Haskell に似た構文のプログラミング言語が公開された．手元で遊ぶためにまず，Docker イメージを作ってみることにした（brew したくなかった）．作成したイメージはココでリポジトリはココ．

ちなみに，今回利用するバージョンは 0.1 です．

Docker イメージを作る

公式の Erlang の Docker イメージは Debian なので，Debian の Docker イメージを作る．現状は Mac 用のバイナリしか提供されていないので自前でビルドする必要がある．自前でビルドする方法は公式ドキュメントによると次の通り：

Erlang インストール
Haskell Stack をインストール
hamler-lang/hamler リポジトリをクローン
リポジトリで make && make install

幸いにも，Hamler は Haskell Stack でビルドできるので簡単だ．

コンパイラをビルドする

まずは Stack をインストールしよう：

# マルチステージビルドをするので AS でタグづけしておく
ARG OTP_VERSION=22.3.4.1
FROM erlang:${OTP_VERSION} AS build

WORKDIR /work
RUN curl -sSL https://get.haskellstack.org/ | sh

次にリポジトリを git clone してビルドする：

ARG HAMLER_VERSION=0.1
RUN git clone --branch=v$HAMLER_VERSION --depth=1 https://github.com/hamler-lang/hamler.git
RUN cd hamler && make && make install

で，make というか中身は stack build のところで次のようなエラーが出た：

Package index cache populated
Cloning afb0b731ff457d278403ab4bc134d3c88e09ea1f from git@github.com:hamler-lang/CoreErlang.git
Received ExitFailure 128 when running
Raw command: /usr/bin/git clone git@github.com:hamler-lang/CoreErlang.git /tmp/with-repo10/cloned
Standard error:

Cloning into '/tmp/with-repo10/cloned'...
Host key verification failed.
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

make: *** [Makefile:9: build] Error 1

これは stack.yaml の extra-deps で次のように指定していたからだ：

- git: git@github.com:hamler-lang/CoreErlang.git
  commit: afb0b731ff457d278403ab4bc134d3c88e09ea1f
- git: git@github.com:hamler-lang/purescript.git
  commit: 2c43709229b12e72dfc550ccf3efce6bfa60da72

git@github.com:owner/repo.git という形で指定すると SSH を利用した方法で git clone をするのだが，この Docker 環境では SSH の設定をしていないのでエラーになる．なので，次のように書き換えてあげれば良い：

- github: hamler-lang/CoreErlang
  commit: afb0b731ff457d278403ab4bc134d3c88e09ea1f
- github: hamler-lang/purescript
  commit: 2c43709229b12e72dfc550ccf3efce6bfa60da72

このように修正した stack.yaml を用意して上書きすることにした：

ARG HAMLER_VERSION=0.1
RUN git clone --branch=v$HAMLER_VERSION --depth=1 https://github.com/hamler-lang/hamler.git
COPY stack.yaml hamler/stack.yaml
RUN cd hamler && make && make install

余談だが，これについては修正PRを出してマージされたので次のバージョンからは必要ない．で，今度は次のようなエラーが出た：

language-javascript              > configure
language-javascript              > Configuring language-javascript-0.7.0.0...
language-javascript              > build
language-javascript              > Preprocessing library for language-javascript-0.7.0.0..
language-javascript              > happy: src/Language/JavaScript/Parser/Grammar7.y: hGetContents: invalid argument (invalid byte sequence)
--  While building package language-javascript-0.7.0.0 using:
      /root/.stack/setup-exe-cache/x86_64-linux-tinfo6/Cabal-simple_mPHDZzAJ_2.4.0.1_ghc-8.6.5 --builddir=.stack-work/dist/x86_64-linux-tinfo6/Cabal-2.4.0.1 build --ghc-options ""
    Process exited with code: ExitFailure 1
make: *** [Makefile:9: build] Error 1

はい，親の顔よりも見る hGetContents: invalid argument (invalid byte sequence) ですね． language-javascript パッケージは UTF-8 前提なので LC_ALL 環境変数を UTF-8 にしてあげる必要がある：

ARG HAMLER_VERSION=0.1
RUN git clone --branch=v$HAMLER_VERSION --depth=1 https://github.com/hamler-lang/hamler.git
COPY stack.yaml hamler/stack.yaml
ENV LC_ALL C.UTF-8
RUN cd hamler && make && make install

これでコンパイラのビルドは成功した！

REPLを試すまで

マルチステージビルドなのでビルドしたコンパイラを次のステージにコピーしよう：

FROM erlang:${OTP_VERSION}
COPY --from=build /root/.local/bin/hamler /usr/local/bin/hamler
ENTRYPOINT ["/usr/local/bin/hamler"]

試しに --help をしてみる：

$ docker run --rm matsubara0507/hamler --help
Usage: hamler COMMAND
  The hamler compiler based on purescript v0.13.6

Available options:
  --version                Show the version number
  -h,--help                Show this help text

Available commands:
  build                    Compile hamler source files
  init                     init a hamler project
  run                      run hamler project
  repldev                  dev hamler lib
  repl                     run hamler repl

For help using each individual command, run `hamler COMMAND --help`. For
example, `hamler build --help` displays options specific to the `build` command.

hamler 0.1

動作確認するために REPL を試してみる：

$ docker run -it --rm matsubara0507/hamler repl
hamler: //src: getDirectoryContents:openDirStream: does not exist (No such file or directory)

グローバルな環境で REPL は使えないっぽいのでプロジェクトを作成してみる：

$ docker run --rm -w /work -v `pwd`/example:/work matsubara0507/hamler init
$ docker run -it --rm -w /work -v `pwd`/example:/work matsubara0507/hamler repl
hamler: /usr/local/lib/hamler/lib: getDirectoryContents:openDirStream: does not exist (No such file or directory)

/usr/local/lib/hamler/lib ？？？いったいこれはどこで参照してるやつだ？？？と思ってリポジトリで色々調べてみたところ，どうやら標準ライブラリかなんかを参照してるっぽい．バグかな？って思ったけど brew の設定をみてみたらリポジトリっぽいのを /usr/local/lib/hamler にシンボリックリンクしてるようだった．なので，試しにそうしてみる：

FROM erlang:${OTP_VERSION}
COPY --from=build /root/.local/bin/hamler /usr/local/bin/hamler
COPY --from=build /work/hamler /usr/local/lib/hamler
ENTRYPOINT ["/usr/local/bin/hamler"]

今度はこういうエラーが出た：

$ docker run -it --rm -w /work -v `pwd`/example:/work matsubara0507/hamler repl
"/work"
hamler: /usr/local/lib/hamler/bin/replsrv: start replsrv error!! : runInteractiveProcess: exec: does not exist (No such file or directory)

bin/replsrv ？？？ brew でインストールしてる tgz の中身をみてみたら bin ディレクトリがあり，そこには replsrv と hamler というファイルがあった． hamler はコンパイラのバイナリで，replsrv は Erlang のスクリプトだった．探してみたら repl/replsrv という Erlang スクリプトがリポジトリにあり，diff してみたら tgz のものと一緒だった．なのでこれをコピーするようにした：

FROM erlang:${OTP_VERSION}
COPY --from=build /root/.local/bin/hamler /usr/local/bin/hamler
COPY --from=build /work/hamler /usr/local/lib/hamler
RUN mkdir /usr/local/lib/hamler/bin \
 && cp /usr/local/lib/hamler/repl/replsrv /usr/local/lib/hamler/bin
ENTRYPOINT ["/usr/local/bin/hamler"]

なんとこれで REPL が動作した：

$ docker run -it --rm -w /work -v `pwd`/example:/work matsubara0507/hamler repl
"/work"
Compiling Data.Void
...
Compiling Main
Compiling Demo.GenServer
PSCi, version 0.13.6
Type :? for help

> :?
The following commands are available:

    :?                        Show this help menu
    :quit                     Quit PSCi
    :reload                   Reload all imported modules while discarding bindings
    :clear                    Discard all imported modules and declared bindings
    :browse      <module>     See all functions in <module>
    :type        <expr>       Show the type of <expr>
    :kind        <type>       Show the kind of <type>
    :show        import       Show all imported modules
    :show        loaded       Show all loaded modules
    :show        print        Show the repl's current printing function
    :paste       paste        Enter multiple lines, terminated by ^D
    :complete    <prefix>     Show completions for <prefix> as if pressing tab
    :print       <fn>         Set the repl's printing function to <fn> (which must be fully qualified)
    :set         pro val      Set the pro's val

Further information is available on the PureScript documentation repository:
 --> https://github.com/purescript/documentation/blob/master/guides/PSCi.md
> 1 + 1
2
> :type 1
Integer

やったね．

おまけ：サンプルプログラム

ここにあるサンプルプログラムをビルドして実行してみた：

-- `hamler run` は Main.main 関数を実行するみたい
main :: IO ()
main = do
  -- メインプロセスのプロセスIDを取得
  pid0 <- selfPid
  -- `spawn` は子プロセスの生成、`seqio` は IO 専用の `sequence`
  pid100 <- seqio [spawn loop (State pid0) | x <- [1..1000]]
  -- `last` はリストの最後の要素を、`init` はリストの最後以外の部分リストを返す
  -- `[x|xs]` は Haskell の `x:xs`、つまりリストの中身を1つずらしてる
  -- `send` は指定したプロセスにメッセージを送信する
  seqio [send j (Next i) | (i,j) <- (zip pid100 [last pid100|init pid100]) ]
  send (head pid100) (Trans "great hamler! " 0)
  return ()

data Message = Next Pid | Trans String Integer
data State = State Pid

dealMessage :: State ->  Message -> IO State
dealMessage (State pid) (Next p) = return (State p)
dealMessage (State pid) (Trans str 11111) = return (State pid)
dealMessage (State pid) (Trans str i) =
  do send pid (Trans str (i+1))
     pid0 <- selfPid
     println (show pid0 <> " -> " <> show pid <> ": " <> str <> show i)
     return (State pid)

loop :: State -> IO ()
loop s = do
  -- `receive` は送信されたメッセージを受信する
  x <- receive
  s1 <- dealMessage s x
  loop s1

Erlang についてはあんまり詳しくないんだが，確かいわゆるアクターモデル的な並行システムだった気がする．各 Erlang プロセスはメッセージボックス的なのを持っていて，別プロセスから送信することができる．この型検査ってどれぐらいできるのだろうか．さすがに送信・受信の型があってるかまではチェックできなそう（調べてない）．

で，これをビルドした結果がこちら：

$ docker run -it --rm -w /work -v `pwd`/example:/work matsubara0507/hamler build
Compiling Data.Void
...
Compiling Demo.GenServer
Compiling Main

$ docker run -it --rm -w /work -v `pwd`/example:/work matsubara0507/hamler run
<0.749.0> -> <0.750.0>: great hamler! 672
<0.80.0> -> <0.81.0>: great hamler! 3
<0.81.0> -> <0.82.0>: great hamler! 4
<0.82.0> -> <0.83.0>: great hamler! 5
...
<0.791.0> -> <0.792.0>: great hamler! 7714
<0.792.0> -> <0.793.0>: great hamler! 7715

おしまい

会社単位で作ってるみたい．すごいなぁ，羨ましい．

Haskell 環境構築ツールフローチャートを作りました

2020-06-06T12:24:04+09:00

前に環境構築についての記事を書いたのですが、初学者向けにパッと見て分かるようにフローチャートにしました。kakkun61.hatenablog.comGoogle ドライブ図形描画のファイルはこちらです。コメントを付けることができます。docs.google.com

CloudNative Days Tokyo 2019 登壇こぼれ話 #CNDT2019

2020-05-31T02:56:39+09:00

先日行われた CloudNative Days Tokyo 2019 で、Kubernetes のスケジューリングについて発表してきました。公募 CFP 枠です。 www.youtube.com 今回の発表は、実は技術的に目新しい内容をほとんど含んでいません。各トピックは今までいくつかの勉強会で LT として発表しているものがほとんどです。ただし、普段の発表では時間が短いこともあって断片的になりがちだった内容を 40 分の枠で再構成し、スケジューリングについて初めて聞く人にとっても入り口のギャップを少なく、できるだけ学習曲線がなだらかになるようにすることを念頭に置いてプレゼンを組み立てました…

自分の Haskell プロジェクトの依存パッケージの古さを可視化する（その１）

2020-05-31T00:00:00Z

思いついたツールを自作続けるとこうなりますよね

時々思いつきで依存パッケージ，Stack プロジェクトであれば resolver をあげるんですけど，いい加減調べるのが大変．と言うことで，どれがどんだけ古くなってるかを可視化するツールを作りました．リポジトリはこちら：

ゴール

今回は

集めるのは Haskell Stack プロジェクトのみ
一覧化するのは stack.yaml に書いてる resolver のみ

だけにする．気が向いたときに少しずつパワーアップしていく．

どうやるか

可視化したいプロジェクトは設定ファイルで指定する形式にする．自動で集めても良いが，まぁそれはおいおい．

で，設定をもとにルートにある stack.yaml ファイルを GitHub API の get-content を使って取得する．そのファイルを読み込んで YAML をパースして，resolver あるいは snapshot を出力する．それだけ．

これを CLI ツールとして作る．

作る

まずは CLI から．

CLI ツールの雛形

なんと，すでに stack template を用意してあるので簡単：

$ stack new deps-sensor github:matsubara0507/mix-cli.hsfiles

このテンプレートは自作フレームワーク mix.hs を使った CLI ツールのもの． mix.hs は extensible パッケージと rio パッケージを混ぜたような簡単なフレームワークです．で，あとはよしなにモジュール名を整えたら出来上がり：

$ stack build
...
$ stack exec -- deps-sensor --help
deps-sensor [options] [input-file]
  -h  --help     Show this help text
      --version  Show version
  -v  --verbose  Enable verbose mode: verbosity level "debug"
$ stack exec -- deps-sensor --version
Version 0.1.0, Git revision Sat May 23 14:58:54 2020 +0900 (2 commits)

設定ファイルを読み取る

まずは型を定義する．色々考えた結果とりあえず今回はシンプルに：

module DepsSensor.Config where

import           RIO
import           Data.Extensible
import qualified Data.Yaml       as Y

type Config = Record
  '[ "repositories" >: [Text] -- expect owner/name
   ]

readConfig :: MonadIO m => FilePath -> m Config
readConfig = Y.decodeFileThrow

readConfig を定義してるのは，Y.decodeFileThrow を使うときに型注釈をしなくて良くするため．この設定型を RIO の Env 型に追加する：

module DepsSensor.Env where

import           RIO
import           Data.Extensible
import           DepsSensor.Config

type Env = Record
  '[ "logger" >: LogFunc
   , "config" >: Config
   ]

あとは CLI 側に追加するだけ：

module Main where
...

main :: IO ()
main = ... -- runCmd を呼び出す

-- FilePath は CLI のコマンドライン引数で渡す
runCmd :: Options -> Maybe FilePath -> IO ()
runCmd opts path = do
  config <- readConfig $ fromMaybe "./config.yaml" path   -- ココと
  let plugin = hsequence
             $ #logger <@=> MixLogger.buildPlugin logOpts
            <: #config <@=> MixConfig.buildPlugin config  -- ココを追記
            <: nil
  Mix.run plugin cmd
  where
    logOpts = #handle @= stdout
           <: #verbose @= (opts ^. #verbose)
           <: nil

これで次のような YAML 設定ファイルを読み込めるようになった：

repositories:
- matsubara0507/deps-sensor
- matsubara0507/git-plantation
- haskell-jp/antenna

GitHub API で取得

GitHub API も頻繁に使うのでプラグイン化してる．次のように Env 型を拡張して CLI 経由で渡すことで，RIO Env a 配下ですっごく簡単に GitHub API を呼び出すことができる：

-- Env の拡張
import qualified Mix.Plugin.GitHub as MixGitHub

type Env = Record
  '[ "logger" >: LogFunc
   , "github" >: MixGitHub.Token -- 追記
   , "config" >: Config
   ]

-- Main の拡張
runCmd :: Options -> Maybe FilePath -> IO ()
runCmd opts path = do
  gToken <- liftIO $ fromString <$> getEnv "GH_TOKEN"     -- ココと
  config <- readConfig $ fromMaybe "./config.yaml" path
  let plugin = hsequence
             $ #logger <@=> MixLogger.buildPlugin logOpts
            <: #github <@=> MixGitHub.buildPlugin gToken  -- ココを追記
            <: #config <@=> MixConfig.buildPlugin config
            <: nil
  Mix.run plugin cmd
  where
    ...

呼び出し側はこんな感じ：

module DepsSensor.Cmd where

import qualified GitHub
import qualified Mix.Plugin.GitHub as MixGitHub

fetchStackFileContent :: Text -> Text -> RIO Env (Maybe Text)
fetchStackFileContent owner name = do
  let (owner', name') = (GitHub.mkName Proxy owner, GitHub.mkName Proxy name)
  -- MixGitHub.fetch するだけ，簡単でしょ？
  resp <- MixGitHub.fetch $ GitHub.contentsForR owner' name' "stack.yaml" Nothing
  case resp of
    Left _        -> pure Nothing -- エラー握り潰すのはあれだけど
    Right content -> pure (toFileContent content)

-- get-content API の返り値に含まれるファイルの中身だけを取り出す
toFileContent :: GitHub.Content -> Maybe Text
toFileContent = \case
  GitHub.ContentFile c -> Just $ GitHub.contentFileContent c
  _                    -> Nothing

YAMLを取り込む

yaml パッケージを使ってサクッと YAML のデコードをするために，必要な情報だけの簡単なデータ型を作っておく：

module DepsSensor.Cmd where

type StackFile = Record
  '[ "resolver" >: Maybe Text
   , "snapshot" >: Maybe Text
   ]

toResolver :: StackFile -> Maybe Text
toResolver stackFile = stackFile ^. #resolver <|> stackFile ^. #snapshot

実は1つ問題があって，get-content API で取得した中身は Base64 エンコードされているのだ．なので fetchStackFileContent 関数で取得した Text 型の値を Base64 デコードする関数を用意しておこう：

import qualified RIO.Text                as T
import qualified Data.ByteArray.Encoding as BA
import qualified Data.Yaml               as Y

decodeStackFile :: Text -> Either String StackFile
decodeStackFile dat = do
  -- 改行コードを含むので抜いて連結してから memory パッケージを使ってデコードしている
  dat' <- BA.convertFromBase BA.Base64 $ T.encodeUtf8 (mconcat $ T.lines dat)
  mapLeft show $ Y.decodeEither' dat'

ちなみに，memory パッケージを使っているのは cryptonite パッケージでも利用されているから．

組み合わせる

準備は整ったのでこれを連結した処理をループで回すだけだ．ただ，用意したほとんどの関数が Maybe a 型か Either e a 型を返すので，このままエラーハンドリングすると段々畑になってしまう．そこで重宝するのが fallible パッケージだ：

import qualified RIO.Text          as T
import           Data.Fallible
import qualified Mix.Plugin.Logger as MixLogger

cmd :: RIO Env ()
cmd = do
  repositories <- asks (view #repositories . view #config)
  for_ repositories $ \repo -> evalContT $ do
    let (owner, name) = T.drop 1 <$> T.break (== '/') repo
    content   <- lift (fetchStackFileContent owner name) !?? warn repo "stack.yaml is not found"
    stackFile <- decodeStackFile content ??= warn repo
    resolver  <- toResolver stackFile ??? warn repo "undefined resolver"
    MixLogger.logInfo (display $ repo <> ": " <> resolver)
  where
    -- とりあえず警告するだけ
    warn r msg = exit $ MixLogger.logWarn (display $ T.pack msg <> ": " <> r)

演算子が3種類も出てきてわかりにくいが - 左が ! の場合は左辺が RIO Env (f a) になっていて， ? の場合は f a になっている（f は Maybe や Either e） - 右が = の場合は右辺で Either e a の e を受け取るハンドリングをし，? の場合は無視する（Maybe の場合は後者一択）

で，これを実行するとこんな感じになった：

$ stack exec -- deps-sensor
matsubara0507/deps-sensor: lts-15.13
matsubara0507/git-plantation: lts-15.5
haskell-jp/antenna: lts-14.20

おしまい

追々，Webページの生成と http://packdeps.haskellers.com っぽい機能を足したりするつもりです。

FutureとUnpin

2020-05-29T09:52:26+09:00

Future で Unpin が必要なときは pin してねって書いてある。 Pinning - Asynchronous Programming in Rust To use a Future or Stream that isn't Unpin with a function that requires Unpin types, you'll first have to pin the value Box も Unpin なので、 Pin する必要ないのではと一瞬考える。 boxed.rs.html -- source impl Unpin for Box {} しか…

doesn't have a size known at compile-time

2020-05-23T14:49:09+09:00

まだ時間がなくて詳しくは調べてないけど、こういう書き方はできない。まあそうかなと思う。 use std::fmt::Display; struct S (T); fn main() { let s: Box> = Box::new(S("")); } Compiling playground v0.0.1 (/playground) error[E0277]: the size for values of type `dyn std::fmt::Display` cannot be known at compilation time --> src/lib.…

[mac] Mojavaクリーンインストール

2020-05-06T17:02:25.994+09:00

Mojavaへのアップデートを契機にmac book airを初期化して環境をクリーンセットアップしました。自分にとって使いやすい環境の設定手順および、インストールしたアプリ群の情報をメモがわりに残しておきます。システム環境設定トラックパッド軌跡の速さを速くする「スクロールとズーム」内の「スクロールの方向」を「ナチュラル」にする「その他のジェスチャー」内の全てのチェックを外すアクセシビリティマウスとトラックパッドトラックパッドオプション「ドラッグを有効にする」にチェック →ダブルタップでドラッグできるようになる「ドラッグロックなし」を選択 →トラックパッドから手を離すとドラッグ解除キーボードキーボード F1, F2などのキーを標準のファンクションキーとして利用する：チェック修飾キー：ControlとOptionを

[linux] gnupgによる暗号化処理時の確認プロンプトを抑制する方法

2020-05-06T16:37:57.790+09:00

gnupgを用いてファイルを暗号化する際、予めインポートした公開鍵に対してtrust設定をしておかないと、指定した公開鍵毎に以下のような警告が発せられます。 % gpg -e -r abc@test.org a.txt gpg: AAAA4C0DD6F2ZZZZ: この鍵が本当に本人のものである、という兆候が、ありません sub elg2048/AAAA4C0DD6F2ZZZZ 2020-05-06 Hiroyuki Kurokawa 主鍵フィンガープリント: 副鍵フィンガープリント: この鍵は、このユーザIDをなのる本人のものかどうか確信できません。今から行うことを＊本当に＊理解していない場合には、次の質問にはnoと答えてください。それでもこの鍵を使いますか? (y/N) 以下のオプションを指定する

AVL木

2020-05-04T21:58:51+09:00

確か、いい感じに深くなりすぎない木だよね。回転？なにそれ？みたいな状態から実装し始めたら、面倒で死ぬかと思った。 AVL Tree by Java -- これで分かったAVL木とか AVL木の回転(要素の挿入や削除のしかた) - Qiita とかを参考に実装した。２週間くらい前から２回ほどチャレンジしてギブアップしていて、本日、腰を据えて三度目の正直。コードを整形する気力が残ってないので、そのまま貼り付け。 type 'a btree = | Node of int * 'a * 'a btree * 'a btree | Leaf ;; let rotate_right t = match…

家から出ない生活４週間

2020-04-29T17:10:29+09:00

出社非推奨になったのを機に家から出ない生活を始めて４週間が経った。今までやったことをまとめていく。食料品せっかくだから生活で縛りプレイをしてみようと思って Amazon と Yodobashi を禁止にしている。この２社は最近評判が良くないこともあるし。業務スーパーの通販いわゆるネットスーパーはサイトが激重になっていたり配達可能日がすべて☓になっていたりで機能不全を起こしているようだった。そこで飲食店がメインターゲットであろう業務スーパーなら今空いているだろうという読み。ここではピザ材料、冷凍野菜、割り箸などを入手している。とにかく業務スーパーの通販を最大限利用するには冷凍室の容積が…

Haskell Servant で Slack からの署名付きリクエストを受ける

2020-04-20T00:00:00Z

Slack のスラッシュコマンドなどで利用される署名付きリクエストを Haskell Servant で受ける方法を考えて実装しました．実装は slackell という Haskell の Slack API パッケージにしてあります：

matsubara0507/slackell - GitHub

該当 PR はこれです．

署名付きリクエスト

スラッシュコマンドなどで Slack からのリクエストを受け取るときに，そのリクエストが本当に該当のスラッシュコマンドから送られてきた正しいリクエストかを検証するには，リクエストパラメーターとして送られてきた検証トークンを確認していた．しかし，この方法は現在では非推奨になっており，代わりにリクエストヘッダーに付いている署名を確認する．公式ドキュメントは以下：

Verifying requests from Slack | Slack

署名は X-Slack-Signature というヘッダーに v0= というプレフィックス付きで含まれている．このリクエストを受け取ったアプリケーション側は以下の方法で署名をエンコードして比較することで，そのリクエストの正当性を保証する：

X-Slack-Request-Timestamp リクエストヘッダーに含まれているタイムスタンプを読む
バージョン番号・1のタイムスタンプ・リクエストボディの3つを : 区切りで連結する
- e.g. v0:123456789:command=/weather&text=94070
- バージョン番号は今のところ全て v0
2の文字列を Slack Apps で取得できる Signing Secret を使って HMAC SHA256 でエンコード

Haskellでエンコードする

このアルゴリズムを Haskell プログラムで実装する． HMAC SHA256 エンコードには cryptonite パッケージを使った． 2と3の部分を行って署名をエンコードする関数は以下：

module Web.Slack.Verify where

import Crypto.Hash (Digest, SHA256)
import Crypto.MAC.HMAC (HMAC (..), hmac)

newtype SigningSecret = SigningSecret Text deriving (IsString)
type RequestTimestamp = Text

-- | シークレット・タイムスタンプ・リクエストボディは引数でもらう
encodeSignature :: SigningSecret -> RequestTimestamp -> ByteString -> Digest SHA256
encodeSignature (SigningSecret secret) ts body =
  hmacGetDigest $ hmac (Text.encodeUtf8 secret) basestr
  where
    basestr = BS.intercalate ":" [Text.encodeUtf8 version, Text.encodeUtf8 ts, body]

最終的な型が Digest SHA256 なので，ヘッダーの方の署名と比較しやすいように文字列からの変換関数も用意しておく：

import Crypto.Hash (Digest, SHA256, digestFromByteString)
import Data.ByteArray.Encoding (Base (..), convertFromBase)

type SignatureHeader = Text

convertSignatureHeader :: SignatureHeader -> Maybe (Digest SHA256)
convertSignatureHeader sign = either (const Nothing) digestFromByteString bs
  where
    (_, sign') = Text.breakOnEnd (version <> "=") sign
    bs = convertFromBase Base16 (Text.encodeUtf8 sign') :: Either String ByteString

version :: Text
version = "v0"

ここで注意しなければいけないのが digestFromByteString 関数に食わせる ByteString 型の値は， memory パッケージの関数を利用して16進数表現から直す必要がある．

Slash Command を受け取る

署名をエンコードする関数はできたので，あとは Servant でスラッシュコマンドを受け取る方法を考える．まずはスラッシュコマンドから送られてくるリクエストボディの型を宣言しておこう：

module Web.Slack.SlashCommand where

import Data.Extensible

type RequestData = Record
  '[ "token"           >: Text
   , "command"         >: Text
   , "text"            >: Text
   , "response_url"    >: Text
   , "trigger_id"      >: Text
   , "user_id"         >: Text
   , "user_name"       >: Text
   , "team_id"         >: Text
   , "team_domain"     >: Text
   , "channel_id"      >: Text
   , "channel_name"    >: Text
   , "enterprise_id"   >: Maybe Text
   , "enterprise_name" >: Maybe Text
   ]

正直，これを調べるのも大変だった．公式ドキュメントにはどんなパラメータがあるか割愛されてる部分があるからだ．

で，API の型は雰囲気としてはこんな感じ：

-- Web.Slack は slackell
import qualified Web.Slack.Verify as Slack
import qualified Web.Slack.SlashCommand as SlashCmd

type API
    = "slash"
      :> ReqBody '[FormUrlEncoded] RequestData
      :> Header "X-Slack-Request-Timestamp" Slack.RequestTimestamp
      :> Header "X-Slack-Signature" Slack.SignatureHeader
      :> Post '[JSON] NoContent

ここで問題が1つ．署名をエンコードするのに必要なのはデータ型 SlachCmd.RequestData に変換される前の文字列だ． ToForm 型クラスを使って元の形（= と & で連結するやつ）に戻せば良いと思うかも知れないが，これだと key の順番が変わってしまう可能性があり，順番が変わると別のエンコード結果になってしまう．逆に文字列のまんま受け取れば良いかと思うかも知れないが，Servant は正しい ContentType な型を指定しないと 400 を返してしまう（スラッシュコマンドは application/x-www-form-urlencoded でリクエストしてくる）．困った．色々調べたが，後から素のリクエストボディを取得する方法がわからなかった…

ContentTypeを自作する

まぁ無いなら自作するしかない．素の文字列を返してくれて application/x-www-form-urlencoded メディアタイプを表している ContentType な型を作る．どのメディアタイプかは Accept 型クラスで定義し，どの型で返してくれるかは MimeUnrender 型クラスで定義する：

module Web.Slack.SlashCommand where

type RequestData = ...

data SlashCommand

instance Accept SlashCommand where
  contentType :: Proxy SlashCommand -> MediaType
  contentType _ = "application" M.// "x-www-form-urlencoded"

instance MimeUnrender SlashCommand (ByteString, RequestData) where
  mimeUnrender ::
    Proxy SlashCommand -> Lazy.ByteString -> Either String (ByteString, RequestData)
  mimeUnrender _ bs = Text.unpack +++ (bs,) $ urlDecodeAsForm bs

どーせ後から RequestData 型に変換するので両方を返すことにした．あとはこれを使うだけ：

-- Web.Slack は slackell
import qualified Web.Slack.Verify as Slack
import qualified Web.Slack.SlashCommand as SlashCmd
import           Web.Slack.SlashCommand (SlashCommand)

type API
    = "slash"
      :> ReqBody '[SlashCommand] RequestData
      :> Header "X-Slack-Request-Timestamp" Slack.RequestTimestamp
      :> Header "X-Slack-Signature" Slack.SignatureHeader
      :> Post '[JSON] NoContent

APIの実装

残りは今までのを使うだけなので簡単：

server :: Slack.SigningSecret -> Server API
server secret = slashCommand
  where
    slashCommand (lbs, body) (Just ts) (Just sign) =
      let digest = Slack.encodeSignature secret ts (LBS.toStrict lbs) in
      if Just digest == Slack.convertSignatureHeader sign then
        liftIO $ do
          _ <- forkIO $ action body -- タイムアウトがあるので処理自体は fork する
          pure NoContent
      else
        throwError err401
    slashCommand _ _ _ = throwError err401

    action :: SlashCmd.RequestData -> IO ()
    action body = ...

おまけ：FromFormインスタンス

実はこれだkではビルドが通らない．というのも，拡張可能データ型の FromForm 型クラスインスタンスが無いからだ．しょうがないので自作した：

import Web.FormUrlEncoded (FromForm (..))
import Web.HttpApiData (FromHttpApiData (..), parseUnique)

instance Forall (KeyTargetAre KnownSymbol FromFormData) xs => FromForm (Record xs) where
  fromForm form =
    hgenerateFor (Proxy @ (KeyTargetAre KnownSymbol FromFormData)) $ \m ->
      Field <$> parseUnique (stringKeyOf m) form

-- Identity のインスタンスぐらい宣言しておいてよ
instance FromHttpApiData a => FromHttpApiData (Identity a) where
  parseUrlPiece = fmap pure . parseUrlPiece

これの欠点が1つ． parseUnique 関数の Maybe a 型に関する振る舞いだ． Maybe a 型なら該当の key が含まれなければ Nothing で key があれば Just v になって欲しい．しかし実際はこうだ：

>>> parseUnique "age" [("age", "Just 25")] :: Either Text (Maybe Int)
Right (Just 25)

現実のリクエストが "Just hoge" なんて送ってくるわけが無い！しょうがないので自作した：

class FromFormData a where
  parseUnique' :: Text -> Form -> Either Text a

instance FromFormData Int   where parseUnique' = parseUnique
instance FromFormData Float where parseUnique' = parseUnique
instance FromFormData Bool  where parseUnique' = parseUnique
instance FromFormData Char  where parseUnique' = parseUnique
instance FromFormData Text  where parseUnique' = parseUnique

instance FromHttpApiData a => FromFormData (Maybe a) where
  parseUnique' key form = do
    mv <- lookupMaybe key form
    case mv of
      Just v  -> Just <$> parseQueryParam v
      Nothing -> pure Nothing

で，parseUnique の代わりに parseUnique' を使うように FromForm 型クラスのインスタンスを書き換えるだけだ．これは汎用的なので別のリポジトリに切り分けた．

おしまい

サンプルコードを作ってスラッシュコマンドのデバッグをしたが，間にちゃんとリクエスト・レスポンスをロギングする仕組みを省いたせいで超大変だった笑．

barbies-thで気軽にHKDを堪能しよう [Haskell AdC 14]

2020-04-19T22:45:05+09:00

ミーハーな読者なら、barbiesというライブラリをご存知の方も多いと思う。そう、HKDを扱う定番ライブラリだ。HKDは、同アドベントカレンダーにも寄稿されている他、Haskell Dayでも紹介された(https://assets.adobe.com/public/b93f214d-58c2-482f-5528-a939d3e83660)注目の技法だ。Higher-Kinded Data (HKD) について - Qiita HKDは、一番簡単な場合であるはずのIdentityを使うと着脱が面倒になるという問題がよく知られている。Data.Barbie.BareモジュールのWearという型族…

Haskell Servant に GitHub Apps による認証を追加する

2020-04-06T00:00:00Z

時々みる「GitHubでログイン」っぽいのを Servant 製サンプルアプリケーションに実装します．

サンプルアプリケーションは2年前に書いた「Haskell × Elm のサンプルアプリケーションを書いてみた」という記事のものを，最近の GHC や Elm でリファクタリングして使います．これは簡単な ToDo アプリケーションです：

最終的な実装 PR はこれ．

GitHub Apps による認証

公式ドキュメントより

GitHub で Apps を登録する
- Client ID・Client Secret を取得
- callback URL を設定
ログインする際に https://github.com/login/oauth/authorize?cleint_id=[cleint_id] へリダイレクトさせる
- (1)の App の使用を許可するかという画面へ飛ぶ
許可すると(1)で設定した callback エンドポイントが叩かれる
- code というリクエストパラメータがついてくる
Client ID・Client Secret と(3)の code を使うことで bearer token が手に入る
- このトークンを利用することで GitHub ユーザーの情報を取得したりできる
(4)を利用して取得した GitHub アカウント名などを Cookie に積んでおく

あとは (5) の Cookie の有無によってログイン済みかどうかを判断するだけ（まぁこれは GitHub App とか関係ないよくあるやり方）．つまり問題は Servant でどうやってログイン情報などを Cookie に載せるかということだ．

Servant で認証機能

を作るには servant-auth-server という Servant 公式のパッケージを使えば良いようだ．詳しくは以下の公式ドキュメントを読むと良い：

Authentication in Servant — Servant documentation

servant-auth-server を利用することで，JWT エンコードした認証情報を Cookie として保存したり，その Cookie の有無によって認証済みかどうかチェックしたりなどができる．公式ドキュメント以外に特に利用の仕方を解説した記事とか見当たらなくて，結局実装コード読んだり，servant-auth-server パッケージを使ってるリポジトリを GitHub で検索したりして手探りで実装していった．

API の型

元々はこんな感じ：

import qualified Text.Blaze.Html5 as H
import           Servant.HTML.Blaze (HTML)

type API = Get '[HTML] H.Html
      :<|> "static" :> Raw
      :<|> "api" :> Todo.CRUD

これに認証機能を追加する：

type API = (Auth '[Cookie] GitHub.User :> Protected) :<|> Unprotected

type Protected
      = "api" :> Todo.CRUD

type Unprotected
      = Get '[HTML] H.Html
   :<|> "static"   :> Raw
   :<|> "login"    :> GetRedirected '[]
   :<|> "callback" :> QueryParam "code" String :> GetRedirected JWTCookieHeaders

type GetRedirected headers =
  Verb 'GET 308 '[HTML] (Headers (Header "Location" String ': headers) NoContent)

type JWTCookieHeaders =
  '[ Header "Set-Cookie" SetCookie, Header "Set-Cookie" SetCookie ]

Protected と Unprotected 型のように，認証済みの場合だけ利用可能なエンドポイントとそうでないエンドポイントを分けると良いようだ．今回は /index.html を認証の外にしたが，別に中にしてもいいと思う．認証側に Auth '[Cookie] a を追加することで JWT エンコードされた Cookie の有無で認証済みかを判断し，Cookie があればそれを a 型へデコードしてくれる． Cookie の付与自体は callback エンドポイントで行う．ちなみに，Set-Cookie が2つあるのは，1つを CRSF Protection に使うためだ（CRSF Protection については後述）．

また，Cookie や JWT の設定は Servant の Context 機能で渡す必要がある：

main :: IO ()
main = do
  todoDB       <- STM.atomically $ STM.newTVar initTodoDB
  clientId     <- getEnv "GITHUB_CLIENT_ID"
  clientSecret <- getEnv "GITHUB_CLIENT_SECRET"
  jwtSettings  <- defaultJWTSettings <$> generateKey
  let cfg   = cookieSettings :. jwtSettings :. EmptyContext
      oauth = #client_id @= clientId <: #client_secret @= clientSecret <: nil
      env   = #index  @= indexHtml
           <: #cookie @= cookieSettings
           <: #jwt    @= jwtSettings
           <: #todos  @= todoDB
           <: #oauth  @= oauth
           <: nil
  Warp.run 8080 $ serveWithContext api cfg (server env)
  where
  initTodoDB = (length initTodos, IntMap.fromList initTodos)
  cookieSettings = defaultCookieSettings
    { cookieIsSecure = NotSecure
    , cookieMaxAge = Just $ Time.secondsToDiffTime (3 * 60)
    , cookieXsrfSetting = Nothing
    }

api :: Proxy (API '[Cookie])
api = Proxy

それぞれの設定は servant-auth-server の defaultCookieSettings と defaultJWTSettings を利用すれば良い．

今回は localhost で利用するようにしてるので cookieIsSecure に NotSecure を設定してる（これで HttpOnly になる）が，普通は Secure のままで良い． cookieXsrfSetting は前述した CSRF Protection の設定で，デフォルトではオンになっている．オンの場合は Cookie に設定された CSRF Protection 用のトークンをヘッダーに設定してリクエストしないと，Protected な API は弾かれるようになる（Cookie 名は cookieXsrfSetting で設定する）．ちなみに，GET リクエストは CSRF Protection しないという設定も可能だ．

JWT の設定にはエンコードするための鍵を渡す必要がある．今回は servant-auth-server の generateKey 関数を利用している．これは（少なくともバージョン0.4.5.1では）256長の対称鍵（HS256）をランダムに生成してくれる．ランダムに生成したものを利用してるので，起動するたびに Cookie の情報が変わってしまう点に注意．もし，JWTのアルゴリズムや鍵を別のものにしたい場合は jose パッケージを利用すれば良いはずだ．

余談だが，Cookie にある JWT のデコードは Servant Context の設定を利用するが，Cookie に積むときはエンドポイントの最後でエンコードをするので，同一の設定をエンドポイントまで橋渡しをしないといけない（ぼくは他方がデフォルトのままになってるのに気付かず3時間溶かした…）．

Protected なエンドポイント

こんな感じ：

protected :: Env -> AuthResult GitHub.User -> Server Protected
protected env (Authenticated _) = todoAPI (env ^. #todos)
protected _ _                   = throwAll err401

今回はアカウントによってレスポンスの出しわけをしてないので，Authenticated かどうかだけをみている．

ログインエンドポイント

ログインエンドポイントはただ GitHub の該当 URL へリダイレクトするだけ：

unprotected :: Env -> Server Unprotected
unprotected env =
  pure (env ^. #index) :<|> serveDirectoryFileServer "static" :<|> login :<|> callback
  where
    login = pure $ addHeader (GitHub.authorizeUrl $ env ^. #oauth) NoContent
    callback = undefined

-- GitHub module
authorizeUrl :: OAuthSettings -> String

OAuthSettings は GitHub App の Client ID と Client Secret が保存されている．

callback エンドポイント

最後は callback で，JWT エンコードした認証情報を Cookie に保存すれば良い：

unprotected :: Env -> Server Unprotected
unprotected env = ...
  where
    login = ...
    callback (Just code) = GitHub.fetchUser (env ^. #oauth) code >>= \case
      Nothing   -> throwError err401
      Just user -> liftIO (acceptLogin (env ^. #cookie) (env ^. #jwt) user) >>= \case
        Nothing           -> throwError err401
        Just applyCookies -> pure $ addHeader "/" (applyCookies NoContent)

-- GitHub module
fetchUser :: MonadIO m => OAuthSettings -> String -> m (Maybe User)

認証情報には GitHub のユーザー情報を利用しており，callback で渡された code パラメーターを利用して（取得したトークンを利用して）取得する．認証情報を JWT エンコードして Cookie に埋め込む処理は servant-auth-servar パッケージの acceptLogin 関数を使うだけで良い．

これで API 側の準備はできた．あとはフロントを少しいじって出来上がり．

フロントにログインボタンを作る

認証状態を使ってイロイロと出し分けたほうがいいのだが，めんどくさいのでただ /login へのリンクをおいた：

view : Model -> Html Msg
view model =
    div [ class "my-3 mx-auto col-10" ]
        [ h1 [] [ text "ToDo List !!", loginButton ]
        , viewToDos model
        , viewPost model
        ]


loginButton : Html msg
loginButton =
    button [ class "btn btn-sm btn-outline float-right mt-2", type_ "button" ]
        [ a
            [ href "/login"
            , style "color" "inherit"
            , style "text-decoration-line" "none"
            ]
            [ text "Login by GitHub" ]
        ]

こんな感じ：

おまけ：Readerモナド

Env は Cookie や JWT の設定を保持しているグローバル環境型だ．こういうのは引数としてリレーしても良いが，Reader モナド使って渡すのがよくある手法だ． Servant の場合は hoistServerWithContext を使うことで Handler の代わりに別のモナドを利用できる：

main :: IO ()
main = do
  ...
  Warp.run 8080 $
    serveWithContext api cfg (hoistServerWithContext api ctx (convert env) server)

ctx :: Proxy '[ CookieSettings, JWTSettings ]
ctx = Proxy

type App = ReaderT Env Handler

convert :: Env -> App a -> Handler a
convert context app = runReaderT app context

あとは Env -> Server api みたいな型を ServerT api App としていくだけ．

おしまい

意外とこういう組み合わせに言及した記事がなくて調べるの大変だった．あと一応，実アプリケーションで使うときはちゃんと安全性について別途調べてくださいね（責任は持ちません）．

git-plantation の依存パッケージのバージョンアゲアゲ with LTS-15

2020-04-01T00:00:00Z

自作している git-plantation という Haskell アプリケーションの依存パッケージのバージョンを、Stackage LTS-15 でビルドできるようにバージョンを色々とあげました．本記事はそのメモ書きです（記事にするほどのことではないんだけど，思ったより色々したので忘れそうだから記事にした笑）．

ちなみに git-plantation については，このスライドを参照してください．いくつかのパッケージをフォークしたり，ラッパーパッケージを作ったり，そもそも自作したりしてるのでタイミングによっては LTS のメジャーバージョンを一つ上げるだけでも結構大変なのです．

ハイライト

ちなみに，元々は LTS 14 だった

GHC のバージョンが 8.8.3 になる（影響はさほどない）
extensible を 0.8 にする
github を 0.25 にする
servant-elm を 0.7.1 にする（これもさほど影響はない）

最終的なPRはこれ．

extensible-0.8

0.8 ではもともと deprecated になっていた関数や型がついに消えたので，利用しっぱなしだったコードがビルドできなくなった：

 /.../drone-1.0.1/src/Drone/Types/Cron.hs:25:44: error:
     Not in scope: type constructor or class ‘:*’
     Perhaps you meant one of these:
       ‘:&’ (imported from Data.Extensible),
       ‘:/’ (imported from Data.Extensible)
    |                  
 25 | type CronPatch = Nullable (Field Identity) :* CronPatchFields
    |                                            ^^

消えたのはこれら

Associate k v xs => Lookup xs k v
h :* xs => xs :& h
h :| xs => xs :/ h
AssocKey kv => KeyOf kv
AssocValue kv => TargetOf kv
ValueIs => TargetIs
KeyValue => KeyTargetAre
proxyAssocKey => proxyKeyOf
proxyAssocValue => proxyTargetOf
stringAssocKey => stringKeyOf
訊 => xlb

上3つは演算子の順番が変わってる点に注意．他はただ名前を変えただけ（Associate の名前が変わったためかしら？）．

github-0.25

github パッケージは 0.24 でかなり大きなインターフェースの刷新をしており，その影響がデカかった．今までは一つの API に対して最大3つの関数が用意されていた：

-- https://developer.github.com/v3/users/#get-a-single-user の関数
userInfoFor :: Name User -> IO (Either Error User)
userInfoFor' :: Maybe Auth -> Name User -> IO (Either Error User)
userInfoForR :: Name User -> Request k User

ベースは hogeR 関数で，他はこの関数のラッパー関数だ． 0.24 からは hogeR 関数だけ残して他の関数は廃止し，github と github' の2つの関数を用意した：

-- だいたいこういう対応
userInfoFor name = github' (userInfoForR name)
userInfoFor' (Just auth) name = github auth (userInfoForR name)

また，github パッケージはフォークして足りない API 関数を足して利用していたため，それらの修正（というか hogeR 以外の削除）をする必要があった．追加してたけどフォーク元に PR を投げてなかったのはこれらの関数（完全にメモ）：

removeCollaborator : リポジトリのコラボレーターの削除
teamInfoByName : Organization のチームをチーム名から引く
addOrUpdateMembership : Organization メンバーの権限の追加ないしは変更
removeMembership : Organization メンバーの権限の削除

servant-elm-0.7.1

ビルドが通らないことはないが生成ファイルが変わったので，念のため差分をチェックした．少なくとも僕の生成コードに影響があったのはこの PR：

Using the appropriate toString functions for different types

要するに，デフォルトで定義しているデータ型以外の型で文字列からJSONデコードするときの振る舞いを自分で定義したいって感じだと思う．たぶん．

servant-elm は elmap.hs というのでラップしてるのでそっちのアップデートも行った．こっちには生成コードのテストも追加してあるので差分がわかりやすい．

おしまい

他にも CI/CD を GitHub Actions にしたりした．

rustでdiscordのbotを作ってみたくて下調べ(4)

2020-03-22T21:40:51+09:00

rustでdiscordのbotを作ってみたくて下調べ(3) - 北海道苫小牧市出身の初老PGが書くブログで serenity を紹介したが、最近 async版の開発が進んでいる。試してみたが、まともに動くようだ。ベンチマークなど取っていないので、 async にする価値があるのかはよくわかっていないが、 Rust の async/await を使ってなにか作ってみたいというのがもともとのモチベーションなので、これを使ってみることにする。まだ PR の段階でマージされるまではしばらくかかりそうなので、利用したければ Cargo.toml へ以下のように書く。 [dependencies.s…

impl Trait 型の値を再代入しようとしてハマった

2020-03-08T21:20:48+09:00

impl トレイト名は Rust で存在型を扱うのに使える。しかし、以下はコンパイルが通らない。 use std::fmt::Display; fn f(t: T) -> impl Display where T: Display, { t } fn main() { let mut s = f(""); s = f(s); } Compiling playground v0.0.1 (/playground) error[E0308]: mismatched types --> src/lib.rs:12:11 | 12 | s = f(s); | ^ expected `&str…

新しいディスプレー

2020-03-07T01:22:14+09:00

会社が 4K ディスプレーなのもあって、家でプログラミングしてたら画面が窮屈に感じてきてうちも 4K ディスプレーを導入しました。特に Elm の標準のフォーマットが密度低いのでフル HD だと不便だったのが最後の引き金でした。 4K かつ HDR にしました。 KEIAN 28インチ4K対応LEDモニター KWIN28 ゲーミングモニター発売日: 2019/04/20メディア: Personal Computers 4K で High DPI 設定による高精細は言わずもがな HDR も綺麗ですね。綺麗なんだけど Windows で HDR 出力をオンにしたときの SDR（今までのダイナミ…

HomebrewのインストーラーをRubyからBashに書き直しました！

2020-03-03T10:35:39+09:00

みなさんはHomebrewをお使いでしょうか。macOSをお使いの多くの開発者が使っていると思います。 HomebrewのインストーラーはRubyで書かれており、次のコマンドでインストールするようになっていました。 /usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" HomebrewがRubyに依存していることは良いのですが (formulaの書きやすさはRubyならでは)、インストーラーの話になると事情が変わってきます。Homebrewのインストー…

Elm + GitHub OAuth 2.0 (Firebase) のサンプルプログラムを書いてみた

2020-02-10T00:00:00Z

とあるアプリケーションに Elm + GitHub OAuth 2.0 を使ってみたいなと思い，その練習用のアプリケーションを作ってみました：

matsubara0507/elm-github-oauth2-sample - GitHub

サンプルのために認可用のサーバーを用意するのがめんどくさかったので，近年話題の Firebase の Authorization 機能を利用することにしました．

作ったアプリケーション

作成した SPA は GitHub Pages に置いてある．ログインっぽいボタンを押すと Firebase Authorization を介して，GitHub OAuth 2.0 での認可がされる．もちろん，もともと試したかったことはここまでだが，認可しておしまいだと味気がない．なので：

認可時に GitHub OAuth トークンを取得
トークンを使ってログインしたユーザーの公開リポジトリの情報を取得
リポジトリのスター数を使ってユーザーのステータスをリッチに描写する

色々試して最終的にこんな感じ：

ちょっとやりすぎた．

実装する

やったことは3ステップ

Elm と Firebase を繋ぐ
リポジトリを取得（GraphQL）
円グラフを描写

2と3は完全におまけですね．

Elm と Firebase

まずは Firebase を準備する．公式サイトの手順がしっかりしてるので，それに習って準備する（GitHub App の設定とか）．プロバイダ（今回は GitHub）の設定と JavaScript のアプリの設定をすると「コレをコピペしてね」っていう設定とかが出てくる．コレを index.html と index.js に書いておく：

<!-- index.html -->
<!doctype html>
<html>
<head>
  <meta http-equiv="content-type" charset="utf-8">
  <link rel="stylesheet" href="https://unpkg.com/@primer/css@14.2.0/dist/primer.css">
</head>
<body>
  <div id="elm-node"></div>
  <!-- firebase-app と firebase-auth が必要 -->
  <script src="https://www.gstatic.com/firebasejs/7.8.1/firebase-app.js"></script>
  <script src="https://www.gstatic.com/firebasejs/7.8.1/firebase-auth.js"></script>
  <!-- static/main.js は Elm からあとで生成する -->
  <script src="static/main.js"></script>
  <!-- static/index.js は下記 -->
  <script src="static/index.js"></script>
</body>
</html>

// static/index.js
'use strict';

// コレらの設定は公開してもいいらしいけど
var firebaseConfig = {
  apiKey: "...",
  authDomain: "...",
  databaseURL: "...",
  projectId: "...",
  storageBucket: "...",
  messagingSenderId: "...",
  appId: "..."
};

firebase.initializeApp(firebaseConfig);
const provider = new firebase.auth.GithubAuthProvider();

あとは Elm から Firebase のメソッドを呼び出す．基本的にコレを参考にした：

Elm portsでFirebase Firestoreを触ろう！ - Qiita

Elm 用の Firebase パッケージ的なのはないので，Elm のポート機能を使って繋ぎ込む：

port module Firebase exposing (..)

import Json.Encode as E

port signIn : () -> Cmd msg
port getSignInResult : () -> Cmd msg
port signedIn : (E.Value -> msg) -> Sub msg

// static/index.js
...

const app = Elm.Main.init(
  { node: document.getElementById('main')
  , flags: {}
  }
);

app.ports.signIn.subscribe(_ => {
  // popup の方はモバイル系でうまく動作しなかったのでこっちを使う
  firebase.auth().signInWithRedirect(provider);
});

app.ports.getSignInResult.subscribe(_ => {
  firebase.auth().getRedirectResult().then(function(result) {
    if (result.credential) {
      app.ports.signedIn.send(result);
    }
  }).catch(function(error) {
    app.ports.failSignIn.send(error)
  });
});

繋ぎ込みはできた．サクッとトークンだけもらって，GitHub API v3 からユーザー名を取得する部分を実装する：

module GitHub exposing (..)

import Http
import Json.Decode as D exposing (Decoder)
import Json.Encode as E

type Token = Token String

tokenDecoder : Decoder Token
tokenDecoder = D.map Token D.string

type alias User =
    { login : String
    , name : String
    }

getUserInfo : (Result Http.Error User -> msg) -> Token -> Cmd msg
getUserInfo msg (Token t) = ... -- 割愛

port module Firebase exposing (..)

import GitHub
import Json.Decode as D exposing (Decoder)

decoder : Decoder GitHub.Token
decoder = D.map identity (D.at [ "credential", "accessToken" ] GitHub.tokenDecoder)

signedInWithDecode : (Result D.Error GitHub.Token -> msg) -> Sub msg
signedInWithDecode msg = signedIn (msg << D.decodeValue decoder)

あとは適当に Main から呼び出すだけ：

module Main exposing (main)
-- import は割愛

main : Program () Model Msg
main =
    Browser.application
        { init = init
        , view = view
        , update = update
        , subscriptions = Firebase.signedInWithDecode SignedIn
        , onUrlRequest = LinkClicked
        , onUrlChange = UrlChanged
        }

type alias Model =
    { token : Maybe GitHub.Token
    , user : Maybe GitHub.User
    , error : Maybe String
    , key : Nav.Key
    }

type Msg
    = LinkClicked Browser.UrlRequest
    | UrlChanged Url
    | SignIn
    | SignedIn (Result Json.Error GitHub.Token)
    | FetchUser (Result Http.Error GitHub.User)

init : () -> Url -> Nav.Key -> ( Model, Cmd Msg )
init _ _ key = ( Model Nothing Nothing Nothing key, Firebase.getSignInResult () )

update : Msg -> Model -> ( Model, Cmd Msg )
update msg model =
    case msg of
        ... -- URL 系は割愛
        SignIn ->
            ( model, Firebase.signIn () )
        SignedIn (Ok token) ->
            ( { model | token = Just token, error = Nothing }, GitHub.getUserInfo FetchUser token )
        SignedIn (Err err) ->
            ( { model | error = Just (Json.errorToString err) }, Cmd.none )
        FetchUser (Ok user) ->
            ( { model | user = Just user, error = Nothing }, Cmd.none )
        FetchUser (Err _) ->
            ( { model | error = Just "fetch github user error" }, Cmd.none )

view : Model -> Browser.Document Msg
view model = { title = "Elm GitHub OAuth 2.0 Sample", body = [ viewBody model ] }

viewBody : Model -> Html Msg
viewBody model =
    Html.div [ Attr.class "position-relative text-center" ]
        [ case ( model.error, model.user ) of
            ( Just err, _ ) ->
                text err
            ( _, Just user ) ->
                viewUser user
            _ ->
                signinButton model
        ]

signinButton : Model -> Html Msg
signinButton model =
    div [ Attr.class "f3 mt-3" ]
        [ button
            [ Event.onClick SignIn
            , ... -- 割愛
            ]
            [ text "Sign in with GitHub" ]
        ]

viewUser : GitHub.User -> Html msg
viewUser user = text ("Hi " ++ user.login ++ "!")

コレを

$ elm make --output=docs/static/main.js src/Main.elm --optimize

とビルドして elm reactor で docs/index.html にアクセスすると、サインインボタンがあってサインインすると Hi matsubara0507! って感じのメッセージが出るだけの SPA ができた．

リポジトリを取得

こっからは完全におまけ．リポジトリのスターをなんかステータスっぽく表示するようにしたい．

リポジトリ一覧は GitHub の個別ユーザーページをモバイル版でみたときの感じにすることにした：

必要なリポジトリの情報は名前とリンクと総スター数． GitHub API v3 は無駄な情報が多いので，GraphQL を使って一気に取得してみる． GraphQL のクエリの動作確認はココで行える：

最終的に出来上がったクエリはこんな感じ：

query {
  viewer {
    login
    name
    repositories(first: 100, orderBy: {field: STARGAZERS, direction: DESC}, ownerAffiliations: [OWNER], isFork: false) {
      nodes {
        name
        url
        stargazers { totalCount }
      }
    }
  }
}

クエリの viewer {..} は渡したトークンのユーザー情報を指す． viewer 内で login や name を指定することで，さっきまで v3 で取得していたユーザー情報も取得できる． repositories で一気に所得できるリポジトリ数は100件が上限（first:300 は怒られる）． orderBy:{..} でスターの多い順に並び替えて，ownerAffiliations:[OWNER] と isFork:false を指定することで自身のリポジトリだけを返してる．リポジトリのスター数は stargazers { totalCount } で取得できる．

あとはクエリを叩くだけ． Elm の GraphQL パッケージに良さげのものがなかったのでそのまま elm/http を使うことにした：

module GitHub exposing (..)

type alias User =
    { login : String
    , name : String
    , repos : List Repository
    }

type alias Repository =
    { name : String
    , url : String
    , star : Int
    }

userDecoder : Decoder User
userDecoder =
    D.map3 User
        (D.field "login" D.string)
        (D.field "name" D.string)
        (D.at [ "repositories", "nodes" ] (D.list repoDecoder))

repoDecoder : Decoder Repository
repoDecoder =
    D.map3 Repository
        (D.field "name" D.string)
        (D.field "url" D.string)
        (D.at [ "stargazers", "totalCount" ] D.int)

getUserInfo : (Result Http.Error User -> msg) -> Token -> Cmd msg
getUserInfo msg (Token t) =
    let
        query = ... -- さっきのクエリをヒアドキュメントとかで
        decoder = D.map identity (D.at [ "data", "viewer" ] userDecoder)
    in
    Http.request
        { method = "POST"
        , headers = [ Http.header "Authorization" ("token " ++ t) ]
        , url = "https://api.github.com/graphql"
        , body = Http.jsonBody (E.object [ ( "query", E.string query ) ])
        , expect = Http.expectJson msg decoder
        , timeout = Nothing
        , tracker = Nothing
        }

インターフェースは全く変えてないので Main でいじるのは view だけ：

module Main exposing (main)

...

viewUser : GitHub.User -> Html msg
viewUser user =
    let
        total = String.fromInt (List.sum (List.map .star user.repos))
    in
    div [ Attr.class "container-sm my-3" ]
        [ h3 [ Attr.class "my-2" ] [ text (user.login ++ "'s points: " ++ total) ]
        , viewRepositories user
        ]

viewRepositories : GitHub.User -> Html msg
viewRepositories user =
    let
        viewRepository repo =
            li [ Attr.class "Box-row mb-3" ]
                [ div [ Attr.class "float-left" ]
                    [ Octicons.repo Octicons.defaultOptions
                    , a [ Attr.href repo.url, Attr.class "ml-1" ]
                        [ text (user.login ++ "/" ++ repo.name) ]
                    ]
                , div [ Attr.class "float-right" ]
                    [ text (String.fromInt repo.star)
                    , Octicons.star Octicons.defaultOptions
                    ]
                ]
    in
    div [ Attr.class "Box" ]
        [ ul [] (List.map viewRepository user.repos) ]

Elm で円グラフ

なんかこう，リポジトリのプライマリ言語ごとに円グラフにしたら面白いなっていう欲がでてきたのでそうしてみることにした．まずはリポジトリのプライマリ言語を返すようにクエリをいじる：

query {
  viewer {
    ...
    repositories(...) {
      nodes {
        ...
        primaryLanguage {
          name
          color
        }
      }
    }
  }
}

データ構造も書き足す：

type alias Repository =
    { ... -- 割愛
    , language : Maybe Language
    }

type alias Language =
    { name : String
    , color : String
    }

repoDecoder : Decoder Repository
repoDecoder =
    D.map4 Repository
        ... -- 割愛
        (D.field "primaryLanguage" <| D.nullable languageDecoder)


languageDecoder : Decoder Language
languageDecoder =
    D.map2 Language
        (D.field "name" D.string)
        (D.field "color" D.string)

プライマリ言語の情報は null が返ってくる可能性があるので、Maybe でラップしている．

データは揃ったので，あとは円グラフを描くだけ．円グラフの描写には gampleman/elm-visualization を使うことにする． example 集にある「Custom Pie Chart」をベースにすることにした．コピペしてよしなに書き換える：

module Pie exposing (view)
-- import は割愛

type alias Data =
    { label : String -- 言語名
    , data : Float   -- 総スター数
    , color : Color  -- GitHub 側で設定されてる言語の色
    }

w : Float
w = 990

h : Float
h = 504

radius : Float
radius = min w h / 2

type alias ChartConfig =
    { outerRadius : Float
    , innerRadius : Float
    , padAngle : Float
    , cornerRadius : Float
    , labelPosition : Float
    }

drawChart : ChartConfig -> List Data -> Svg msg
drawChart config model =
    let
        pieData =
            List.map .data model
                |> Shape.pie
                    { defaultPieConfig
                        | innerRadius = config.innerRadius
                        , outerRadius = config.outerRadius
                        , padAngle = config.padAngle
                        , cornerRadius = config.cornerRadius
                        , sortingFn = \_ _ -> EQ
                    }

        makeSlice pieDatum datum =
            Path.element (Shape.arc pieDatum) [ Attr.fill (Paint datum.color) ]

        makeLabel pieDatum datum =
            let
                ( x, y ) =
                    Shape.centroid
                        { pieDatum
                            | innerRadius = config.labelPosition
                            , outerRadius = config.labelPosition
                        }
            in
            text_
                [ Attr.transform [ Translate x y ]
                , Attr.dy (em 0.35)
                , Attr.textAnchor AnchorMiddle
                ]
                [ text datum.label ]
    in
    svg [ width (radius * 2), height (radius * 2) ]
        [ g [ Attr.transform [ Translate radius radius ] ]
            [ g [] <| List.map2 makeSlice pieData model
            , g [] <| List.map2 makeLabel pieData model
            ]
        ]

主に書き換えたのは色の部分． example では colors 的な色リストを利用してたが，リポジトリのプログラミング言語には GitHub 側で色が設定してあるので，それをモデルに持たせて引用することにした．あとは Repository 型から Data 型を組み立てる部分を書くだけ：

module Pie exposing (view)

... -- 割愛

fromRepo : GitHub.Repository -> Data
fromRepo repo =
    case repo.language of
        Nothing ->
            Data "none" (toFloat repo.star) Color.black
        Just lang ->
            case hexToColor lang.color of
                Ok c ->
                    Data lang.name (toFloat repo.star) c
                _ ->
                    Data "none" (toFloat repo.star) Color.black

view : GitHub.User -> Html msg
view user =
    let
        config = ... -- 割愛

        updateBy d value =
            case value of
                Nothing ->
                    Just d

                Just v ->
                    Just { v | data = v.data + d.data }

        model =
            List.map fromRepo user.repos
                |> List.foldl (\d -> Dict.update d.label (updateBy d)) Dict.empty
                |> Dict.filter (\_ v -> v.data /= 0)
    in
    div [ class "position-relative" ]
        [ drawChart config (Dict.values model)
        ]

色々考えた結果，いったん各 Repository を Data に変換して，そのあと言語名をキーにした Dict へと畳み込んでいる（.data の部分だけ足し合わせてる）．あとは Pie.view user を Main.view で呼び出すだけ．

あ、ちなみに真ん中にアバター画像出したしてるのは割愛（ただ単にアバター画像を GraphQL で取ってきて，Pie.view で重ねてるだけ）．

おしまい

Firebase 便利ですね．

標準入力の一行の上限は4,096バイト

2020-02-08T14:12:33+09:00

標準入力の一行に大量の文字を食わせると、4,096バイトしか有効にならない。 $ perl -e 'print "x" x 5000, "\n" for 1 .. 2' | clip.exe $ perl -e 'print length <>, "\n" for 1 .. 3' xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx…

rustでdiscordのbotを作ってみたくて下調べ(3)

2020-02-05T23:19:13+09:00

前回からだいぶ時間が空いたが、下調べの続き。 discord-rs というのを最初に見つけて古いと嘆いていたのだが、現在使われているクレートは serenity の方だったようだ。これを検索で見つけるのは至難の業。 discord で検索すると、他の関係ないクレートがガンガン引っかかってしまうので（恐らく、いろいろなクレートでサポート用の discord チャネルがあるため）。 serenity は非常に重厚なクレートで、 discord.py に設計思想が近い。 #[command] マクロを使うことで、簡単に bot コマンドを作ることができる。これは framework feature …

GHC 環境構築概観と PowerShell

2020-01-27T09:06:24+09:00

Haskell の開発環境を構築する方法は何通りかあり、新しいツールが出ると「今はこれだ」とほめるブログも公開されますがそれが初学者を混乱させることがよくあります。本記事ではビルドツールのインストールにしぼり、開発支援、例えば ghc-mod・haskell-ide-engine・hhp には言及しません。いくつか典型的な構築方法を確認した後、新たに私が作成したツールを紹介しより初学者を混乱に落とし入れます。重鎮 Haskell Platform www.haskell.org Haskell 解説書史1の第1波から第3波までのデファクトスタンダードであった重鎮 Haskell Plat…

バイナリエディタを作りました！

2020-01-25T19:17:58+09:00

バイナリエディタを作りました。インストールはHomebrew brew install itchyny/tap/bed または以下のコマンドでできます。 go get github.com/itchyny/bed/cmd/bed なぜ作ったのか私は昔からファイルフォーマットに興味があり、画像ファイルやPDFファイルのフォーマットを調べるのが好きでした。最近も圧縮ファイルのフォーマットを趣味で調べたりしています。コンパイラ技術にも興味があり、ゆくゆくは実行ファイルを生成したりしたいなという思いもあります。バイナリファイルをエディットするにはバイナリエディタが必要となるわけですが、自分の…

[cygwin] cygwinセットアップ・環境構築手順メモ

2020-01-20T11:46:31.459+09:00

主に自分向けの防備録です。windows10上で確認。インストーラーはここからDLする。 <<設定>> ssh-agentの重複起動を防ぐユーザーのアカウント名、ホームディレクトリの変更 /etc/passwdを編集する（最新バージョンでは自動生成されない？） Cygwinを移動したら/etc/passwdの再生成を巨大ドメインに参加している PC での /etc/passwd, /etc/group ファイルのつくりかた ssh-agentのために秘密鍵セットアップ ~/.ssh/ ※group/otherの権限を削除する必要がある % chmod 700 ~/.ssh less, lv, manコマンド終了時に画面をクリアしない [linux][cygwin] less, manの終了直前の画面をクリアしないで端末上に残す方法

ファイルをエディターで一括リネームするツールをGo言語で作った！ ― 機能を増やさない信念と、OSSとの付き合い方

2020-01-10T10:00:09+09:00

ファイルを一括でリネームしたいことはありませんか。私はあります。ということで作りました。インストールはHomebrew brew install itchyny/tap/mmv または以下のコマンドでできます。 go get github.com/itchyny/mmv/cmd/mmv スクリーンショットではvimが起動していますが、 $EDITOR が設定されていればそれを使って編集することができます。エディターでファイル名を編集して一括でリネームするというのは、新しい発想ではありません。実際、多くのソフトウェア (特にファイラー) がこの機能を実装しています。 massren vim…

Haskell で SSH Public Key の FingerPrint を計算する

2020-01-08T00:00:00Z

GitHub に登録している Public Key から ~/.ssh/authorized_key を生成する簡易的な CLI ツールを作ろうと考えた．そして，Public Key をフィルタリングするために https://github.com/settings/keys で参照できる FingerPrint を使おうと考えたが，その場合は GitHub API で取得した Public Key から FingerPrint をプログラム側で計算しないといけない．

もちろん，ssh-keygen -l -E md5 -f ssh_host_ecdsa_key.pub なんかで生成できるのだが可能なら素の Haskell プログラムでやりたいなと考えた．ということで，本記事はタイトルの通り Haskell で SSH Public Key の FingerPrint を計算することになったので，そのために色々調べたメモ書き．

FingerPrint

そもそもどういうアルゴリズムで出しているのか．ちょうど良い記事があった，ありがたい:

RSA公開鍵のファイル形式とfingerprint - Qiita

要するに Base64 デコードして MD5 ハッシュをかければ良いようだ（本来は SHA256 の方が良いっぽいけど）．上記記事では Base64 デコードしてできた RFC4253 の中身まで説明してくれており，最後の Ruby プログラムではバイナリをちゃんと読んだ上で FingerPrint を計算している．

単純に RSA 形式の Public Key の FingerPrint を計算するだけならそこまでしなくて良さそうだ．

Haskell で計算する

上述の通りやることは2つ

Base64 デコード
MD5 ハッシュ化

あとその前に header と body を切り分ける．

ちなみに，最終的なコードは haskell-jp/playground においた．

header と body を切り分ける

RSA の Public Key は ssh-rsa AAAAXXX... となっている（X 以降は適当）．欲しいのは空白よりあとだけなので，まずはそこを切り出す（ついでにバリデーションする）．後々楽なので全部 ByteString を使うことにする:

import Data.ByteString (ByteString)
import qualified Data.ByteString as B

pubkeyBody :: ByteString -> Maybe ByteString
pubkeyBody content =
  case B.split 32 content of
    [header, body] | header == "ssh-rsa" && "AAAA" `B.isPrefixOf` body ->
        Just body
    _ ->
        Nothing

Word8 型の 32 は空白．

Base64 デコード

memory というパッケージを使う．なぜかというと，この後で使うあらゆる暗号アルゴリズムを詰め込んだ cryptonite というパッケージがこれに依存していたからだ． cryptonite に習って Base64 デコードするとこんな感じだ（ついでにバリデーションする）:

-- これが memory パッケージのモジュール
import Data.ByteArray.Encoding (Base (Base64), convertFromBase)

decode :: ByteString -> Maybe ByteString
decode body =
  case convertFromBase Base64 body of
    Right bin | prefix `B.isPrefixOf` bin ->
        Just bin
    _ ->
        Nothing
  where
    -- \x00 \x00 \x00 \x07 ssh-rsa (00000007 というのは ssh-rsa の長さ)
    prefix = "\NUL\NUL\NUL\assh-rsa"

MD5 ハッシュ化

上述の通り，cryptonite というのを用いる．ちなみにこれらのパッケージについては Cryptographic Hashing in Haskell - FPComplete で紹介されてる(邦訳記事)． 2017年と少し古い記事だが，このパッケージは今でも精力的にメンテナンスがされており，また個人ではなくチーム(Haskell Crypto)で管理している点から信頼できるかなと考えた（暗号系のパッケージは結構シビアだから）．

このパッケージで何らかのハッシュ関数を利用するには Crypto.Hash.hash 関数を利用すれば良い．アルゴリズム（MD5 か SHA256 かなど）は返り値の型を明示することで指定できる．今回の場合は Digest MD5 型とすれば良い:

import Crypto.Hash (Digest, MD5)
import qualified Crypto.Hash as Crypto

fingerprint :: ByteString -> Maybe (Digest MD5)
fingerprint content = do
  body <- pubkeyBody content
  bin  <- decode body
  pure $ Crypto.hash bin

試す

GHCi で適当に:

>> :set -XOverloadedString
>> import Crypto.SSH.PubKey      -- 今まで定義してた関数のモジュール
>> fingerprint "ssh-rsa AAAA..." -- 適当に public key の中身を貼り付ける
Just "f3b17672020e4e8ad25516034facc12d"

GitHub では8ビットごとに : で区切られてるが，まぁそれはいいでしょ．

おしまい

意外とこういう Crypto 系のテーマの Haskell コードの例って少ないよね．全部コード読んで試したよ．

rustでdiscordのbotを作ってみたくて下調べ(2)

2020-01-05T21:56:14+09:00

discord の bot を作るのなら websocket が必須なので下調べ。というか、調べなくても discord-rs が使っていた websocket がそのまま使えるはずと思っていたのだが、開発が sluggish なので tokio-tungstenite を勧めている。良い名前空間を使っているだけに悲しい。 tokio-tungstenite の方は、 async/await への対応がまだであり、鋭意作業中のようだ。近日中にリリースされそうな勢い。一方で、 crates.io で改めて検索すると、 ws なんてやつがいる。利用数は多いようだが、こいつは async/a…

rustでdiscordのbotを作ってみたくて下調べ

2020-01-04T22:54:31+09:00

結論から書くとまだ何もしてない。 discord-rs というのがあるのだけど、だいぶ古い。特に嫌なのが issue にも上がっている通り openssl 1.0 系への依存。昨年末にEOLを迎えているので避けておきたい。という事で手元でバージョンを上げようと試みたのだが、これがかなり厳しい。特に hyper 周りがバージョンが上がって大きくインタフェースが変わっており、変更量が多すぎて諦めた。ついでに edition も Rust 2018 にしようと試みたのだが、 try! の廃止があまりにもきつかったので断念。 cargo fix --edition を使えと書いてあったが、 tr…

2019 年のスライド一挙公開、あるいは 2020 年の方針

2020-01-01T08:54:55+09:00

あけましておめでとうございます。2019 年は大変お世話になりました。2020 年も張り切っていきましょう。さて、2019 年には結構な回数の外部発表を行いました。これらの発表内容のうち一部は単独のブログ記事としてまとめてありますが、機を逸してしまって記事化されていないものも相当数あります。そこで本記事では、2019 年中に行った発表を一覧としてまとめてみました。 2019 年の活動実績 2019 年の登壇は全部で 19 件でした。うち（先着や抽選ではなく）CFP に応募して採択されたものは 4 件です。チェシャ猫が普段活動している領域は、Twitter の Bio にも書いてある通り、大…

2019年を振り返って

2019-12-31T21:51:33+09:00

今年は仕事の部署異動があり気分一新したわけですが、思うようにパフォーマンスを出せず悩んでいたような気がします。前半もチームのために頑張っていた気がするんですがすべて忘れました。今日は実家でgoreのGo modules対応をやってました。いい加減modules対応していないのやばいよなと思って一所懸命packagesパッケージのコードを読んでいます。まだ確認しないといけないパターンは沢山ありそうですが、年始にはマージする予定です (と書いて追い込んでおく)。goreは本当に便利なのでmodulesごときで死なせたくないですね… 今年はgojqを作れたのは大きいですね。これは本当にいいプロダク…

2019年のまとめ

2019-12-30T23:11:13+09:00

今年を箇条書きでまとめておく。歳のせいか意識の高い話は何もなく、ああ、良くないなあとは思うのだが、まあそれとは別の話として、将来の自分用にメモを残して置くことはいいことだろう。高脂血症の薬を飲み始め、肉食を再開する禁酒、COMPは継続副業を打ち切られる息子が幼稚園に入る Rustを覚えて、書き始める Haskellを数行しか書かなかった大学生の家庭教師を始める rarejob を始めるが体調不良により断念 atcoder を始めるが体調不良により断念とにかくずっと風邪をひいている親と苫小牧でキャンプよく遊んだゲームディヴィニティオリジナル・シン２ Sekiro Disco E…

GitHub Enterprise から GitHub への移行ツールをGoで作りました！

2019-12-25T10:00:00+09:00

弊社ではGitHub Enterprise (以下GHE) からGitHubへの移行が進んでいます。今年頭のプラン改変やGitHub Connect、ActionsやAppsの充実などGitHubの機能強化が後押しとなりました。GHEのメンテナンスコストも徐々に重荷になってきていました。リポジトリを移行するにあたって問題となるのが、これまでの歴史をどこまで新リポジトリに移行するかということです。もちろんgitのログはそのまま移行できますが、以下のようなものも移行したいと言われると色々と考えることが出てきます。 issueやpull requestのコメントやレビュー、ラベルコードコメントか…

Elixir による JSON Parser

2019-12-22T00:00:00Z

「久しぶりに thank_you_stars をビルドする」の続きというかおまけというかって感じの記事です．この記事の最後で poison を抜いてお手製 JSON パーサーを組み込みました．綺麗に整えたので記事にまとめる．

実装する

外部パッケージを使えない縛りなので，完全な Pure Elixir で実装していく．

Result 型

その前に便利モジュールを作っておく．いわゆる Either 型だ．

# Result e a = {:error, e} | {:ok, a} のような型を扱う
defmodule ThankYouStars.Result do
  # {:ok, a}, {:error, e} をそのまま返す
  def success(v), do: {:ok, v}
  def failure(v), do: {:error, v}

  # {:ok, a} だった場合に {:ok, f(a)} を返す (f は a -> b)
  def map({:ok, v}, f), do: success(f.(v))
  def map(err = {:error, _}, _), do: err

  # {:ok, a} だった場合に f(a) を返す (f は a -> Result e b)
  def and_then({:ok, v}, f), do: f.(v)
  def and_then(err = {:error, _}, _), do: err

  # {:error, e} だった場合に {:error, f(e)} を返す (f は e -> b)
  def map_error({:error, e}, f), do: failure(f.(e))
  def map_error(r = {:ok, _}, _), do: r
end

これを作っておくと {:ok, a} | {:error, e} なデータ型をパイプラインと組み合わせて利用できるようになる(実はプリミティブあったりしないよね？)．

状態のデータ構造

シンプルにパース結果と残りの文字列を保存する連想配列を持ち回ることにする:

defmodule ThankYouStars.JSON do
  alias ThankYouStars.Result, as: Result

  def decode(str) do
    init_stat(str)
    |> match_element() # これがパーサー
    |> case do
      # パースが成功した場合 {:ok} かつ残り文字列が空になる想定
      {:ok, %{rest: "", result: result}} -> Result.success(result)
      {_, %{rest: rest}} -> Result.failure(rest)
    end
  end

  # rest が残り文字列で result がパース結果
  defp init_stat(str), do: %{rest: str, result: %{}}

  ...
end

今回実装する JSON パーサーは最終的に Elixir の連想配列や配列，真偽値や文字列などのプリミティブなデータ型へ変換することとする．なので，初期値として空の連想配列 %{} を渡している．

JSON.org

JSON の(基本的な)構文定義は JSON.org に書いてある．ご丁寧に BNF が書いてあるので，これに沿って実装するだけだ．例えば，こんな感じの BNF が記述されている:

json
  := element

element
  := ws value ws

value
  := object
   | array
   | string
   | number
   | "true"
   | "false"
   | "null"

ws
  := ... // 空白除去

これをパターンマッチを駆使して実装するとこんな感じ:

defp match_element(stat) do
  trim_leading(stat) # rest の前方の空白を除去します
  |> match_value()
  |> Result.map(&trim_leading(&1))
end

# match_string や match_array はあとで
defp match_value(%{rest: "true" <> rest}), do: Result.success(%{result: true, rest: rest})
defp match_value(%{rest: "false" <> rest}), do: Result.success(%{result: false, rest: rest})
defp match_value(%{rest: "null" <> rest}), do: Result.success(%{result: nil, rest: rest})
defp match_value(stat = %{rest: "\"" <> _}), do: match_string(stat)
defp match_value(stat = %{rest: "[" <> _}), do: match_array(stat)
defp match_value(stat = %{rest: "{" <> _}), do: match_object(stat)
defp match_value(stat), do: match_number(stat)

match_xxx 系の関数は全て前述した Result e a 型を返すイメージ(e も a も前述した状態の連想配列だが)．

オブジェクトのパース

{} で囲まれた連想配列のようなもの，例えば { "key" : true } がオブジェクトだ:

object
  := '{' ws '}'
   | '{' members '}'

members
  := member
   | member ',' members

member
  := ws string ws ':' element

string
  := ... // 文字列

文字列の部分はあとで実装するとして，他の部分だけをパターンマッチとパイプを利用して実装するとこんな感じ:

# parse_when_unmatch_by(stat, char, parser) は
# char の文字列にマッチしなければ parser を実行し
# マッチした場合は parser を実行せずに stat をそのまま返す
defp match_object(stat) do
  match_left_par(stat)                               # `{` にマッチ
  |> Result.map(&trim_leading(&1))                   # 空白除去
  |> Result.and_then(&update_stat(&1, :result, %{})) # 状態の result を空オブジェクト %{} に更新
  |> Result.and_then(&parse_when_unmatch_by(&1, "}", fn s -> match_members(s) end))
  |> Result.and_then(&match_right_par(&1))           # `}` にマッチ
end

defp match_members(stat) do
  match_member(stat)
  |> Result.and_then(&match_members_tail(&1))
end

# match_members_tail は members の再帰処理をする
# 先頭が `,` にマッチした時には再帰処理を行い
# マッチしない場合は stat をそのまま返す
defp match_members_tail(stat = %{rest: "," <> rest}) do
  update_stat(stat, :rest, rest)
  |> Result.and_then(&match_members(&1))
end
defp match_members_tail(stat), do: Result.success(stat)

defp match_member(stat = %{result: prev}) do
  # 空白を除去してから文字列にマッチさせてみる
  case match_string(trim_leading(stat)) do
    {:error, stat} ->
      Result.failure(stat)

    # string のパースに成功した場合にのみ，そのパース結果を `key` として残りをパースする
    {:ok, stat = %{result: key}} ->
      trim_leading(stat)
      |> match_colon() # ':' にマッチ
      |> Result.and_then(&match_element(&1)) #match_element は前のと同じ
      |> Result.and_then(&modify_stat(&1, :result, fn v -> Map.put(prev, key, v) end))
  end
end

update_stat(stat, key, value) は stat の key を value で置き換える関数で，modify_stat(stat, key, func) は stat の key を func で更新する関数だ．

余談だが，Elixir は(僕が思うに)普通の関数それ自体は第一級では無いが，無名関数 fn args -> ... end は第一級のようだ． &any_function(&1, &2) などとすることで fn arg1 arg2 -> any_function(arg1, arg2) end の糖衣構文になるっぽく，関数を関数の引数に渡す場合はこうするらしい．ただし，この記法は入れ子にできないので，modify_stat や parse_when_unmatch_by では内部の方の関数を fn args -> ... end で直接囲っている(参照)．

配列のパース

array
  := '[' ws ']'
   | '[' elements ']'

elements
  := element
   | element ',' elements

実は {} が [] になっただけで，だいたいオブジェクトと同じだ:

defp match_array(stat) do
  match_left_square(stat)                           # '[' にマッチ
  |> Result.map(&trim_leading(&1))                  # 空白除去
  |> Result.and_then(&update_stat(&1, :result, [])) # 状態の result を空配列 [] に更新
  |> Result.and_then(&parse_when_unmatch_by(&1, "]", fn s -> match_elements(s) end))
  |> Result.and_then(&match_right_square(&1))       # ']' にマッチ
end

defp match_elements(stat = %{result: prev}) do
  match_element(stat)
  # ここで状態(配列)の更新をしてる点だけが違う
  |> Result.and_then(&modify_stat(&1, :result, fn v -> prev ++ [v] end))
  |> Result.and_then(&match_elements_tail(&1))
end

defp match_elements_tail(stat = %{rest: "," <> rest}) do
  update_stat(stat, :rest, rest)
  |> Result.and_then(&match_elements(&1))
end
defp match_elements_tail(stat), do: Result.success(stat)

文字列のパース

さぁこっからが大変．文字列内でのエスケープをそれっぽく処理する必要がある:

defp match_string(stat) do
  match_double_quote(stat)                          # '"' にマッチ
  |> Result.and_then(&update_stat(&1, :result, "")) # 状態の result を空文字列 "" に更新
  |> Result.and_then(&match_characters(&1))
  |> Result.and_then(&match_double_quote(&1))       # '"' にマッチ
end

# どう見ても成功じゃ無いがどーせ後々エラーになるので...
defp match_characters(stat = %{rest: ""}), do: Result.success(stat)

# '"' にマッチしたら終わり
defp match_characters(stat = %{rest: "\"" <> _}), do: Result.success(stat)
defp match_characters(stat) do
  # "\" はエスケープ文字として処理する必要があるのでまずはそれ以外
  parse_when_unmatch_by(stat, "\\", &match_noescape_characters(&1))
  |> Result.and_then(&match_escape(&1))     # 次にエスケープ文字の処理
  |> Result.and_then(&match_characters(&1)) # 再帰する
end

関数名の通り，match_noescape_characters がエスケープ文字以外のパーサーで，match_escape がエスケープ文字のパーサーだ． match_noescape_characters ではまず \ や " を含まない文字列をマッチさせたい．しかし，パターンマッチは exclude なマッチはできないので，あんまり良く無いが正規表現でサボることにする:

# エスケープされてない文字はダメっぽい
defp match_noescape_characters(stat = %{rest: "\n" <> _}), do: Result.failure(stat)
defp match_noescape_characters(stat = %{rest: "\t" <> _}), do: Result.failure(stat)
defp match_noescape_characters(stat = %{rest: "\u0000" <> _}), do: Result.failure(stat)

defp match_noescape_characters(stat = %{result: prev}) do
  # 名前付きキャプチャ，便利
  %{"body" => body, "rest" => rest} =
    Regex.named_captures(~r/(?<body>[^\\\"\n\x00\t]*)(?<rest>.*)/s, stat[:rest])

  update_stat(%{result: prev <> body}, :rest, rest)
end

エスケープ文字は，もうパターンマッチで頑張る:

defp match_escape(%{rest: "\\\"" <> rest, result: prev}),
  do: update_stat(%{result: prev <> "\""}, :rest, rest)

defp match_escape(%{rest: "\\\\" <> rest, result: prev}),
  do: update_stat(%{result: prev <> "\\"}, :rest, rest)

defp match_escape(%{rest: "\\\/" <> rest, result: prev}),
  do: update_stat(%{result: prev <> "\/"}, :rest, rest)

defp match_escape(%{rest: "\\b" <> rest, result: prev}),
  do: update_stat(%{result: prev <> "\b"}, :rest, rest)

defp match_escape(%{rest: "\\f" <> rest, result: prev}),
  do: update_stat(%{result: prev <> "\f"}, :rest, rest)

defp match_escape(%{rest: "\\n" <> rest, result: prev}),
  do: update_stat(%{result: prev <> "\n"}, :rest, rest)

defp match_escape(%{rest: "\\r" <> rest, result: prev}),
  do: update_stat(%{result: prev <> "\r"}, :rest, rest)

defp match_escape(%{rest: "\\t" <> rest, result: prev}),
  do: update_stat(%{result: prev <> "\t"}, :rest, rest)

# \u1234 とかいうやつ
defp match_escape(stat = %{rest: "\\u" <> rest, result: prev}) do
  # /.{n,m}/ で n 個以上 m 個以下にマッチする
  case Regex.named_captures(~r/(?<body>[\dA-Fa-f]{4,4})(?<rest>.*)/s, rest) do
    %{"body" => body, "rest" => rest} ->
      # 4桁の16進数をエスケープされた文字列として変換する
      # 変換できなかった場合は nil が返ってくる
      case hex_to_string(body) do
        nil -> Result.failure(stat)
        hex -> update_stat(%{result: prev <> hex}, :rest, rest)
      end

    _ ->
      Result.failure(stat)
  end
end

defp hex_to_string(str) do
  try do
    # 文字列を16進数として int 型に変換
    {hex, _} = Integer.parse(str, 16)
    <<hex::utf8>> # こういう記法で int を16進数でエスケープされた文字列に変換できる
  rescue
    _ -> nil
  end
end

まぁ正直，色々と雑で漏れてるケースもきっとあるのだが，そんな変な JSON をパースしたいわけでは無いのでこれでいいかな．

数値のパース

数値は，マイナス符号・整数・浮動小数点数・e記法を網羅する必要がある．これも，めんどくさいので正規表現に頼っちゃう:

defp match_number(stat) do
  {value, rest} = compile_number(stat[:rest])

  # 文字列から数値を取得できなかった場合は nil が返ってくる
  case value do
    nil ->
      Result.failure(stat)

    _ ->
      Map.put(stat, :result, value)
      |> Map.put(:rest, rest)
      |> Result.success()
  end
end

def compile_number(str) do
  # 名前付きキャプチャ，超便利
  # minus は `-`，digit は整数部，frac は小数点以下，exp は `e`記法 (`10e-2`とか)
  %{"minus" => minus, "digit" => digit, "frac" => frac, "exp" => exp, "rest" => rest} =
    Regex.named_captures(
      ~r/(?<minus>-?)(?<digit>[[:digit:]]*)(?<frac>\.?[[:digit:]]*)(?<exp>[eE]?[-+]?[[:digit:]]*)(?<rest>.*)/s,
      str
    )

  value =
    case {digit, frac, exp} do
      {"", _, _} ->
        nil # 整数部が無い場合はダメ

      {"0" <> num, "", ""} when num != "" ->
        nil # 0 から始まる整数もダメ(小数はOK)

      {_, "." <> num, _} when num == "" ->
        nil # 小数点だけはダメ

      {_, _, "e" <> num} when num == "" ->
        nil # e だけはダメ

      {_, _, "E" <> num} when num == "" ->
        nil # E だけはダメ

      {_, "", ""} -> # これは整数の場合
        case Integer.parse(minus <> digit) do
          {num, ""} -> num
          _ -> nil
        end

      _ -> # これは浮動小数点数の場合
        case Float.parse(minus <> digit <> frac <> exp) do
          {num, ""} -> num
          _ -> nil
        end
    end

  {value, rest}
end

これでとりあえず完成．

テストする

JSON のテストスイートとして nst/JSONTestSuite と言うのがあるので使わせてもらう．こんな感じに配置する:

\
|- lib // elixir のコード置き場
|- test
|  |- fixture
|  |  \- test_parsing // JSONTestSuite のテスト用 JSON ファイル群
|  \- json_spec.exs
\- mix.exs

テストには espec を使ってこんな感じに記述した:

# json_spec.exs
defmodule JSONSuite do
  def test_suite do
    [
      # エラーケース
      {"n_array_1_true_without_comma.json", {:error, nil}},
      {"n_array_a_invalid_utf8.json", {:error, nil}},
      ...
      # 成功ケース
      {"y_array_arraysWithSpaces.json", {:ok, [[]]}},
      {"y_array_empty-string.json", {:ok, [""]}},
      ...
    ]
  end
end

# JSONSuite を先に宣言しないと使えなかった
defmodule JSONSpec do
  use ESpec
  alias ThankYouStars.JSON, as: JSON
  alias ThankYouStars.Result, as: Result

  describe "JSON.decode" do
    Enum.map(JSONSuite.test_suite(), fn {path, result} ->
      context path do
        # 変数を利用するには unquote する必要がある(マクロのせい？)
        let(:json, do: File.read!("test/fixture/test_parsing/#{unquote(path)}"))
        it(
          do:
            Result.map_error(JSON.decode(json()), fn _ -> nil end)
            |> to(eq(unquote(Macro.escape(result))))
        )
      end
    end)
  end
end

unquote やらモジュールの順序周りやら結構苦労した．なお，いくつかテストの通らない JSONTestSuite のケースがあるので，そう言うのはとりあえずコメントアウトしてる．

おしまい

意外と綺麗にかけて満足．なお，パフォーマンスは無視してる笑．

OpenShift.run 2019 で Kubernetes のスケジューリングについて話してきました

2019-12-21T21:24:23+09:00

先日行われた OpenShift コミュニティのイベント OpenShift.run 2019 にて、Kubernetes Scheduler とその関連ツールについて講演してきました。公募 CFP 枠です。 OpenShift のイベントでありながら、OpenShift についてはまったく触れずひたすら Kubernetes の内部実装を解説する異色の登壇でした。実際、40 分枠の講演の中で（RedHat 社以外も含め）ベンダニュートラルな立場で登壇したのは自分だけだったようです。これは私見ですが、逆に言えばそういう内容でも CFP 採択されているというのは、運営側も「単なるマーケティングイ…

plain-old jarで JUnit5 を試す

2019-12-19T13:51:25+09:00

https://junit.org/junit5/docs/current/user-guide/#running-tests-console-launcher に書いてあるんだけど、分かりにく過ぎたので。 $ curl -O https://repo1.maven.org/maven2/org/junit/platform/junit-platform-console-standalone/1.5.2/junit-platform-console-standalone-1.5.2.jar $ cat SampleTest.java import static org.junit.jupite…

Elm で作る TaPL のラムダ計算（その３）

2019-12-10T00:00:00Z

本記事は「IGGG Advent Calendar 2019」の10日目の記事です．

表題の通り，TaPL という書籍で紹介されているプログラミング言語の実装例を Elm でやってみたという話です（その３）．その１とその２はこちら．

第4章算術式のML実装
第7章ラムダ計算の ML 実装
第10章単純型のML実装 (本記事はココ)
- 7章のを型付きラムダ計算にする
第17章部分型付けの ML 実装
第25章 System F の ML 実装
- 最後に型の多相性を追加

実装は全て下記のリポジトリにあげています:

matsubara0507/ELaMbda - GitHub

また，今まで同様にWeb ブラウザから遊べるようになってます．

第10章単純型の ML 実装

さて，いよいよみんな大好き「型」の登場だ． 10章は少し面白くて，4章で実装した算術式の真偽値に関する部分と7章の型なしラムダ計算を組み合わせて，更にそれに型をのせるプログラミング言語を実装する．つまり，今までの実装をちゃんとやっていれば割とサクッとできています．

なお，同期各位は全然やらなかったせいか10章を5週ぐらいやっている笑．

構文規則

t := x       [変数]
   | \x:T.t  [ラムダ抽象]
   | t t     [関数適用]
   | true
   | false
   | if t then t else t

v := \x:T.t
   | true
   | false

T := Bool    [真偽値型]
   | T -> T  [関数型]

ラムダ抽象には型注釈(:T の部分)がある．なんで付けるのかとかは9章に書いてあるのでぜひ TaPL を買って読んでください(おい)．これを Elm の型として実装する:

type Term
    = TmVar Int Int
    | TmAbs String Ty Term
    | TmApp Term Term
    | TmTrue
    | TmFalse
    | TmIf Term Term Term

type Ty
    = TyArr Ty Ty -- Arrow の Arr ね
    | TyBool

isval : Context -> Term -> Bool
isval _ t =
    case t of
        TmAbs _ _ _ ->
            True

        TmTrue ->
            True

        TmFalse ->
            True

        _ ->
            False

type alias Context = List ( String, Binding )
type Binding = NameBind

型の型 Ty 以外は，4章と7章の Term や isval を合体させているだけだ．

評価規則

// 7章の評価規則
 t1 => t1'
---------------
 t1 t2 => t1' t2

 t2 => t2'
---------------
 v1 t2 => v1 t2'

 (\x:T.t12) v2 -> [x|-> v2]t12

// 4章の評価規則
 if true then t2 else t3 => t2

 if false then t2 else t3 => t3

 t1 -> t1'
-------------------------------------------------
 if t1 then t2 else t3 => if t1' then t2 else t3

評価規則も同様に型注釈の構文が追加されただけでほとんど変わらない．変わらないということはすなわち，実行時(評価)には型の有無は影響しないということだ．構文規則同様，4章と7章の実装を組み合わせることで実装が終わる:

eval : Context -> Term -> Maybe Term
eval ctx t =
    if isval ctx t then
        Just t
    else
        Maybe.andThen (eval ctx) (eval1 ctx t)

-- あらゆる TmAbs のパターンマッチに Ty のパラメーターを追加する必要はある
eval1 : Context -> Term -> Maybe Term
eval1 ctx t =
    case t of
        TmApp (TmAbs x ty t12) t2 ->
            if isval ctx t2 then
                Just (termSubstTop t2 t12)
            else
                Maybe.map (TmApp (TmAbs x ty t12)) (eval1 ctx t2)

        TmApp t1 t2 ->
            Maybe.map (flip TmApp t2) (eval1 ctx t1)

        TmIf TmTrue t2 _ ->
            Just t2

        TmIf TmFalse _ t3 ->
            Just t3

        TmIf t1 t2 t3 ->
            eval1 ctx t1 |> Maybe.map (\t1_ -> TmIf t1_ t2 t3)

        _ ->
            Nothing

-- t に s を代入する
termSubstTop : Term -> Term -> Term
termSubstTop s t = ...

型付け規則

ここからが新しい．いわゆる型検査のことだ． TaPL では「正しく型付けされた項はおかしくならない」という性質(安全性・健全性ともいう)について議論されている(8章で)．例えば，これから定義する型検査が通った項(Term)は eval 関数を適用しても無限ループなどにはならない．さて，そのための型付け規則は次のようになっている:

// 真偽値の型付け規則
 true : Bool

 false : Bool

 t1 : Bool    t2 : T    t3 : T
-------------------------------
 if t1 then t2 else t3 : T

// 単純ラムダ計算の型付け規則
 x : T ∈ Γ
-----------
 Γ ⊢ x : T

 Γ, x : T1 ⊢ t2 : T2
-----------------------------
 Γ ⊢ \x : T1 . t2 : T1 -> T2

 Γ ⊢ t1 : T11 -> T12    Γ ⊢ t2 : T11
-------------------------------------
 Γ ⊢ t1 t2 : T12

ここで新しく出てくる Γ は型環境と言い，変数と型の対応関係を線形リストのような感じに保持している． Γ ⊢ t : T というのは「型環境 Γ のもと項 t は型 T に型付け可能」という風に読める(たぶん)．まぁ実装してみればわかる(ほんとか？):

-- 型環境には Context を再利用する
type alias Context = List ( String, Binding )
type Binding
    = NameBind
    | VarBind Ty -- 変数の型を保持

-- 項 t の型が最終的に導出できれば型付け可能ということになる
typeof : Context -> Term -> Maybe Ty
typeof ctx t =
    case t of
        TmVar x _ ->
            -- Context から型情報を引っ張ってくる
            getTypeFromContext ctx x

        TmAbs x ty1 t2 ->
            let
                -- Context に 変数と型の対応を追加する
                ctx1 = addbinding ctx x (VarBind ty1)
            in
            -- ラムダ抽象は中の項 t2 が型付け可能である必要がある
            typeof ctx1 t2
                |> Maybe.map (\ty2 -> TyArr ty1 ty2)

        TmApp t1 t2 ->
            case ( typeof ctx t1, typeof ctx t2 ) of
                ( Just (TyArr ty11 ty12), Just ty2 ) ->
                    -- 関数適用の場合は引数の型 ty11 と適用する項の型 ty2 が同じである必要がある
                    if ty11 == ty2 then
                        Just ty12
                    else
                        Nothing
                _ ->
                    Nothing

        TmTrue ->
            Just TyBool

        TmFalse ->
            Just TyBool

        TmIf t1 t2 t3 ->
            case ( typeof ctx t1, typeof ctx t2, typeof ctx t3 ) of
                ( Just TyBool, Just ty2, Just ty3 ) ->
                    -- if-then-else の場合は t2 と t3 の型が同じである必要がある
                    if ty2 == ty3 then
                        Just ty2
                    else
                        Nothing
                _ ->
                    Nothing

getTypeFromContext : Context -> Int -> Maybe Ty
getTypeFromContext ctx idx =
    case getbinding ctx idx of
        Just (VarBind ty) ->
            Just ty

        _ ->
            Nothing

getbinding : Context -> Int -> Maybe Binding
getbinding ctx n =
    case ( ctx, n ) of
        ( [], _ ) ->
            Nothing

        ( ( _, bind ) :: _, 0 ) ->
            Just bind

        ( _ :: next, _ ) ->
            getbinding next (n - 1)

addbinding : Context -> String -> Binding -> Context
addbinding ctx x bind =
    ( x, bind ) :: ctx

REPL で試してみる:

> import TaPL.Chap10 as Chap10 exposing (Term(..), Ty(..), Binding(..))
-- (\x : (Bool -> Bool) . (\f : (Bool -> Bool -> Bool) . f x)) (\x : Bool . x)
> Chap10.typeof [] (TmApp (TmAbs "x" (TyArr TyBool TyBool) (TmAbs "f" (TyArr (TyArr TyBool TyBool) TyBool) (TmApp (TmVar 0 2) (TmVar 1 2)))) (TmAbs "x" TyBool (TmVar 0 1)))
Just (TyArr (TyArr (TyArr TyBool TyBool) TyBool) TyBool)
    : Maybe Ty
-- (\x . x x) (\x . x x) はうまく型付けできない
> Chap10.typeof [] (TmApp (TmAbs "x" (TyArr TyBool TyBool) (TmApp (TmVar 0 1) (TmVar 0 1))) (TmAbs "x" (TyArr TyBool TyBool) (TmApp (TmVar 0 1) (TmVar 0 1))))
Nothing : Maybe Ty

文字列に変換

基本的に4・7章の定義を利用すれば良いのだが，型注釈ができるようになったので型も変換できるようにする:

display : Term -> String
display t =
    printtm [] t
        |> Maybe.map (dropIfStartsWith "(") -- 最初と最後のカッコを消している
        |> Maybe.map (dropIfEndsWith ")")
        |> Maybe.withDefault ""

printtm : Context -> Term -> Maybe String
printtm ctx t =
    case t of
        TmAbs x ty t1 ->
            let -- 重複しない変数名を生成して Context に積む
                ( ctx1, x1 ) = pickfreshname ctx x
            in
            Maybe.map
                (\s1 -> String.concat [ "(\\", x1, " : ", printty ty, ". ", s1, ")" ])
                (printtm ctx1 t1)
        ... -- あとは同じ

printty : Ty -> String
printty ty =
    case ty of
        TyArr ty1 ty2 ->
            String.concat [ "(", printty ty1, " -> ", printty ty2, ")" ]

        TyBool ->
            "Bool"

-- Context から重複する変数名を探し ' を追加する
pickfreshname : Context -> String -> ( Context, String )
pickfreshname ctx x = ...

REPL で試す:

> Chap10.display (TmApp (TmAbs "x" (TyArr TyBool TyBool) (TmAbs "f" (TyArr (TyArr TyBool TyBool) TyBool) (TmApp (TmVar 0 2) (TmVar 1 2)))) (TmAbs "x" TyBool (TmVar 0 1)))
"(\\x : (Bool -> Bool). (\\f : ((Bool -> Bool) -> Bool). (f x))) (\\x : Bool. x)"
    : String

パーサー

これも同様に4・7章の実装を合わせるだけ:

module TaPL.Chap10.Parser exposing (parse)

import Parser exposing ((|.), (|=), Parser)
import TaPL.Chap10 exposing (Term(..), Ty(..))

type alias Context =
    { env : Dict String Int
    , depth : Int
    }

iniCtx : Context
iniCtx =
    { env = Dict.empty, depth = 0 }

parse : String -> Result (List Parser.DeadEnd) Term
parse =
    Parser.run parser

parser : Parser Term
parser =
    termParser iniCtx |. Parser.end

termParser : Context -> Parser Term
termParser ctx =
    Parser.oneOf
        [ parParser ctx -- 括弧のパーサー
        , absParser ctx -- ラムダ抽象のパーサー
        , valParser     -- ture/false のパーサー
        , ifParser ctx  -- if-then-else のパーサー
        , varParser ctx -- 変数のパーサー
        ] -- 関数適用のパーサーだけ分けてるのは左再帰対策(その２参照)
        |> Parser.andThen (appParser ctx)

言わずもがな，型注釈のパースをする必要があるので，absParser はその２のと若干異なる:

absParser : Context -> Parser Term
absParser ctx =
    Parser.succeed Tuple.pair
        |. Parser.symbol "\\"
        |. Parser.spaces
        |= Parser.lazy (\_ -> varStrParser)
        |. Parser.spaces
        |. Parser.symbol ":"            -- ここから
        |. Parser.spaces
        |= Parser.lazy (\_ -> tyParser) -- ここまでが追加
        |. Parser.spaces
        |. Parser.symbol "."
        |. Parser.spaces
        |> Parser.andThen (absParserN ctx)

-- 型のパーサー
tyParser : Parser Ty
tyParser =
    Parser.oneOf
        [ value "Bool" TyBool
        ]
        |. Parser.spaces
        -- これも左再帰対策(その２参照)
        |> Parser.andThen tyArrParser

-- 関数型のパーサー
-- 関数型 T->T は右結合(T->T->T は T->(T->T) となる)
tyArrParser : Ty -> Parser Ty
tyArrParser ty =
    Parser.oneOf
        [ Parser.succeed (TyArr ty)
            |. Parser.keyword "->"
            |. Parser.spaces
            |= Parser.lazy (\_ -> tyParser)
        , Parser.succeed ty
        ]

REPL で試してみる:

>  "(\\x : Bool . if x then x else (\\f : Bool -> Bool -> Bool . f x x) (\\x : Bool . \\y : Bool . y)) (if true then false else true)"
|   |> Parser.parse
|   |> Result.toMaybe
|   |> Maybe.andThen (\t -> Chap10.typeof [] t |> Maybe.map (always t)) -- 型検査
|   |> Maybe.andThen (Chap10.eval [])
|   |> Maybe.map Chap10.display
|   
Just "false" : Maybe String

完璧だ．

おまけ: SPA

前回整理したので基本的に足していくだけだ．ただし，型検査を Calculus に加える必要がある:

module TaPL.Calculus exposing (..)

type alias Calculus ctx t ty =
    { parse : String -> Result (List Parser.DeadEnd) t
    , typeof : Maybe (ctx -> t -> Maybe ty) -- 追加
    , eval1 : ctx -> t -> Maybe t
    , display : t -> String
    , init : ctx
    , logs : List t
    }

eval1 : Calculus ctx t ty -> Maybe (Calculus ctx t ty)
typecheck : Calculus ctx t ty -> Bool
parse : String -> Calculus ctx t ty -> Result (List Parser.DeadEnd) (Calculus ctx t ty)
display : Calculus ctx t ty -> List String

あとは chap10 の定義も追加するだけ:

module TaPL exposing (..)

type Chapter
    = Chap0
    | Chap4 (Calculus () Chap4.Term Never)
    | Chap7 (Calculus Chap7.Context Chap7.Term Never)
    | Chap10 (Calculus Chap10.Context Chap10.Term Chap10.Ty)

init : String -> Chapter
init s =
    case s of
        "chap4" -> ...

        "chap7" -> ...

        -- 追加
        "chap10" ->
            Chap10
                { eval1 = Chap10.eval1
                , display = Chap10.display
                , parse = Chap10.parse
                , init = []
                , logs = []
                , syntax = Chap10.syntax
                , typeof = Just Chap10.typeof
                }

        _ ->
            Chap0

parse : Chapter -> String -> Result (List Parser.DeadEnd) Chapter
eval1 : Chapter -> Maybe Chapter
typecheck : Chapter -> Bool
display : Chapter -> List String

あとはこれらを Main でいい感じに呼び出すだけ．

おしまい

次回はいつになることやら．

postgresql-pure を開発しました

2019-12-06T00:03:21+09:00

この記事は Haskell Advent Calendar 2019 の6日目の記事です。 hackage.haskell.org postgresql-pure は Haskell の PostgreSQL ドライバー（クライアントライブラリー）で次のような目標で開発しました。マルチコア環境でのパフォーマンス向上暗黙のロックを回避するマルチプラットフォーム対応 C ライブラリーの libpq への依存をなくして特に Windows でのビルドを容易にする既存ライブラリーとしては postgres-wire が高速だがそれは Windows をサポートしていない pure Haskel…

最強にして最速のビルダー、mason

2019-12-05T19:33:25+09:00

Haskell Advent Calendar 2019 5日目この冬、神速のサンタクロースがやってくる—— Haskellにおいて、バイト列の表現はByteStringが定番である。ByteStringはPinned領域に直接格納され、空間効率はリストに比べればはるかに良い。しかし、Pinned領域にあるとヒープフラグメンテーションが起こりやすくなるということでもあり、細かい文字列をつなぎ合わせるような使い方はパフォーマンスに悪影響が及ぶ。そのような問題を避けるため、ビルダーと呼ばれる構造が用意されている。 Data.ByteString.Builderは、word8 42 <> byte…

状態機械を合成してデッドロックを検出できる Go 言語パッケージを作ってみました

2019-11-30T21:59:50+09:00

はじめにマルチスレッドで動作するプログラムの設計は難しい問題です。個々のスレッドの動作は単純に見えても、複数が並行して動作する場合の動作は組み合わせ論的に複雑になります。また、タイミングに依存する不具合は狙って再現することが難しく、通常の単体テストによる検出にも限界があります。そんなとき、有効な手法がモデル検査です。システムの取りうる状態をあらかじめ網羅的に探索することで、「実際に動作させた際にごく低い確率で踏むバグ」であっても、動作させることなく設計段階で発見することが可能になります。ところでちょうど先日、デッドロック発見器を自作するハンズオンに参加する機会がありました。内容は非常にシ…

今日は吉祥寺.pm20 の日です

2019-11-22T21:51:07+09:00

弊社での開催でしたので、自分用のメモを残しておきます。本当は難しいPSL / hiratara 自分のセッションでした。 speakerdeck.com Windowsデスクトップでweb開発 / setoazusaさん Windowsで開発している人は少ない TypeScriptやJavaScriptならなんとかなる？ネイティブコード、symlink、permission、ビルドスクリプトでのUNIXコマンド大型アップデートの繰り返し。Win7とは違う VSCode のリモート WSL のデモ wsl.exe を起動 Dancer(Perl)でのデモサーバを起動 VSCode から編…

FFI で Haskell から Rust を利用する

2019-11-22T13:28:53+09:00

Rust で作ったライブラリーを静的リンクして Haskell（GHC）から使う例と説明を書いた。 github.com

最近の自分の Haskell 開発環境（Windows）

2019-11-21T09:09:44+09:00

id:syocy のブログを見たので Windows で自分がどうしているかをメモしておく。 syocy.hatenablog.com Stack 最近は ghcup があるがシェルスクリプト製で自分は PowerShell ユーザーなので stack を使っている。（ghcup はなんで Haskell 製じゃないんだ1？） GHC 8.8 を使うには resolver は ghc-8.8 や nightly を指定する。まだ LTS にはなっていない。エディターエディターは Spacemacs を使っている。前は IntelliJ IDEA に HaskForce プラグインを入れて使…

今日は安全なシステムプログラミング言語Rustへの招待の日です

2019-11-19T19:11:21+09:00

IIJさんでのセミナーを聴講に来ましたので、自分用のメモを残しておきます。安全なシステムプログラミング言語Rustへの招待 / keenさん 2015 年に 1.0.0 がリリースここからは安定している 6週間ごとのリリース Firefox と同じ言語仕様は2つ Rust2015 と Rust2018 移行ツールはある。両方をコンパイルしてリンクすることも可能実例 firecracker AWS Lambda の内側 Magick Pocket: DropBoxのストレージマネージャ Servo: レンダリングエンジン一部が Firefox Redox : OS。大学のプロジェク…

開発環境構築スクリプトのCIをGitHub Actionsで回す

2019-11-18T13:51:36+09:00

小ネタですが、開発環境の構築はスクリプト化して、CIを回そうという話です。開発環境を構築することは年にそう何回もあるわけではないですが、スクリプトを一発叩いて必要なツールが揃うようにしておくと便利です。私は素朴にシェルスクリプトで書いています。好きな言語で書けばいいと思いますが、macOSは将来的にRubyやPythonといったスクリプト言語を排除しようとしていて、不安ですね。Ansibleみたいなのを使ってもいいと思います。私はちょっと苦手で… あくまで私用のスクリプトなので使わないでください。このスクリプトを叩いてしまえば、iTerm2やVim、tmux、自分のdotfilesの配置と…

C ドライブ依存を減らす

2019-11-17T16:13:29+09:00

いろいろなソフトウェアがデフォルトで何でも C ドライブを使う。 C ドライブが手狭になってきたのでいくらかのデータを別ドライブに移行する方法をメモしておく。 Stack Stack（Haskell）のリソースはユーザー環境変数 STACK_ROOT の指すディレクトリーに保存される。デフォルト値は C:\sr である。パス長制限の問題があるので浅い場所がよい。D:\stack に変更した。 Stack によってインストールされる GHC や MSYS2 は LOCALAPPDATA\Programs\stack にある。これは STACK_ROOT\config.yaml に local-p…

今日は Haskell Day 2019 の日です

2019-11-09T18:10:03+09:00

咳が止まらない状態で非常に厳しいですが、来ていますので、自分用のメモを残しておきます。関数型(function type)を見つめるプログラミング / 山下さん関数の型、 Haskell では第一級リスト型 a が型なら [a] も型タプル a b が型なら (a, b) も型タプル a b が型なら a -> b も型 a が domain 、 b が codomain 高階関数型 domain が関数 (a -> b) -> c codomain が関数 a -> (b -> c) こちらは意識されにくい 2変数関数 (a, b) -> c Haskell 以外でもよく使うセク…

今日は YAPC::Nagoya::Tiny 2019 の日です

2019-11-03T18:09:50+09:00

来ましたので、自分用のメモを残しておきます。開会の挨拶名古屋から来た人、東海から来た人ランチはルーセントタワーB1が穴場 Tiny とは？新たなコミュニティの形成。小規模で開催しやすいメインはトークハッシュタグ: #yapcjapan フロア貸切ではないので注意 Perlでもできる！ PerlウェブサービスにDocker, ECS, CDKを導入してよかったこと、大変だったこと / Windymeltさん Perlアプリケーションの環境構築は大変 plenv, MySQL Redice, Imagemagic, bzip2 などなどデザイナーさんやプランナーさん Docker-…

Zenza Bronica S 系用接写リング

2019-10-24T00:43:20+09:00

Zenza Bronica S 系用接写リングの説明書（をスキャンしたものをプリントしたもの）を入手したので文字データに起こした。 docs.google.com この接写リングは4個（C-A C-B C-C C-D）で1組になっています使用できるレンズも 40 mm～200 mm までと巾広く標準レンズ使用の場合で等倍までの近接撮影ができます 4個の接写リングは撮影の目的に合わせご自由に組合せてご使用ください別表は S2 型・C2 型カメラに接写リングと交換レンズを組合せた場合の撮影倍率と露出倍数の関係を示します（表） ● 被写体に近接するに従ってフィルム面とレンズの距離は遠く…

A Regular Expression Matcher in Rust

2019-10-19T17:18:47+09:00

なんかの本でCで数十行のバックトラックを使った正規表現のマッチャが紹介されてた記憶があるんだけど、ビューティフルコードだったっけ？#regexfesta— hiratara (@hiratara) October 18, 2019 ということで、ソースコードが書かれている記事を見つけた。 https://www.cs.princeton.edu/courses/archive/spr09/cos333/beautiful.html Rust で書き直したものを文末に貼っておく。 rstfmt が if 文を改行してくれるせいで行数が膨らんでCの実装より数行長いが、ほぼ同じ感覚で書ける。 do …

今日は Regex Festa の日です

2019-10-18T21:57:06+09:00

今日は Regex Festa の日です Regex Festa に来ていますので、自分のためのメモを残しておきます。挨拶 wi-fiとお手洗い、喫煙所の案内 Opt Technologies さんについて QRコード読むとアンケートありますいろいろな正規表現、いろいろなオートマトン / @sinya8282 さん正規表現は好きだが、難しい面も面白い面もある学部の頃は世界最速のgrepを書いてたりした院では学術よりな研究 Shibuya.pm#16 が正規表現オンリーなイベントだった東京素晴らしい！ 8年の時を経て復活正規言語の魅力オートマトンという単純な計算モデル台数モデル…

結局rustの標準入出力はどう書けばいいの？

2019-09-21T16:07:52+09:00

現状。 StdoutLock は LineWriter を噛んでるので、 BufWriter の意味があるのか謎。ベンチマーク取らねば。 use std::io::{self, BufRead, BufWriter, Write}; fn main() { let stdio = io::stdin(); let mut input = stdio.lock(); let stdout = io::stdout(); let mut output = BufWriter::new(stdout.lock()); let mut line = String::new(); while input…

HaskellやっていくGHC8.8.1令和元年白露の候

2019-09-20T21:45:08+09:00

GHC 8.8.1 が出たので雑に環境を整えていきます。 OS: Ubuntu 18.04 LTS on VirtualBox on Windows screenshot GHC, Cabal 最近は ghcup で入れている。 $ ghcup upgrade $ ghcup list --tool all $ ghcup install 8.8 $ ghcup install-cabal latest ~/.ghcup/bin と ~/.cabal/bin にPATHが通っていない場合は通しておく。 stack は手になじまない感じがして最近使っていない。 stack のいいところとしてスク…

emacsで自動改行して欲しくない

2019-09-14T17:12:10+09:00

特に端末へコピペとかするときに、本当に迷惑なので。 init.el をイジる。まず、 (setq indent-line-function 'insert-tab) なんて記述があったので削除（誰がなんのために入れたんだ？）。次に、 (electric-indent-mode 0) を追加。これでほとんどのモードで直ったのだけど、 markdown-mode だけは駄目だったので、ダメ押しの (setq markdown-indent-on-enter nil) を追加。 RET 押下時の indent-and-new-item の呼び出しを抑制できるらしい（勝手にそんなことしないで）。 …

単純で頑強なメッセージングシステム、franz

2019-09-08T21:41:20+09:00

Haskell製の新しいメッセージングシステムfranz(フランツ)の紹介。 github.com 背景取引所にあるマシンで取引プログラムを実行するのが我々の仕事だが、朝8時に起動したらあとは昼寝したり酒を飲んだりというわけにはいかない。モニタリングしたり、分析のためにデータを残しておく必要がある。そのため、プログラムによって解析しやすい形でログを出力する。今までは複数の種類のレコードをシリアライズし、一つのファイルに連結させる独自のフォーマットを10年近く使っていたが、書いていて恥ずかしくなるような多数の問題を抱えていた。柔軟性が乏しい: 32bit整数や文字列などの単純な値しか格納で…

今日はRustのLT会 Shinjuku.rs #6 @FORCIAの日です

2019-09-03T20:32:30+09:00

ブログ枠で RustのLT会 Shinjuku.rs #6 @FORCIA に来ています。ブログ枠が何をすればいいのかあまりわかってませんが、とりあえずブログにメモを残しておきます。開会会場、懇親会はフォルシア株式会社さんが提供(ありがとうございます！) 次回 11/19 で一周年 Rust初心者がRay Tracer書いてみた / keisukefukudaさん前回も初心者、相変わらず初心者 Ray Tracer は楽しいので、新しい言語を練習するときに良い Ray Tracing とは？ 3Dのオブジェクトを平面に描画するちゃんと計算するオフラインで時間をかけてアルゴリズム、プ…

rustのcombineで入力されたトークンによる場合分け

2019-08-24T15:14:50+09:00

combine を使ったときに、例えば識別子のパース時に予約語を弾く方法。最初は and_then を使うのかと思ったのだけど、エラーの型指定がえらく面倒だったので諦め。というか、なんか絶対違うだろうと思って別の方法を模索。 Parser のドキュメントに以下の例がある。これだ。 digit() .then(|d| { if d == '9' { value(9).left() } else { unexpected_any(d).message("Not a nine").right() } }) ということで、 then を使うと Parser を返す処理を書けるので、ここで une…

Minecraft 1.14サーバーを運用してみた

2019-08-15T19:54:48+09:00

Minecraft 1.14 "Village and Pillage"は、サブタイトルの通り村人と略奪者をテーマにしたアップデートだ。主な楽しみ方村人の取引システムが一新され、以前よりもバリエーションに富み、かつリーズナブルな取引ができるようになった。余ったアイテムを換金したり、有益なアイテムを入手できるようになるだろう。ランタン、焚火などの新たな光源や、壁や階段の変種、さらには鐘なども追加され、建築の楽しみも大きく増した。だが、良いことばかりではない――新たなイリジャー(邪悪な村人)、ピリジャーが出現するようになったのだ。条件を満たすと発生する襲撃から村を守る死闘、そして安全な拠点づ…

Makefileの変数展開はレシピの実行前に行われる

2019-08-14T10:31:52+09:00

makeなんてよく使うものだから分かっているつもりだったけど実はよく分かっていなかったのが、変数展開がどのタイミングで行われるかということ。 itchyny.hatenablog.com Makefileでの := は simply expanded variable といって一度しか展開されないが、 = は参照するたびに展開される。 DATE = $(shell date) .PHONY: all all: @echo $(DATE) @$(shell sleep 3) @echo $(DATE) @$(shell sleep 3) @echo $(DATE) これは、 $(DATE) を参…

rust の publicsuffix は遅過ぎる

2019-08-07T12:03:57+09:00

rust で Public Suffix List を扱うクレートの速度が遅過ぎるので、パッチを書いた。最右部のラベル ( .jp .com など) でルールを区分けして、後は愚直に線形探索という方法だったので、そりゃあ遅すぎるよねって感じ。 github.com 実は Perl の Domain::PublicSuffix でも速度の問題にあたって書き直したことがあるのだけど、このときはドメインのバリデーションが重過ぎるのが原因で、このコミットで解消されている 1 。 rust の publicsuffix でもバリデーションは比較的重いので、この点も改善できるのかもしれない。とこ…

今日は Roppongi.rs #1 の日です

2019-07-30T20:38:11+09:00

職場から近いので Roppoingi.rs に来ました。自分のためにメモを残しておきます。ハッシュタグは #roppongirs 。 Rustがいかにエンジニアの脳を楽にさせているかをC++初心者が語る〜関数篇〜 / @natsu_no_yuki さん C++歴15年の初心者 rvalue reference, template特殊化などが使えるのは初心者らしい rust歴は3日プログラミングの歴史からrustの良さを考える C言語: メモリ管理を何もしてくれないプログラマが明示的にメモリを確保したり・・・ (C、C++のことです) C++ と rust の比較 C++で関数呼び出しをする…

関数のメモ化

2019-07-30T13:06:40+09:00

ブログに書いてみるとよく分からなくなってきました 🙃 Haskell-jp で回答をもらいました。 @lotz84_ さんの記事や GHC のプロファイルに出てくる CAF がよく分かってなかったのをまとめる。 qiita.com fact のメモ化 lotz さんの記事の階乗 fact 関数を題材にする。 fact :: Int -> Integer fact 0 = 1 fact n = fromIntegral n * fact (n-1) lotz さんの記事よれば、次の実装だとメモ化されるとのこと。 -- | 関数をメモ化する関数 memoize :: (Int -> a) -> I…

Strassen の行列積を求めるアルゴリズム

2019-07-27T21:57:53+09:00

アルゴリズムイントロダクションで、行列積を求める奇妙なアルゴリズムを見つけたので rust で実装した。簡単のため、行列の表現には ndarray を用いている。 #[macro_use] extern crate ndarray; use ndarray::prelude::*; type Matrix = Array2; type MatrixView<'a> = ArrayView2<'a, i32>; type MatrixViewMut<'a> = ArrayViewMut2<'a, i32>; fn strassen_multiply_inner (a: MatrixVi…

rustのsliceとlen()

2019-07-23T22:55:53+09:00

こう書くと、 fn main() { let mut a = [1, 2, 3, 4, 5]; let x = &mut a[3..a.len()]; println!("{:?}", x); } こう怒られる。 error[E0502]: cannot borrow `a` as immutable because it is also borrowed as mutable --> src/main.rs:3:23 | 3 | let x = &mut a[3..a.len()]; | -----^------- | | | | | immutable borrow occurs here…

rust の perl-xs を触る

2019-07-19T16:30:43+09:00

rust の perl-xs なるリポジトリを見つけたので触ってみた。 Perl の carton と rust の cargo が動く環境1であれば、 README に書かれている通りリポジトリを clone してきて以下で簡単に試せる。 $ carton install $ carton exec -- 'cd t && perl Makefile.PL && make test' perl-xs は Perl API を rust から使いやすいようにラップしたものという位置づけになる。 Perl API への低レベルなバインディングは perl-sys で提供され、 Rust のコード…

[mac] El Capitanへのアップグレード関連作業まとめ

2019-07-13T19:19:56.684+09:00

YosemiteからEl Capitan（10.11.2）へアップグレードしました。旧環境で起動できていたアプリケーションが起動できなくなったり、コマンドが見つからなくなる、といった問題が発生しましたが一通り解決できたので、その内容をまとめておきます。＃ポストし忘れてた･･･。今更な情報ですが自分の備忘録の意味もあるので公開。 El Capitanの新機能に伴う問題・設定の修正 OS X El Capitan：日本語入力のライブ変換モードをオフにする [システム環境設定] - [キーボード]を開く [入力ソース]タブを選択「ライブ変換」のチェックを外す MacPortsのアップデート Yosemite環境でインストールしたMacPortsはそのままでは利用できない。以下のようなエラーメッセージが表示される。 % port qv installed Error:

rustで「サイコロを転がす」を解く

2019-07-07T21:52:20+09:00

最近 rust を勉強し始めたので、オフラインリアルタイムどう書くで一番簡単な問題（と思っている）サイコロを転がすを解いた。破壊的更新を戦略的に使えるのは、この程度の難易度のサンプルであれば書いてて大変気持ちがいい。 yhpg-rs/lib.rs at ord12rotdice · hiratara/yhpg-rs · GitHub

Docker Meetup Tokyo #31 で Kubernetes 1.15 について話してきました

2019-07-06T21:30:29+09:00

先日行われた Docker Meetup Tokyo #31 で、Kubernetes 1.15 の Scheduler 周りの新機能について発表してきました。 Kubernetes の Pod Preemption を利用すると、より重要な Pod にノードの計算リソースを割り当てる優先的に割り当てることができ、コストの最適化につながります。しかし優先度の低い Pod は実行中に強制的に終了されることとなり、長時間かかるバッチ処理が途中で中断されてしまうという弊害もあります。本スライドでは、Kubernetes 1.15 から Alpha 機能として導入された NonPreemptingP…

Kubernetes 1.15: SIG Scheduling の変更内容

2019-07-05T15:51:46+09:00

はじめに本記事では、Kubernetes 1.15 のリリースノートからスケジューリングに関する内容をまとめました。なお、SIG Scheduling の変更内容については既に他の方から翻訳記事が出ていますが、本記事は後発ということもあり、すべての機能を実際に触ってみた上でサンプルコードを添えて解説していきます。 Kubernetes 1.15: SIG Scheduling の変更内容 1.15 の新着情報 (1.15 What’s New) 今回、完全な変更ログは https://relnotes.k8s.io/ で、絞り込み可能なフォーマットで公開されています。確認とフィードバック…

トレイト境界の F: FnMut(u8) -> bool という記法について

2019-06-24T22:26:57+09:00

rust で where の中でトレイト境界を書ける。そして、クロージャはトレイトで実現されている。ってことなんだけど、クロージャを表す型変数のトレイト境界の書き方はなんとも気持ちが悪い。 struct Cacher where T: Fn(u32) -> u32 { calculation: T, value: Option, } Closures: Anonymous Functions that Can Capture Their Environment - The Rust Programming Language トレイト境界と言えば T: Display + Clo…

VSCodeからWSL上のRLSを使うメモ (2)

2019-06-22T10:16:08+09:00

ある朝突然、 cargo test が VSCode Insiders から呼べなくなった。これを踏んでた。どうやら昨日の夕方に 1.36.0-insider がアップデートされて壊れたようだ（アップデートされた記憶はあまりない）。 github.com 以下に従って5月のビルド 1.35.0-insider に戻したら問題なく動いた。 Insider らしくてとてもよい（よくない）。 Access older Insider builds · Issue #46089 · microsoft/vscode · GitHub

Traversable API

2019-06-15T15:54:35+09:00

与えられたConnectionを通じて、指定したKeyに対応するByteStringを取り出すような、シンプルなKey-ValueストアのAPIを考えてみよう。 type Key = ByteString fetchOne :: Connection -> Key -> IO ByteString ネットワーク越しにたくさんのデータを取得したいとき、何度もこれを呼び出していては効率が悪い。一度にまとめて取り出せるように拡張するなら、このように書ける。 fetchMany :: Connection -> [Key] -> IO [ByteString] 悪くはないが、この型はたとえば「["fo…

Fun Fun Functional (1) で Haskell と Firebase を使ってライブコーディングしてきました

2019-05-29T19:45:39+09:00

先日行われた Fun Fun Functional (1) で、Haskell と Firebase を使った Web アプリの作り方について発表してきました。使用した要素技術は、GHCJS 上のフレームワーク Miso と、Fireabse SDK を呼び出すための DSL である JSaddle です。 GHCJS は Haskell のソースコードを JavaScript に変換するコンパイラで、GHC をフォークすることによって開発されています。 github.com Miso は GHCJS 上で The Elm Architecture を実装するためのフレームワークです。Mis…

技術書典 5 ふりかえり

2019-04-16T00:44:52+09:00

え？6？いやいや 5 ですよ？ techbookfest.org 池袋慣れ親しんだ秋葉原の地を飛び出して池袋にやってきました。めちゃくちゃ広くてびっくりです。秋葉原通運会館からアキバスクエアにやってきたときも思いましたが、同じ感想がもう一度。ガラス張りじゃなくなったので外の行列見てやばいやばい言えなくなったのはほんのちょっとだけ残念です。か61 kakkun61 という名前でもろもろアカウントを取っているのですが、今回は卓番号が「か61」ということでまさに自分のための場所でした。覚えやすい！そんな弊卓の様子です。落新刊落としました…… フィルムカメラに目覚めた結果土日をそれに使っ…

楽園へ行きたい

2019-04-01T19:01:12+09:00

楽園へ行きたい。森と平原に囲まれた、街のはずれの小屋に住みたい。朝は、小鳥たちのさえずりと窓から射し込む陽の光で目覚めたい。昼は、コーヒーと焼き菓子を用意して一服したい。夜は、天の河の向こうに思いを馳せながら眠りたい。月曜日は大学に行き、エルフの先生の下で言語学を学びたい。火曜日は研究室にこもり、ドラゴンの教授と研究に没頭したい。水、木曜日は道具鍛治と修繕の仕事をしたい。金曜日は都に向かい、品を売って食材と情報を仕入れたい。土曜日は酒場に集まり、仲間たちと杯を交わしたい。日曜日は使い魔を連れ、公園をゆったり散歩したい。春は、花々を眺めながら、渡り鳥たちにしばしの別れを告げ…

コマンドラインがさらに便利になるfillinコマンドを作りました！

2019-03-22T00:59:05+09:00

fillinというコマンドラインツールを作成しました。コマンドの一部を変数化して、別の履歴に保存しておけるツールです。ステージング環境と本番環境のように、同じコマンドで複数の環境を切り替えるのに便利です。 zshの本 (エッセンシャルソフトウェアガイドブック)作者: 広瀬雄二,A5出版社/メーカー: 技術評論社発売日: 2009/06/17メディア: 単行本（ソフトカバー）購入: 11人クリック: 126回この商品を含むブログ (37件) を見るどうして作ったのコマンド履歴って便利ですよね。私はよくコマンド履歴からコマンドを選んで実行しています。シェルに付属しているデフォルトの履…

特級シリアライズライブラリ、winery 1.0解禁

2019-03-21T18:06:56+09:00

fumieval.hatenablog.com あれから9ヶ月…wineryのバージョン1.0をついにリリースした。前回までのあらすじデータの保存や通信に直列化は不可欠の概念である。 binaryなどの直列化ライブラリは、レコードのフィールド名などの情報が欠けており、構造が変わると互換性を持たせることができない。一方、JSONやCBORなどのフォーマットで愚直にフィールド名などを残すと極めて冗長になり、時間・空間効率が悪い。コード生成が前提のProtobufなどはHaskellの既存のデータ構造との相性がよくない。そんな現状に殴り込みをかけたのがwineryだ。値を「スキーマ」と「デ…

joのGo実装 gojo を作りました！

2019-03-20T17:50:02+09:00

joというJSONを組み立てるコマンドがあって、これは2016年からある便利なCLIツールなのですが、昨日急に思い立ってGo実装を作りました。 go get -u github.com/itchyny/gojo/cmd/gojo brewでもインストールできます。 brew install itchyny/tap/gojo 使い方はこんな感じ。 $ gojo foo=bar qux=quux {"foo":"bar","qux":"quux"} $ gojo -p foo=bar qux=quux { "foo": "bar", "qux": "quux" } $ gojo -a foo ba…

円周率の16進数表現100億桁目を求めてみた！ ― 円周率の世界記録をどのように検証するか ―

2019-03-15T16:17:18+09:00

あなたは円周率を何桁言えますか。3.14159…という、あの数字です。円周率の小数部分は無限に続き、循環することもありません。古来より、数学者は円周率の値を様々な幾何学的な近似や公式を用いて計算してきました。その桁数は計算機の発明により飛躍的に伸び、収束の速い公式の発見や効率の良いアルゴリズムの発明などによって加速してきました *1。 5年前、私がまだ学生だった頃、円周率1億桁の計算に挑んだことがありました。私にとって高精度計算の初めての挑戦で、様々な試行錯誤で苦労したのをよく覚えています。 itchyny.hatenablog.com 2017年現在、円周率計算の世界記録は22兆桁で…

gore 0.4.0をリリースしました！

2019-03-01T09:00:03+09:00

Go言語のREPL、goreの0.4.0をリリースしました。 id:motemenさんに連絡をとって、goreのコミット権をいただきました。最初はpull requestが溜まっていたので片付けて、細かいバグ修正などを行いました。しばらく触っていると慣れてきたので、新機能も実装して入れました。かなり便利になっているので、ぜひアップデートして (またはインストールして) お使いください。 go get -u github.com/motemen/gore/cmd/gore バグ修正特定のケースで Evaluated but not used というエラーが出ることがあるのを修正しました …

Servant と Relational Record でウェブアプリケーション開発

2019-02-27T15:29:35+09:00

Servant とは Servant は型レベルプログラミングによって、ウェブアプリとしてのインターフェースと実装との差異を防ぐことのできるウェブアプリフレームワークです。 haskell-servant.readthedocs.io 日本語記事としては lotz さんのこちらが分かりやすいので、参考にしてください。 qiita.com Haskell Relational Record とは Haskell Relational Record は言語内 DSL によって SQL を生成するもので、正しくない SQL に相当するものは型エラーとなります。 khibino.github.io こ…

Docker Meetup Tokyo #28 で Scheduler のカスタマイズについて話してきました

2019-02-27T03:24:21+09:00

先日行われた Docker Meetup Tokyo #28で、Kubernetes Scheduler の挙動をカスタマイズする方法について発表してきました。なお Scheduler のカスタマイズについては、つい最近 Kubernetes Meetup Tokyo #16 でも発表しています。ドキュメント類へのリンクも含めてまとめたものが以下の記事です。 ccvanishing.hateblo.jp 両方のスライドを見比べて頂ければ分かる通り、内容としてはオーバラップしている部分がかなりあります。ただし、前回はあくまでも Scheduling Framework の解説であったのに対し…

旅のチェックリスト

2019-02-25T15:44:26+09:00

筆者が旅に出る際に確認する項目をまとめた。事前の準備渡航ビザ: 必要な場合もあるので事前に確かめよう。 ESTA(アメリカの場合): どんな理由であれUSに入国する場合申請する必要がある。大抵すぐ承認されるが、遅くとも出発の72時間前に済ませるべきである。宿: 好みに応じてホテルでもAirBnBなどで民泊を予約しても。後者はキッチンが用意されているところもある。交通手段: 電車は大抵の場合当日で大丈夫だが、もちろん船舶や航空機の場合は予約が必須である。冷蔵庫の整理: 日持ちしないものは消費してしまおう。携帯するもの財布: 財布は現金やカードを収納する。リスク回避の観点から財布は省…

Kubernetes Meetup Tokyo #16 で Scheduling Framework について話してきました

2019-02-22T19:39:16+09:00

先日行われた Kubernetes Meetup Tokyo #16 で、現在 Scheduling SIG で進められているプロジェクト Scheduling Framework について発表してきました。 Kubernetes では、Pod をどの Node に配置するかを決める手続きをスケジューリングと呼びます。古典的な Kubernetes の用途、すなわち通常の long-running なサーバ群の管理においては、Pod のスケジューリングは比較的シンプルな問題でした。すなわち、Node の障害時でも可用性が保てるように Pod を複数の Node に散らし、一度立ち上がった P…

ある期間内に更新されたデータを素早く検索できるモデル

2019-02-13T15:49:35+09:00

特定の技術とは関係ない、誰でも思いつきそうな、でも便利なお話。こんなケースを考えてみよう。人気のトレーディングカードゲームAugur Unlimitedを扱うショップ「しらさぎ商店」では、1000種類にも及ぶカードの買い取り・販売をしている。記録のため、カードごとに日時、価格、在庫数などをまとめたレコードを毎日データベースに書き込んでいる。新着・売り切れや、価格の変化などを、指定された期間について一覧で表示するようなWebページを作りたいとオーナーは考えた。しかし、ユーザーからの要求ごとに全データの差分を取るのは、あまり効率的な手段とはいえない。レアなカードでもない限り価格は一定であるこ…

Haskell Windows Ctrl-C 動作確認

2019-01-30T23:53:07+09:00

コードコードは前回記事と同じです（再掲）。 Git リポジトリーはこちら。 import Control.Concurrent import Control.Monad import System.Exit import System.IO import System.Win32.Console.CtrlHandler main :: IO () main = do tid <- myThreadId let handler event = do if event == cTRL_C_EVENT then do putStrLn "goodbye!" killThread tid pure …

Haskell で Ctrl-C を制御する（Windows）

2019-01-25T11:26:15+09:00

Ctrl-C 等の割り込みの扱い方です。 tl;dr System.Win32.Console.CtrlHandler を使います。 Ctrl-C が押されたらクロージングの処理を伴って終了するプログラムを書いてみます。 import Control.Concurrent import Control.Monad import System.Exit import System.IO import System.Win32.Console.CtrlHandler main :: IO () main = do tid <- myThreadId let handler event = do i…

GHCの線形型プロトタイプを試すだけ

2019-01-08T02:01:09+09:00

GHCに線形型を導入すると以下のような良い事があるらしい。リソース安全性: ファイルハンドル、ソケット、DBコネクションのようなリソースについて、これらを提供するAPIの設計者が安全な使用を強制できる。リソース解放後のアクセス、二重解放、解放忘れを防止することができる。レイテンシ: リソースAPIの実装をうまくやるとoff-heap(GCの対象外)でリソースを確保・解放できる。GC対象が少なくなることによりGCによってプログラムが停止する時間を減らせる。並列性: 過剰な直列化を強要しない。リソース安全性を保ちつつもできる限り並列化できる。詳しくはproposal。この記事では線形型G…

2018年を振り返って

2018-12-31T21:00:02+09:00

今年は仕事を淡々とこなしつつ、自分の技術の方向性に悩みながらも、ずいぶんとだらけてしまった一年だったと思います。技術面での成長に伸び悩んでいます。 Mackerelのコードの整理や改善は無限にやることがあるのですが、平日夜や休日をそれで潰す生活をしていると、頭の切り替えがうまく行かなくなり仕事中に集中できなくなってしまいました。フロントエンドはかなりコードの整理が進み、SPA化できたのはよかったですね。コンテナ周りはチョットワカルと言えるようになりたいですね。春先にバイナリエディタをリリースしました。まだ実装したい機能はたくさんありますが、リリースしたら燃え尽きてしまってあまりコードを触れて…

戊戌の追憶

2018-12-28T09:01:05+09:00

この記事は、筆者が過ごした2018年を簡潔に振り返り、その経験を糧とすることを狙う。 1月第二鰓弓由来側頸嚢胞という先天異常が原因で首が化膿し、激痛に苦しんでいた。対人関係のトラブルなどもあり軽い錯乱状態にあったのか、自分が知らない間に高い買い物をすることがあった。 drinkery: Boozy streaming library というストリーム処理ライブラリを作った。当初はすべて酒関係の用語を用いていたが、批判を受けてそこはやめた。今思えばそれで正解だった気がする。パフォーマンスはモナディックなAPIを持つライブラリの中ではトップクラスで、双方向性や多入力多出力のような発展的な機能も…

Elias-Fano encoding: 単調増加する数列をほぼ簡潔に表現する

2018-12-22T01:15:08+09:00

Haskell Advent Calendar 2018 20日目単調増加する自然数の列を、最低限のビット数で表現するための興味深いテクニックと、Haskellによる実装を紹介する。 Elias-Fano encoding この手法は、簡潔データ構造に分類されるもの一つであるが、厳密には条件を満たさないため疑似簡潔データ構造と呼ばれる。1970年代、Peter EliasとRobert Mario Fanoによって独立して発見された。例題として1, 1, 4, 10, 17, 22, 23, 30という列をエンコードしてみよう。まず、それぞれの数を上位3ビットと下位2ビットに分割する。列の…

Kubernetes 1.13: SIG Scheduling の変更内容

2018-12-06T19:54:33+09:00

はじめに本記事では、Kubernetes 1.13 の CHANGELOG からスケジューリングに関する内容をまとめました。主な変更点 https://github.com/kubernetes/kubernetes/blob/master/CHANGELOG-1.13.md#sig-scheduling 1.13 における SIG Scheduling の取り組みは主に安定性に焦点を当てており、いくつかの大きな機能の導入は次のバージョンまで延期することになりました。特記すべき変更として次に挙げる 2 点があります。 #69824: Taint based Eviction の有効化 Ta…

We Are JavaScripters! @26th で Elm と Firebase の連携について話してきました

2018-11-24T23:27:05+09:00

先日行われた We Are JavaScripters! @19th で Elm と JavaScript ライブラリの連携について発表してきました。 Elm の初心者向けの解説としてよく Msg, Model, update からなるアーキテクチャが挙げられていますが、今回の発表ではもう一歩だけ進んで、Cmd と Sub を使って Elm から JavaScript のライブラリを呼ぶ方法について解説しました。サーバとしての JS ライブラリ他の AltJS では JavaScript を呼び出す際、ソースコードの内部に埋め込む形になるのが普通です。例えば Haskell を Java…

Windows で Haskell iconv をビルドする

2018-11-19T19:13:49+09:00

GHC 8.0 以前についてはこちらを参考に。 teratail.com GHC 8.2 以降で stack を使う場合をここではとりあげる。確信はないのだが、GHC 8.2 から GHC 自体が iconv に依存しなくなったのか、$(stack path --programs)\ghc-8.0.2\mingw\lib から libiconv.a と libiconv.dll.a がなくなっているため GHC 8.0 以前のようにビルドができなくなっている。なので、まず libiconv を取得する。 stack exec -- pacman -S libiconv-devel インスト…

Leica M3

2018-11-15T10:47:47+09:00

Lomography Konstruktor F・Diana Mini から始まったフィルムカメラ熱ですが一瞬で行くところまで行ってしまった感じです。 Leica M3。現在まで続く M 型 Leica の始祖を買ってしまいました。1962年製の56歳です。（この写真を撮ったレンズも Asahi Super Takumar 55mm F1.8 なので60年代のレンズです。） Leica 意識前初めはフィルムカメラの入門機としていくつかの記事に紹介されていた Asahi Pentax SP か Olympus OM-1（M-1）かと考えて中古カメラ屋めぐりをしていました。このころはひたす…

「名前の束縛」という名の束縛

2018-10-31T18:20:45+09:00

実用的なプログラミングにおいて、名前と概念を結びつける「束縛」はほぼ必須の概念である。しかし、その言葉には大きな誤解と混乱が根付いていた。事の発端となったのは「Haskellにおいては、変数は値を代入するものではなく、値に束縛するものである」という議論である*1 *2。しかし、これは大きな誤解を孕んでいる。言葉の定義に立ち返ってその誤解を解いていこう。束縛とバインディング実は「束縛」には二つの意味がある。一つは、数学的な意味での変数の束縛*3、もう一つは、識別子と実体の結合という意味での束縛*4だ。前者は変数の導入と言い換えることもできる。ラムダ計算におけるラムダ抽象と変数の関係もこれ…

Kubernetes Meetup Tokyo #10 で Pod の Preemption について話してきました

2018-10-23T16:31:12+09:00

だいぶ日が空いてしまって今更ですが、先日行われた Kubernetes Meetup Tokyo #10 で、v1.8*1 から導入された新機能 Preemption について発表してきました。 Preemption は、Kubernetes クラスタのリソースが不足した際に、優先度が低い Pod を追い出して優先度が高い Pod の稼働を保証する仕組みです。当日は時間が不足気味だったので、説明不十分だったかなと思われる点についていくつか補足しておきます。 Priority の指定についてスライド中では詳しく説明しませんでしたが、ユーザは直接 Pod（や Deployment 中の Pod…

Mackerelのグラフを端末で描画するコマンドmkrgを作りました

2018-10-17T23:52:07+09:00

Mackerelのグラフを端末で見れたらいいなと思ったので作ってみました。 github.com 使い方 $ go get -u github.com/itchyny/mkrg/cmd/mkrg $ mkrg コマンドを叩くと、そのホストのメトリックを取ってきてグラフを表示します。何も考えずにコマンドを叩けば、システムメトリックのグラフを表示してくれます。私はiTerm2を使っているので、とりあえずiTerm2では画像を表示できるようにしています。それ以外の端末では点字を使って頑張って表示します。 Mackerel サーバ監視[実践]入門作者: 井上大輔,粕谷大輔,杉山広通,田中慎司,坪内…

猫でもわかる Vertical Pod Autoscaler

2018-10-02T20:32:05+09:00

先日行われた Kubernetes Meetup Tokyo #13 で、Vertical Pod Autoscaler (VPA) について発表してきました。 VPA は、各コンテナの Resource Request の値を自動的に調整してくれるコンポーネント群です。必要とするリソース（CPU、メモリ）量があらかじめ推測しにくいアプリケーションに対して、実績に基づいてそれらしい値を決めたい場合に効果を発揮します。本記事ではスライドの補足として、VPA が動作する流れをクラスタ上での実際の挙動を通じて確認し、また内部実装についても踏み込んで解説します。なお、本記事中で引用している仕様やソ…

elm/time の使い方

2018-09-26T19:12:31+09:00

はじめに先日、Elm v0.19 がリリースされました。公式ライブラリのリポジトリが elm-lang から elm に変更され、その中身も大きく再構成されています。本記事では、これらの変更のうち特に時刻や日付の扱いに関する部分について、新しい API の使い方を含めて簡単に解説します。 v0.18 における時刻の扱い v0.18 では、時刻を扱う機能は標準パッケージ elm-lang/core の中で提供されていました。時刻を扱う Time モジュールと日付を扱う Date モジュールで、それぞれデータ型や関数が定義されているのが特徴です。なお、旧バージョンのライブラリは現在 Elm …

プラモデルカメラ Lomography Konstruktor F

2018-09-13T16:25:09+09:00

本来はフジヤカメラに行くことが目的だった。「カメラバカにつける薬 in デジカメ Watch」でも取り上げられてて、その前から気になってたのもあって中野に行った。特に買うつもりもなかったので雰囲気だけ知れればいいやというようにそそくさと出たのだが、ジャンク館が中野ブロードウェイにあるということで行ってみた。そういえば中野ブロードウェイも気になってたんだし一石二鳥だった。するとコイデカメラがあった。Lomography Konstruktor F があった。動くしくみを理解しながら自分で組み立てるのが好きでカメラも好きな自分が惹かれるのは当然という感じだった。そのときは散財する予定は…

技術書典 4 にサークル参加した

2018-09-12T13:03:31+09:00

4月22日に開催された『技術書典 4』にサークル参加してきました。 techbookfest.org 技術書典は1と2に個人で参加して3は会社として参加して今回の4は会社と個人と2サークルにかかわっていました。超技術書典を抜くと皆勤です。個人サークル既刊として『遠回りして学ぶ Yesod 入門』を増刷し、新刊は『手続き Haskell』を持っていきました。 doujin.kakkun61.com doujin.kakkun61.com 数字売り上げ部数は、どんぶり勘定ですが（特に Yesod 本のダウンロードカードが完全に記憶による）下記の通りとなりました。 Yesod 本紙 + P…

『Yesod 入門』商業誌化

2018-09-01T08:26:27+09:00

同人誌で発売していた『遠回りして学ぶ Yesod 入門』がこのたびインプレス R&D より『Haskell で作る Web アプリケーション遠回りして学ぶ Yesod 入門』として商業誌化されることになりました。 www.impressrd.jp 同人誌版からの変更点は主に、日本語が読みやすくなった対応バージョンが上がった点です。章が増えたり減ったりはしていません。あと、表紙がかわいくなりました。かわいい。商業誌では Amazon と honto にてオンデマンド印刷の紙の書籍も購入できるようになっています。紙はこれまで即売会でしか販売していなかったので初めて通信販売で買えるようにな…

初フィルム

2018-09-01T07:50:07+09:00

厳密にいうと小学校の旅行などで「写ルンです」を使ったりしたことがあるので、初フィルムじゃないんだけど自分で装填するものとしては初ということで。中野のコイデカメラで自分でプラモデルのように組み立てるカメラを見つけて「なんだこれは！？」と調べていたら Lomography にあてられてどうしても自分でも撮りたくなって中古の Lomography Diana Mini を買った。それで2本撮ったので現像・スキャンしてもらってきた。（本当はもう1本もあったんだけどダメにした。） 70枚撮った中で奇跡的に手ぶれもなくピントも合っている1枚。鏡筒の向かって左のレバーがシャッターボタンなんだけどこれが…

詳解！ Elm における Fuzzing

2018-08-23T21:18:58+09:00

先日行われた We Are JavaScripters! @23rd で、Elm のテストフレームワーク elm-test に搭載されている Fuzzing 機能について発表してきました。 Fuzzing を利用するとテストデータを自動で生成することができるため、例えば「encode と decode を行うと元に戻る」といった、入力に依存しない関数の性質に関するテストをより簡単かつ効率的に実装することができます。さらに、後で詳しく解説する通り、elm-test の Fuzzer にはバグが起こりやすいエッジケースを集中的に生成してくれるというメリットもあります。 elm-test の使…

Windows で haskell-ide-engine をビルドする

2018-08-16T17:34:50+09:00

手順 1. ソースコード取得。 git clone git@github.com:haskell/haskell-ide-engine.git 2. Unicode を扱う ICU の古いバージョンが要るので取得。自分の使うバージョンの text-icu の changelog を見て、必要な ICU のバージョンを探す。執筆時点では 53 だった。 http://site.icu-project.org/download/53#TOC-ICU4C-Download 任意の場所に展開する。以降、展開先の箇所を $icu と表記する。 $icu\bin64 にある dll の名前を変える。（要…

July Tech Festa 2018 で分散システムの検証について話してきました / #JTF2018

2018-08-01T13:56:39+09:00

先日行われた July Tech Festa 2018 で、モデル検査を使った分散アルゴリズムの検証について発表してきました。前半はオートマトンによるシステムの記述と検査の基礎について、後半は三種類のツール SPIN、TLA+、P による記述方法の紹介、といった内容です。後半のソースコード紹介が散文的な感じになってしまって、いまいちメリットが伝わらない感じだったので、次回があればもっとエモいスライドにしようと思います。分散アルゴリズムの形式化定理証明による検証今回の話の流れとして「分散システムにはモデル検査が有効」と述べていますが、必ずしも定理証明が分散システムの検証に向かないという…

入社

2018-08-01T00:00:56+09:00

本日付けで IIJ に入社します。職業 Haskeller になる……はず。

退職

2018-07-31T22:30:05+09:00

2013年に新卒で入社した KLab を今日付けで退職しました。

Dhallによるリッチな設定ファイル体験

2018-07-14T19:52:55+09:00

(この記事のレギュレーション: lts-11.9) Dhall という設定記述用言語があり、使ってみたところ良い感じだったので紹介します。なお、この記事は先日某所で発表したものの拡大版になります。 speakerdeck.com Dhallとは何か Dhallについて短かく表現するなら公式サイトの以下の説明が分かりやすいです。 You can think of Dhall as: JSON + functions + types + imports データ表現にプログラマブルさと静的な検査とファイルのインポートを加えたものというわけです。まだ開発中のためかあまりアピールされていませんがツー…

zshの標準エラー出力の色を赤くする

2018-06-29T14:22:55+09:00

[追記]以下の方法は良くないようです。必ず、このエントリー最後の「stderredを使う」を参照してください[/追記] 最近stderrを赤くするように設定したら、コマンドの出力がかなり見やすくなりました。設定はこんな感じに書いてます。 zmodload zsh/terminfo zsh/system color_stderr() { while sysread std_err_color; do syswrite -o 2 "${fg_bold[red]}${std_err_color}${terminfo[sgr0]}" done } exec 2> >(color_stderr) fg…

はてな・ペパボ技術大会 #4 〜DevOps〜 @京都で登壇しました

2018-06-25T13:40:55+09:00

先日 6/23 に技術イベント「はてな・ペパボ技術大会 #4 〜DevOps〜 @京都」で登壇・トークセッションに参加しました。 hatena.connpass.com 普段の業務でDevOpsという言葉を使うことはありません。しかし、DevOpsのあり方を見直した結果が現状の体制や仕事のフローであったり、あるいはこれからやろうとしていることにつながっているのだと思います。技術の進歩によりDockerやGraphQLといった、レイヤー間の共通言語が発達する中で、ソフトウェア間あるいはチーム間が疎結合になっていくことはよいです。一方でそういう技術で解決できない場面も残っていくのだろうなと思…

[linux][cygwin] unzipコマンドで "error: invalid compressed data to inflate" というエラーメッセージがでたら？

2018-06-06T01:11:48.468+09:00

zipアーカイブの中に長さが0のファイルが含まれていると、unzipコマンドでは以下のようなエラーメッセージが表示されて、解凍することができません。アーカイブが壊れていなくてもエラーになります。 % unzip hoge.zip error: invalid compressed data to inflate このような場合には、-tzipオプションを指定して7zコマンドを実行することで、エラーを回避して解凍できます。パスワード保護されているzipアーカイブも問題なく解凍できました。 % 7z x -tzip hoge.zip manページによると、以下のフォーマットがサポートされていて、デフォルトは7zとのこと。 The program supports 7z (that implements LZMA compression algorithm), ZIP

日持ちする直列化のためのライブラリ「winery」

2018-06-04T00:57:20+09:00

人類は、酒と共に発展してきたと言っても過言ではない。穀物や果実などを酒に変換することにより、糖を除く栄養を保ったまま、高い保存性を持たせることができる。酒は人々の喉を潤し、時に薬として使われた。プログラミングにおいても、終了したら消えてしまうデータを、保存性の高いバイト列に変えたい場面がよくある。そのような操作を直列化(シリアライズ)と呼び、いくつかのアプローチが存在する。コード生成タイプ Protocol Buffers、cap'n'protoなどデータの構造を記述する言語(スキーマ)から、データ構造およびシリアライザ・デシリアライザをコードごと生成する。幅広い言語で使える一方、作れる…

We Are JavaScripters! @19th で Haskell 製フレームワーク Miso について話してきました

2018-05-24T21:33:24+09:00

先日行われた We Are JavaScripters! @19th で Haskell によるフロントエンド開発について発表してきました。 Elm の代わりにフレームワーク Miso を使うことで、クライアントサイドとサーバサイドの両方を Haskell で実装することができる、という内容です。 github.com なお今回のプレゼンでは、参加者のほとんどは Haskell に馴染みがないだろう*1ということもあって、実装上の詳細にはほとんど触れませんでした。 Elm と Miso の詳しい比較、さらに Servant と組み合わせた Isomorphic なアプリの作り方については、記事…

JAWS DAYS 2018 で形式手法による IAM の検証について話してきました

2018-05-18T20:51:01+09:00

だいぶ日が空いてしまって今更ですが、先日行われた JAWS DAYS 2018 で登壇してきました*1。モデル検査器 Alloy を使って AWS の IAM を検証してみるという内容です。形式手法 × AWS というテーマではこれまでにもいくつかのイベントで発表していますが、題材はネットワーク関連の検証がメインでした。 ccvanishing.hateblo.jp ccvanishing.hateblo.jp ccvanishing.hateblo.jp さすがに同じことばかり話していても芸がないので、今回は新ネタとして IAM を投入してみました。CFP も Security Slot …

ptraceシステムコール入門 ― プロセスの出力を覗き見してみよう！

2018-05-14T18:45:57+09:00

他のプロセスを中断せずに、その出力をミラーリングして新しくパイプで繋ぐ、そんなことはできるのでしょうか。 straceやgdbといったコマンドは一体どういう仕組みで動いているのでしょうか。 ptraceシステムコールを使い、プロセスが呼ぶシステムコールを調べて出力を覗き見するコマンドを実装してみたいと思います。 ptraceシステムコール Linuxを触っていると、いかにプロセスを組み合わせるか、組み合わせる方法をどれだけ知っているかが重要になってきます。パイプやリダイレクトを使ってプロセスの出力結果を制御したり、コードの中からコマンドを実行して、終了ステータスを取得したりします。プロセス…

VimプラグインのTravis CIテストを複数のVimのバージョンで動かそう

2018-03-28T10:30:13+09:00

Vimプラグインにテストがあるのはあたりまえ。そういう空気になってきたのはここ3年くらいのことでしょうか。私自身、昔はあまりテスト文化に慣れておらず、「Vimプラグインみたいな小さなスクリプトにテストなんているのか？自分のプラグインは普段から使う、バグっていたらすぐ気がつくからテストなんていらないでしょ」と思っていました。しかし、そういうテストのない自作プラグインがどんどん増えていき、3年4年と経ってしまうと自分のプラグインのコードを触りにくくなってきました。昔はあまりVimプラグインの書き方に慣れていなかったので、酷いコードが絡み合っているのだけど、普段使う分には普通に便利なプラグイ…

lightline.vimのREADME.mdを書き直しました

2018-03-28T10:29:32+09:00

lightline.vimはVimのステータスラインをいい感じにしてくれるプラグインです。作って四年弱経つんですね。おかげさまで多くのユーザーさまに使っていただいています。 itchyny.hatenablog.com github.com このREADME.mdを最近書き換えました。 ……… それだけかいな！って感じなのですが、いろいろと大変でした… 主に精神的に… つらい… プラグインを作った勢いと使って欲しいという強い思いで、プラグインを作ってすぐにREADME.mdをかなり詳しく書いていたそのために当初の設計や実装時の思いが強く出ていたが、初めてプラグインを触る人にとっては読みに…

2017年を振り返って

2018-03-28T10:27:47+09:00

今年は仕事で関わっているプロダクトが大きな転換期を迎えて、様々な経験ができました。ミドルウェアを自ら作り上げ、データをオンラインで移行し、運用を始めるというのはなかなか経験できないことだと思います。サービスは以前より安定し、穏やかな年末を過ごしています。今年は初めてカンファレンスで登壇しました。慣れないことばかりで色々と戸惑いましたが、沢山の方に発表を聞きに来ていただいて嬉しかったです。マネージドサービスを組み合わせて1つのソフトウェアを作り、それをサーバーレスミドルウェアとして抽象度を上げて捉えることができるようになったもの、このカンファレンスに参加してよかったことでした。今年は…

HaskellでDiscordのBotを作る

2018-03-09T13:45:13+09:00

Discordはゲーミング向けのテキストチャットと音声通話を兼ねるプラットフォームであり、「テキストチャンネル」と「ボイスチャンネル」の二種を好きなだけ作ることができる。もちろん音声を全チャンネルに常時垂れ流すわけには行かないので、通話するにはボイスチャンネルに参加するという手順を踏む必要がある。しかし、例えば誰かがやっているゲームに混ざろうとしてボイスチャンネルに参加しても、チャンネル外のユーザーにはいかなる通知も発生しないため、気づかれないままのことがよくある。そこで、ボイスチャンネルに参加したとき、テキストチャンネルにその旨を投稿するボットを用意すれば、気軽に通話の合図を送れる。全員に…

[haskell] http-clientライブラリを利用してHaskellでHTTPクライアント機能を実装する

2018-03-05T09:34:57.715+09:00

Haskellでは、http-clientライブラリを用いることで、HTTPクライアント機能を簡単に実装できます。http-client以外にも何種類かライブラリがありますが、今回はhttp-client, http-client-tlsの機能と使い方をまとめておきます。本エントリで紹介するhttp-client, http-client-tlsライブラリの機能：単純なHTTP GETリクエスト主要な型の説明 Managerのカスタマイズ https proxy設定タイムアウト値の設定 Requestのカスタマイズベーシック認証リクエストヘッダ Responseの操作ストリーミング受信レスポンスヘッダの参照エラーハンドリング単純なHTTP GETリクエスト {-# LANGUAGE OverloadedStrings #

Go言語のsyscall.Sysctlは最後のNULを落とす

2018-03-02T17:07:49+09:00

カーネルのパラメータを引いたり設定したりする時に便利なのが sysctl コマンドです。 $ sysctl kern.ostype kern.ostype: Darwin このコマンドのシステムコールをGo言語から叩いて、OSの種類を引いてみましょう。 func main() { ret, _ := syscall.Sysctl("kern.ostype") fmt.Printf("%s\n", ret) } Darwin 問題ないですね。数字を返すものを叩いてみましょう。 $ sysctl machdep.cpu.feature_bits machdep.cpu.feature_bits:…

猫でもわかる rkt + Kubernetes

2018-02-28T00:36:58+09:00

このエントリは Kubernetes Advent Calendar 2017 の 23 日目の記事です。ちなみに昨日は takezaki さんの「GCBを利用したContinuous Delivery環境」でした。 LT で使用したスライド先日、市ヶ谷Geek★Night #16 の 10 分 LT 枠で、CoreOS 社によるコンテナ実装 rkt とその Kubernetes 連携について発表してきました。今回のエントリはこの LT の内容を補足しつつ、実際に手を動かして rkt を試せるような構成にしてあります。 Hello, rkt! rkt は、Docker の対抗馬として Cor…

[haskell] stack install cryptoniteがno such instruction: `rdrand %r8'エラーで失敗する問題の対処方法

2018-02-25T15:34:07.378+09:00

手許の環境（mac）で、cryptoniteライブラリのビルドがエラーになる問題が発生したが、ネットの情報を元に解決できたので、その症状と手順をblogに残しておく。エラーの症状： stack install cryptoniteで以下のようなエラーが発生。 % stack install cryptonite -- While building custom Setup.hs for package cryptonite-0.24 using: /Users/xxx/.stack/setup-exe-cache/x86_64-osx/Cabal-simple_mPHDZzAJ_2.0.1.0_ghc-8.2.2 --builddir=.stack-work/dist/x86_64-osx/Cabal-2.0.1.0 build --ghc-options "

なぜ Haskell が好きなのか

2018-02-25T14:53:18+09:00

自分は Haskell が好きで休日は Haskell を書いています。そういうことを言うと関数型が好きなんですねと言われるのですが、Haskell のよさはそこじゃないと感じているので書き起こそうかと、筆を執りました。というわけで、この記事は技術的文書というよりもお話です。Haskell を知らない人向けです。この記事は Haskell Advent Calendar 2017 その3の6日めの記事です。6日が過ぎても担当のいない日だったため担当します。関数型プログラミングだから Haskell が好きというわけではないまず、「Haskell というと手続き型とは全然違う関数型なんで…

Haskellの実行バイナリにファイルを埋め込む

2018-02-14T16:12:25+09:00

コンパイルしてできる実行バイナリにファイルを埋め込みたいことがある。アプリのGUIで使うアイコンとか機械学習の学習済みモデルとか。 Go では (現在では非推奨らしいが) go-bindata を使う場面だろうか。 Haskell ではそういうときには [file-embed](https://hackage.haskell.org/package/file-embed) パッケージが使える。たとえば `[project root]/resources/lorem.txt` に置かれた [lorem ipsum](https://ja.wikipedia.org/wiki/Lorem_ipsum) テキストを埋め込む場合:

弊同人サークルのウェブサイトを作りました

2018-01-28T12:39:56+09:00

がんばった。 doujin.kakkun61.com GitHub Pages だからと Jekyll にしたけど、生成したものを置けばいいんだから Hakyll でもよかったな。変えようかなというところ。後はレスポンシブ対応したい。

ガバガバAltJSを作った(言語実装 Advent Calendar 2017)

2017-12-24T20:27:10+09:00

qiita.com JavaScriptを書いていると、頻出する継続渡しのリフレインにうんざりさせられる。 foo.bar(function(result){ qux.baz(function(data){ hoge(function(r){ ... }); }); }); そこで、腕試しに継続モナドをベースにしたAltJS、jatkoを作った。フィンランド語で「継続」という意味だ(継続戦争から知った人も多いだろう)。しかし、なんの考えもなしに653行Haskellを書いた結果ガバガバな言語になってしまった。 Hello, world Haskellにだいぶ近いのでなんとなく読めるはず。 in…

HaskellのABC(Haskell Advent Calendar 6th)

2017-12-19T20:35:00+09:00

Haskellといえば一文字変数名、一文字変数名といえばHaskellという{{要出典}}ほどにHaskellでは一文字の変数名がよく使われている。これは名前を考えるのをサボっているとは限らない。多相性によって変数が具体的な性質を持たないがゆえに、具体的な名前がつけられないというのが主な理由だ。あるいは、適切な名前があっても、既存の名前と被っているという場合もある。かといって完全なランダムというわけでもないので、一文字変数名はどのように選べばいいか考察していこう。 a よくある種: * アルファベットの最初であるaは汎用性が高い。型変数に使うのが王道だ。値レベルの変数として単体で使うことは意外…

Go言語のHTTPリクエストのレスポンスボディーとEOF

2017-12-12T18:16:42+09:00

Reader interface の Read 関数は、どのタイミングで io.EOF を返すのでしょうか。まずは strings.Reader で見てみましょう。 package main import ( "fmt" "strings" ) func main() { r := strings.NewReader("example\n") for { var b [1]byte n, err := r.Read(b[:]) fmt.Printf("%d %q %v\n", n, b, err) if err != nil { break } } } 結果 1 "e" 1 "x…

Haskellの最近の例外ハンドリング

2017-12-06T17:19:02+09:00

どうもHaskellには標準のControl.Exceptionモジュールだけでなくmtlやexceptionsやexceptionalといった例外を扱うためのパッケージがあるらしいのだが、そのあたりのパッケージの選び方や使い方についてまとまった情報を見つけられなかった。 HaskellWiki例外のページも少々古いようで、deprecatedなものや統合される前のパッケージを書いていたりする。調べた限り、mtlとexceptionsが今の主流っぽい。その2つの使い方をまとめる。なおバージョンはlts-6.1を基準としている。 mtl mtlパッケージのControl.Monad.Exc…

続・Haskellの最近の例外ハンドリング

2017-12-06T17:18:53+09:00

前回の記事ではHaskellの例外ハンドリングには exceptions パッケージを使えばいいのではないかと書いた。ところが今年の6月に safe-exceptions という exceptions を拡張したようなパッケージがさる FPComplete から発表された。そこでこの記事では safe-exceptions について調べてみる。おそらくほぼ FPComplete の発表の受け売りになってしまうので英語を読める人は原文を読む方がいいかもしれない。さすが FPComplete だけあってこれは既に LTS Haskell に入っている。この記事では lts-6.14…

Haskellライブラリ所感2016

2017-12-06T17:18:40+09:00

(これは Haskell Advent Calendar 2016 の7日目の記事です) 今年使ったり調べたりした Haskell ライブラリを広く紹介していく企画です。あくまで今年使ったものなので新しいものばかりではないです。また記事の性質上、紹介するものが偏っていてもご容赦ください。 Hackage にはすごい数のライブラリが登録されていて、頼もしいことですが目が回りそうにもなってしまいます。この記事が Haskell のライブラリを調べる上での指針になったら幸いです。なおこの企画と方向性が似ているものとして State of the Haskell ecosystem ( 20…

超技術書典でGHCJSの本を出します

2017-12-06T17:18:31+09:00

【告知】ニコニコ超会議2017と併催される超技術書典Day1(4/29)にて、GHCJSの入門的な本を出します。@y_taka_23 さんのスペースに委託する形になります。Haskell×JavaScriptに興味のある方はぜひA-04まで。 #技術書典 #超技術書典 pic.twitter.com/zUhiVc3CyX — しょしー超技術書典A-04 (@syocy) 2017年4月25日出します。 GHCJSの仕組みの話はほとんどなくて、あくまで使い方とか周辺事情の話になります。 GHCJSって昔は導入すること自体が難しくて、他のHaskell系AltJSに水をあけられている感があった…

Haskellは真面目なアプリケーション開発に向いている

2017-12-06T17:18:19+09:00

qiita.com ↑の記事で（主題ではないと思うものの）Haskellの批判に結構な分量が割かれていて、その批判のなかに「ちょっと違うんじゃないかな」という点がいくつかあったので反論ぽいことを書きます。 "Haskell は真面目なアプリケーション開発には向いてない"についてこれには多分いくつか事例を挙げればよくて、 Facebook ではスパム等の攻撃と戦うためのシステムを Haskell で作っています。 Fighting spam with Haskell | Engineering Blog | Facebook Code | Facebook (この記事を書いている Simon …

HaskellとJSON、そしてレコード型

2017-12-06T17:18:07+09:00

HaskellのJSON周りについて、こうやるのがいいんじゃないかという私の現在のやり方を書きます。題材としては、 Swagger Petstore に記されている REST API にリクエストを投げてレスポンスを取り出すというのをやります。 (Swagger ですが scaffold は使わず自分で HTTP クライアントライブラリを使います)。基本方針は「出力は厳密に入力には寛容に」(出典失念) です。もくじ JSONの前に: レコードのフィールドへのアクセス JSONの前に: レコードのデフォルト値 Haskellのデータ型→JSON JSONデータを含むHTTPリクエストレス…

GoのTickerみたいなやつをHaskellで作った

2017-12-06T17:17:55+09:00

github.com 作った。 GoのTickerはとてもシンプルな関数で、指定した周期でチャネルに値を送るスレッドを生成する。一定間隔で何かの処理を行いたいときに利用する。今回作ったHaskell版もだいたい同じようなものを提供する。実際のところパッケージにするには小さすぎる気もするけど、 Haskellパッケージ製作の練習をしたかったのでHackageのアカウントを取ってHackageに上げた。練習のため、HaddockによるAPIドキュメントおよびhspecとdoctestによるテストも書いてある。あとは何かCIを導入してGithubのページにCIのステータスを表示するような…

A Tour of Go in Haskellを作ったのと、GoとHaskellの比較

2017-12-06T17:17:38+09:00

A Tour of Go in Haskell (日本語版/英語版) というサイトを作ったので、それの紹介をします。 https://a-tour-of-go-in-haskell.syocy.net/ja_JP/index.html Haskell は Go と同じく軽量スレッドやチャネルの機能があり、並行並列が得意な言語です。このサイトは A Tour of Go という Go のチュートリアルの並行性の章を題材として２つの言語を比較しています。

NGK2017B で Liquid Haskell について話してきました

2017-12-04T04:49:08+09:00

先日、毎年恒例のなごや LT 大会 NGK2017B / 名古屋合同懇親会 2017 忘年会で発表してきました。 Liquid Haskell で普通の型システムの上を行け #NGK2017B from y_taka_23 www.slideshare.net 当日の動画は NGK2017B 第2部 - YouTube から見ることができます。ちなみに NGK での発表は 5 年連続 5 回目です。前回まではモデル検査をテーマにしていましたが、今回はちょっと目先を変えて（とはいえ同じ形式手法の枠内ですが）もう少しプログラム寄りの題材として Liquid Haskell を選びました。 N…

現在時刻をモックする Haskell ライブラリ time-machine を作ってみました

2017-11-27T07:05:58+09:00

主としてテスト時のために、現在時刻を操作する Haskell ライブラリを作成しました。Hackage にも登録済みです。 github.com 試しに次のコードを実行してみましょう。getCurrentTime しているはずなのに、返ってくる値が 1985 年 10 月 26 日になっているはずです。 module Main where import Control.Monad.TimeMachine import Control.Monad.Trans ( liftIO ) main :: IO () main = backTo (the future) $ do t <- getCurr…

Serverlessconf Tokyo 2017で『サーバレスアーキテクチャによる時系列データベースの構築と監視』という発表してきました

2017-11-06T14:01:24+09:00

先日開催されたServerlessconf Tokyo 2017にスピーカーとして参加しました。 2017.serverlessconf.tokyo Mackerelの今の時系列データベースは、マネージドサービスを組み合わせて作っています。検証・実装・投入フェーズを終えて、運用・新機能開発フェーズに入っています。そんな中で、監視サービスを提供する私たちが、サーバーレスアーキテクチャで作ったミドルウェアをどのように監視しているかについてお話しました。何かしら役に立つことや発想の元となるようなことをお伝えできていたらいいなと思います。私も他の発表から様々なことを学びました。特に面白かった発表…

技術書典 3 で新刊落としました

2017-10-25T03:34:44+09:00

先日、秋葉原で開催された技術系同人誌のオンリーイベント技術書典 3 にサークル参加しました。本当は新刊として Scala 用の静的解析ツール Stainless の入門書を頒布する予定で、サークルカットも完全にその線で準備していたのですが、残念ながら諸事情につき完成しませんでした。事前にサークルチェックしてくださっていた 36 名の方々には大変申し訳ありませんでした。チェシャ猫先生の次回作にご期待ください。何も並べるものがないのはちょっとどうかと思ったので、当日は前回の技術書典 2 で頒布した既刊『入門 LiquidHaskell』の PDF 版（ダウンロードカード）を持ち込みまし…

Serverless Meetup Tokyo #6 で Kubernetes について話してきました

2017-10-21T02:14:23+09:00

先日行われた Serverless Meetup Tokyo #6 で、Kubernetes 上で動作する Serverless フレームワーク Fission について発表してきました。 Fission で始める Containerless Kubernetes #serverlesstokyo from y_taka_23 www.slideshare.net 先週も似たようなブログを書いたような気がしなくもないですが、Kubeless と Fission を比較した前回の発表に対し、今回は話題を Fission に限定しています。一方で追加要素として、複数の Function を組…

ステートマシン猛レース

2017-10-19T18:19:14+09:00

ストリーム処理ライブラリはHaskellにおいて競争の激しい分野の一つだ。ストリーム処理ライブラリとは大雑把に言うと、IOなどの作用を絡めながら値の列(ストリーム)を生成したり、処理したりする構造を提供するライブラリである。多くのライブラリは、以下の3種の構造を定義している。生産者(プロデューサー): IOなどのアクションを伴いつつ値を生成する。消費者(コンシューマー): 多くの場合モナド変換子になっており、await :: Consumer s m sのようなアクションを組み合わせ、値の列を処理するプログラムを書ける。変換者(トランスデューサー): 入力を受け取りながら、出力もできる。…

Kubernetes Meetup Tokyo #7 で Serverless について話してきました

2017-10-14T09:24:09+09:00

先日行われた Kubernetes Meetup Tokyo #7 で、Kubernetes 上で動作する Serverless フレームワークについて発表してきました。 Kubernetes でも Serverless したい！ #k8sjp from y_taka_23 www.slideshare.net Serverless on Kubernetes を謳うツールはいくつかありますが、今回はそのうち Kubeless と Fission に焦点を当て、それぞれのアーキテクチャの違いを比較してみました。当日の補足 Twitter 上で反応をもらった点についていくつか補足します。 Fu…

WindowsでのHaskell開発環境構築(2017年秋版)

2017-10-13T23:20:39+09:00

身の丈に合わないと形容されても仕方ないようなハイスペックなPCを買った。開発環境は当然作り直すことになるので、その軌跡を残しておく。 MSYS2 まずはMSYS2を入れる。これでツールチェーンが揃い、minttyというターミナルエミュレータもついてくる。 $ pacman -Syuu $ pacman -Sy git stack Haskellのビルドツールであるstackのインストーラを入手する。処理系から依存パッケージまで無難かつ自動的に用意してくれるので便利だ。 Home - The Haskell Tool Stack ただしstackはMSYS2上ではうまく動作しない。設定ファイル(…

負荷を均すための『時間軸シャーディング』という考え方

2017-10-10T10:46:10+09:00

ウェブアプリケーションを作っていると、負荷を分散させるために「タイミングをばらけさせる」場面に時々遭遇します。データの更新、キャッシュのフラッシュ、バッチ処理など様々な問題で、同じ構造が見られます。例えば、スマホアプリからバックグラウンドで1時間ごとに何らかの情報をサーバーに送りたいとします。愚直に毎時0分に更新処理を行うようにすると、すべてのユーザーから同じタイミングでリクエストが来てしまいます。ですから、リクエストのタイミングをユーザーごとにばらして負荷を均す必要があります。他のケースを考えます。 5分ごとにジョブを投入して何らかの更新を行うタスクがあるとします。本来ならデータ…

Mackerelのプラグインを書く楽しみ ― Rustでプラグインを書くためのライブラリを作りました！

2017-10-07T14:43:39+09:00

Mackerelは「エンジニアをワクワクさせる」ツールであることをサービスの大事な考え方の一つとして捉えています。一体どういう場面でエンジニアはワクワクするのでしょうか。簡単にインストールできるmackerel-agentや、直感的で触りやすい画面、チャットツールとの連携は大事な機能です。しかし、監視ツールとしてもっと重要なのは、ミドルウェアのメトリックをどのように可視化し、何を監視するかということです。 Mackerelは公式のプラグインリポジトリに各種プラグインを揃えています (contributorの皆様ありがとうございます)。これらはすべてGo言語で書かれています。しかし、M…

エンジニアのための『Haskell入門』

2017-10-03T00:00:00Z

C# でランク N 多相

2017-09-25T06:24:00+09:00

追記：これだと解決できていない。 C# に Sprache というパーサーコンビネーターがあるのだが、最近そいつを継続渡しスタイル（continuation passing style; CPS）にしてやろうと、Haskell のパーサーコンビネーター attoparsec を参考にいじっていた。そこでこういう型があった。 newtype Parser i a = Parser { runParser :: forall r. State i -> Pos -> More -> Failure i (State i) r -> Success i (State i) a r -> IResu…

Haskell ライブラリにスターを送るツール thank-you-stars を作ってみました

2017-09-14T15:04:35+09:00

Haskell の GitHub レポジトリを眺めてみると、有名ライブラリであってもスター数が意外と少ないことがあります。かの Yesod ですら本記事執筆時点で 1,794 個であり、Rails の 36,933 個や Django の 28,165 個と比較すると文字通り桁違いです。スター数は必ずしも OSS としての評価や価値を反映しませんし、そもそも Haskell ユーザの絶対数が少ないからと言ってしまえばそれまでなのですが、若干寂しい感じがしません？一方、先日 id:teppeis さんが依存しているライブラリにスターを送る npm ツールを公開されていました。そこで真似し…

FRPクライシス

2017-08-06T18:18:29+09:00

FRP(Functional Reactive Programming)は、リアクティブプログラミングと関数型プログラミングの性質を持つプログラミングパラダイムである。FRPは古典的FRPと矢矧のFRPに大別される。古典的FRP 古典的(Classical)FRPは、非連続的な値の列Eventと、常に何らかの値を取るBehaviourの二種類の構造を導入したものである。代表的な実装としてreactive-banana、euphoria、reflexなどが挙げられる。 Haskellにおいては、EventはIOを通じて非同期的に生成できる設計が多い。Eventはマップやフィルタリングができ、…

快速のExtensible effects

2017-08-03T08:52:52+09:00

extensibleは拡張可能レコードだけでなく拡張可能作用(extensible effects)も用意している。拡張可能作用は一時期Haskell界隈で話題になったものの、今では人気も下火になってしまった。新しいバージョンをリリースした今、拡張可能作用の動機と使い方について改めて紹介しよう。難行の一次関数 Haskellでモナドをカスタマイズする方法としては、transformersのモナド変換子がよく使われている。モナド変換子は、モナドをパラメータとして取り、新たな能力を付与したモナドにする構造だ。例えば、StateT sはモナド変換子の一つである。任意のアクションm aはliftを使…

“meaningless REX prefix used” “use of REX.w is meaningless”

2017-07-09T00:20:11+09:00

コマンドプロンプトや PowerShell でプログラムを実行したときに次のようなエラーが出て困っていた。 [0x7FFE822C2B00] ANOMALY : meaningless REX prefix used [0x7FFE85B3DDA0] ANOMALY : use of REX.w is meaningless (default operand size is 64) REX プレフィックスとは何ぞや。ロングモードでは、64ビット化するにあたり、16ビット時代から存在した1バイトのinc/dec命令であるinc reg16/dec reg16命令(op 0x40〜0x4f)を廃…

音量を調節できるCLIツールをGo言語で作りました！

2017-06-19T09:01:35+09:00

volumeコマンドを作りました。音量の調整ってコマンドからどうやるんだろう、ポータブルな形でコマンドラインツールがあれば便利なのでは… と思ったので作りました。 macOSとUbuntuで動作確認をしています。インストール go get -u github.com/itchyny/volume-go/cmd/volume getは今の音量を返します。set (0-100) で音量を設定できます。 $ volume get 25 $ volume set 20 $ volume get 20 up, down, mute, unmuteなど、直感的に使えるサブコマンドを揃えています。 $ …

Vimに自分の書いたパッチが取り込まれた！

2017-06-08T15:33:13+09:00

Vim 8.0.0623に私の書いたパッチが取り込まれました。わーい ∩(＞◡＜*)∩ わーい！もともとのきっかけは、自分のプラグインを開発している中で、[\u3000-\u4000]という正規表現に対する挙動がset re=1とset re=2で違うことに気がついたのです。 Vimは正規表現エンジンを2つ積んでいる恐ろしいエディターなのですが、この2つの正規表現エンジンの挙動に微妙な違いがあることに気がつきました。新しいNFAエンジンではエラーは出ませんが、古いエンジンではエラーが出ます。古い正規表現エンジンでは、[a-z] みたいなパターンで、[\u3000-\u4000]のように…

関係と代数的データ型との相互変換についての妄想その3

2017-05-22T10:11:04+09:00

思い付きその2 class QueryUser ? where queryUser :: (?) => Key -> MonadDB User instance QueryUser ? where -- queryUser :: (HasFriends ?) => Key -> MonadDB User query = … instance QueryUser ? where -- queryUser :: (HasName ?) => Key -> MonadDB User query = … userFriends :: (HasFriends ?) => User -> [User] …

Haskellで10を作るプログラムを書いてみたので動画で公開してみた

2017-05-21T23:25:27+09:00

最近Rui Ueyamaさんがコーディング動画をアップされているのを見て、私も動画を撮りたくなりました。題材をしばらく考えていたんですが、10を作るプログラムを書いてみることにしました。 www.youtube.com 後から見直すと色々ミスっていて、わりと焦っていることがわかります。なにかの癖で適当に bc -l とかやったのだけど、音声をあてる時は関係ないオプションだと勘違いしてしまいました。確かにglobされていたのはよくなかったけど、 echo '5 / (5 / (5 + 5))' | bc -l とかで考えてみると -l も必要なんですよね。2つの問題が起きていて混乱してしまった……

JJUG CCC 2017 Spring で Haskell on JVM について話してきました

2017-05-21T15:14:00+09:00

先日行われた JJUG CCC 2017 Spring で、JVM 上で動作する Haskell について発表してきました。思ったほど怖くない！ Haskell on JVM 超入門 #jjug_ccc #ccc_l8 from y_taka_23 www.slideshare.net メインになるコンテンツはふたつの JVM 言語、Frege と Eta です。今回はあくまでも Java のイベントなので、発表前半では Haskell の基本概念、特にモナドについてそれなりの時間を割いて説明してみました。さらにそれを踏まえて後半ではモナドを利用した Java ライブラリの呼び出しに焦点を…

gitのファイル変更日時をファイルのアクセス日時に設定

2017-05-07T10:00:11+09:00

普段使っているファイラーはファイルのアクセス日時でソートされるように設定しています。大きめのリポジトリをcloneしてコードを読む時に、意外とファイルの最終変更日時が参考になったりします。仕事で使うリポジトリや、定期的にpullしているなら、徐々に変更のないファイルはファイラーの下の方に移動していく (上の方からアクセス日時の降順として) のですが、cloneしたばかりだとこうは行きません。要はgitリポジトリ内の各ファイルのアクセス日時を、そのファイルのgit履歴上での最終変更日時に戻したいという気持ちになるわけです。そうするとファイラー上でもいい感じにファイルがソートされるのです。 #!…

超技術書典で同人誌『入門 LiquidHaskell』を頒布できませんでした

2017-05-06T06:04:00+09:00

先日、ニコニコ超会議内で行われた「超技術書典」にて、LiquidHaskell の同人誌でサークル参加してきました。 lh101.dodgsonlabs.com 技術書典 2 ではそこそこの部数が出たので Haskell 同人誌の需要はゼロではないと踏んでいたのですが、びっくりするぐらい売れませんでした。とりあえず後に続く人が同じ轍を踏まないように、今回の様子について記録しておきます。頒布物頒布した同人誌は以下の 2 種類です。前者は技術書典 2 で頒布したものの増刷、後者は id:kazeula さんから委託を受けた新刊です。入門 LiquidHaskell −篩型による静的コード…

技術書典 2 で同人誌『入門 LiquidHaskell』を頒布しました

2017-04-11T04:40:41+09:00

先日、秋葉原で行われた技術書のオンリーイベント「技術書典 2」にて、LiquidHaskell の同人誌を頒布してきました。 lh101.dodgsonlabs.com LiquidHaskell は、SMT ソルバをバックエンドとして利用することで、Haskell の持つ型の表現力をより強化する仕組みです。通常の Haskell では型情報としてエンコードできない値レベルの制約を記述できるため、例えば「0 でない Int 型」を定義すればゼロ除算をコンパイル時に検知できます。以前の記事にちょっとした解説があります。当日は冊子版を 30 冊と PDF 版ダウンロードカードを 50 シリアル…

generateの罠

2017-03-11T23:24:28+09:00

vectorパッケージのData.Vectorにはgenerateという関数がある。 generate :: Int -> (Int -> a) -> Vector a 型から全てを知ることはできないが、だいたい想像通りgenerate n fは[f 0, f 1, f 2, ...f (n - 1)]からなるVectorを生成する。しかし、これは要素を評価はしない。生成されるのはあくまでサンクのVectorだ。 Prelude > import Data.Vector as V Prelude V> V.length $ V.generate 5 (const undefined) 5 ve…

LiquidHaskell コトハジメ

2016-12-25T15:06:06+09:00

このエントリは Haskell Advent Calendar 2016 および Formal Method Advent Calendar 2016 の 23 日目の投稿です。のはずでしたがすでに日付が変わりました。謹んでお詫び申し上げます。ちなみに 22 日目の担当者はそれぞれ Haskell Advent Calendar 2016 : heredocsの紹介 - Qiita Formal Method Advent Calendar 2016 : 農夫山羊キャベツ狼 - Qiita です。偶然ですが同じ方が執筆担当ですね。さて、本エントリでは Haskell の型の表現力をよ…

NGK2016B で Kubernetes + Alloy について話してきました

2016-12-19T06:01:47+09:00

先日、毎年恒例のなごや LT 大会 NGK2016B / 名古屋合同懇親会 2016 忘年会で発表してきました。机上の Kubernetes - 形式手法で見るコンテナオーケストレーション #NGK2016B from y_taka_23 www.slideshare.net 当日の動画は NGK 2016B LT #2 - YouTube から見ることができます。ちなみに NGK での発表は 4 年連続 4 回目です。今回も含めてすべてモデル検査が題材になっています。 NGK2013B : Alloy ではじめる簡単モデル検査 NGK2014B : 猫でもわかる！モデル検査器 SPI…

波打たせるものの正体(エクステンシブル・タングル)

2016-12-18T18:15:40+09:00

Haskell Advent Calendar 11日目リアルワールドなHaskellerは、幾十ものフィールドを持つ大きなレコードをしばしば扱う羽目になる。モナディックにレコードを構築したい場合、RecordWildCards拡張を用いて以下のようにするのが定番だ。 import System.Random data Rec = Rec { foo :: String, bar :: Int, baz :: Double, qux :: Bool } makeRec = do foo <- getLine bar <- length <$> getLine baz <- readLn qu…

[haskell][yesod] TypedContentを利用してクライアントが要求するフォーマットでレスポンスを返す

2016-12-17T15:16:26.835+09:00

Yesod Advent Calendar 2016の6日目の記事です。 RESTfulなAPIを提供する場合、クライアントの都合にあわせて、フォーマットを変えてレスポンスを返したいケースがあります。サーバー上で管理しているDBから、表現だけをHTML, JSON, XML, CSVなどに変更して返すイメージです。例えば、人物情報（名前、年齢、性別など）の一覧を返す際には以下のようなデータが返されることになります。 HTML

name	sex	age
Taro Yamada	Male	18
Hanako Yamada [haskell][yesod] stackのnewコマンドで指定できるyesod関連templateの説明 2016-12-03T23:37:28.283+09:00 現状、stackで指定できるyesod関連のtemplatesには以下のものがあります。どのtemplateに何が用意されているのか、知りたかったのですがどこにも説明されていないようなので、調べてまとめてみました。 % stack templates \| grep yesod yesod-hello-world （←現時点では削除されています） yesod-minimal yesod-mongo yesod-mysql yesod-postgres yesod-postgres-fay yesod-simple yesod-sqlite 以下、各テンプレートの説明です。後に出てくるテンプレートほど内容が複雑になっています。テンプレートを指定して新しいプロジェクトを生成する場合は以下のコマンドを実行します。 % stack new プロジェクト名 yesod-??? [emacs] emacs上のgrep関連機能、複数ファイルの一括置換手順のまとめ 2016-11-30T10:03:25.873+09:00 emacs上でgrep関連の機能を利用する際のTIPSをまとめておきます（よく忘れて調べ直すので…）。 grepコマンドのオプション指定ディレクトリ以下のファイルを再帰的に検索 -R DIR シンボリックリンクを辿る -r DIR シンボリックリンクは辿らない検索対象をファイル名でフィルタする --include=GLOB GLOBにファイル名を指定する。".cpp"のようにワイルドカード（,?,[...]）を指定可能検索対象から指定ファイル・ディレクトリを除外する --exclude=GLOB GLOBに除外するファイルのファイル名を指定する（ワイルドカード指定可能）。 --exclude-dir=DIR DIRに指定されたディレクトリをスキップ使用例： docディレクトリ以下の.txtを拡張子に持つ全てのファイルを対象に" [cygwin] cygwin64セットアップメモ 2016-11-28T00:47:36.358+09:00 自分向け備忘録。cygwin64環境をセットアップする際の手順をまとめておきます。設定 ssh-agent関連 ssh-agentの重複起動を防ぐ ssh-agentのために秘密鍵セットアップ ~/.ssh/ ※group/otherのrw権限は削除 ssh-agentがパスワードを覚えてくれなくなった問題への対処 pingのエラー回避ユーザーのアカウント名、ホームディレクトリの変更 /etc/passwdを編集する GNU screen でlessやvimの終了後に画面クリアをしない方法改行コードにCR+LFが用いられているbashスクリプトを実行するための設定 tcshのデフォルト補完設定のイマイチな部分を修正環境変数 HOME ホームディレクトリを設定 SHELL "/bin/tcsh"とすることでデフォルトのシェルが切り替わる HaskellのロガーKatipを試す 2016-10-31T02:55:12+09:00 モチベ Haskell の実行時ログ出力を行うライブラリは monad-logger が一番有名っぽい。これは Yesod 陣営が開発しているから安心感があるし、バックエンドが fast-logger なので速度も信頼できる。ただ (自分の調べ方が悪いのかもしれないが) ちょっと自分の用途には機能が足りなかった。具体的には以下の機能: ログにタイムスタンプを付記したい。ロガーに名前をつけたい。ファイルサイズか日付でログローテーションしたい。 Katip という別のロガーライブラリは機能が豊富のようなので今回はそれを試してみる。 (この記事のHaskell環境: lts-6.23) K… 割とすぐに始められるextensibleチュートリアル(レコード編) 2016-10-10T00:50:06+09:00 ごきげんよう諸君。今回はextensibleについて説明しよう。 extensibleはその名の通り、拡張可能なデータ構造を提供するライブラリである。具体的には、型レベルのリストによって特徴づけられる積と和を提供する。非常に残念なことに、GHC 8.0.1ではコンパイラのバグのせいでそもそもライブラリがビルドできない*1。来たる8.0.2では修正されているので、それを待つほかない。とにかく、ここでは積の応用技である拡張可能レコードについて紹介する。使い方は簡単だ。まず使いたいフィールド名をスペースで区切ってmkFieldに渡す。 {-# LANGUAGE TemplateHaskell, D… [haskell][yesod] YesodにおけるRESTfulなJSON API実装チュートリアル 2016-08-28T17:53:43.356+09:00 HaskellのwebフレームワークであるYesodにおいて、RESTful APIを実装する手順を紹介します。Haskell上のデータ構造をJSONテキストに変換する、逆に、JSONテキストをパースしてHaskell上のデータ構造を生成する、といった処理が非常に簡単に実現できます。加えて、コードを書かなくてもバックエンドのDBとのORマッピングが可能になっており、効率的に開発することができます。ここで紹介しているコードはgithubにコミットしています。準備： json-sampleというプロジェクト名でYesodのscaffolding siteをセットアップする空のプロジェクト生成 % stack new json-sample yesod-sqlite --system-ghc "--system-ghc"は省略可能。インストール済みのghcを使うことを指示し [haskell][yesod] stack対応版Yesod tutorial 2016-07-17T18:06:36.108+09:00 HaskellのwebサービスフレームワークにYesodというフレームワークがあります。Yesodに触れたことのない開発者向けに書かれたチュートリアルの一つにYesod tutorialがあり、手順に沿っていくだけで簡単なwebサービスを動作させることができ、Yesodで何ができるかを簡単に理解できるようになっています。ただ残念なことに、このYesod tutorialの記載は内容が古く、stackを利用した現行の手順とマッチしなくなっています。stackに対応している最新環境（Yesod 1.4.x）における順があると役に立つと思い、書き起こしてみました。 Before the real start（はじめに） Install（インストール手順） stackをインストールする。以下のサイトが参考になります。 installation instructions for [haskell][yesod] stack exec -- yesod devel で devel.hs: getAddrInfo: does not existというエラーになる問題の対処方法 2016-07-17T17:39:43.279+09:00 Widnwos環境での現象： windows上でyesodのscafolding siteをセットアップし、さあ起動！ブラウザから接続確認してOKとなるはずが、なぜか「The application isn't built」という表示が出てしまいました。このときターミナルには以下のようなログが出力されていました。 % stack exec -- yesod devel Yesod devel server. Type 'quit' to quit Application can be accessed at: http://localhost:3000 https://localhost:3443 If you wish to test https capabilities, you should set the following variable: export 写真の撮り方 2016-06-14T23:59:05+09:00 物体の発する光や反射した光を結像し、何らかの媒体に記録したものを写真と呼ぶ。カメラと呼ばれる道具には「撮影」という動作が必ず定義されており、撮影によって内部状態に画像を記録できる。内部状態を取り出して処理する(現像)ことで写真が得られる。大抵のカメラには以下のようなパラメータがあり、それらを最適化するのが撮影者の仕事になる。焦点(Focus) はっきりとした像を得るには、光学系の焦点をそれに合わせる必要がある。最近のカメラは対象物の距離を測定し、自動で焦点を合わせる(オートフォーカス)機能を持っているものもある。焦点距離(Focal length) 焦点距離が長いほど像は拡大されて見えるよ… 今のところ比較的簡単なモナドの作り方 2016-04-08T21:51:50+09:00 準備モナドを作るには、どんなモナドを作りたいか考える。モナドは一般に、どのようなアクションが使えるかによって特徴付けられる。その点ではオブジェクト指向におけるインターフェイスとよく似ている。では、foo :: String -> M Boolとbar :: M Intという二種類のアクションを持つモナドを作るとしよう。まず、どんなアクションが使えるかを表すデータ型を定義する。 {-# LANGUAGE GADTs #-} data MBase x where Foo :: String -> MBase Bool Bar :: MBase Int GADT(一般化代数的データ型)の各データ… GHC 8.0.1/base-4.9.0.0の新機能まとめ 2016-02-29T19:17:40+09:00 GHC 8.0.1は、最上位の桁が変わるだけあって、かなり新しい機能が追加されている。 base-4.9.0.0 めっちゃインスタンスが増えた ghc/changelog.md at ghc-8.0 · ghc/ghc · GitHubを参照。あるべきインスタンスが存在することにより、孤児インスタンスを定義する必要がなくなるため、ぐっとストレスが減る。Monoid a => Monad ((,) a)、Traversable ZipListなど、いくつかは私がやった。 Semigroup ついにData.Semigroupが追加された。将来的にはこれはモノイドのスーパークラスになる。この変更に… 比を最適化する 2016-02-04T21:47:14+09:00 二つの負でない実数、を考える。比をある値に近づけたいといった条件が複数あり、それらを最適化したいとき、どうするのがよいだろうか。序: 近道の階段簡単な方法の一つとして考えられるのは、単純に比の差をとり、それらの平方の和を最適化の対象とするというものだ。しかし、これは最適化の結果、しばしば、のどちらかが0にぶつかってしまう。これは目的関数として非常にいびつであり、直感的とも言いがたい。破: バリアフリー化 0や1に近い比率は極端であり、望まれていない。境界に近づくほど目的関数が無限大に発散するようにできないだろうか。そんなときに使えるのがロジットだ。ロジットは0より大きい1未満の実数を… [haskell][persistent][sqlite] Persistentパッケージ利用時にテーブルにインデックスを生成する方法 2016-01-30T17:12:12.076+09:00 PersistentパッケージにはMigration機能が備わっており、自動的にテーブルを生成してくれます。スキーマ変更を行った際にも、変換が可能な限りテーブル内のレコードを保持したまま新しいスキーマに変換してくれます（Migration機能については過去のエントリでまとめています）。自分が利用する上で、インデックスやトリガーを生成する手順が紹介されておらず困っていたのですが、rawExecuteという関数を用いることで自由にDDLを発行できることがわかりました。以下その手順とサンプルを紹介しておきます。サンプルコード：以下は、personテーブルのnameカラムにインデックスをs生成するサンプルです。runMigration実行直後に、runExecuteを実行することでインデックスを生成しています。このサンプルではインデックスを生成しているだけですが、同じ手順でトリガーの [haskell][persistent][sqlite] Persistentパッケージのmigration機能のまとめ 2016-01-30T17:11:40.032+09:00 HaskellでDB操作ができるPersistentパッケージの紹介をしましたが、このエントリではPersistentパッケージが提供しているmigration機能をまとめておきます。 DBを作って運用していると、機能追加や仕様変更に伴いスキーマ変更が必要になるケースが多々あります。このようなケースにおいてPersistentのmigration機能がどれくらい使えるのかを調べた結果です。基本： Persistetのmigration機構は（保守的なルールに沿って）スキーマ変更をある程度まで自動で処理してくれます。ロードしたDB内のテーブル情報と、コードで定義されたEntity Definition（テーブル定義）を比較し、以下のケースにおいてスキーマの変更を行います。カラムの型を変更した場合：ただし、値の変換ができない場合には、DBによって拒否されることになります。 [haskell][gcc][win] Windows版Haskell Platform付属のgccでC++11のコードをコンパイルする方法 2016-01-15T00:45:37.692+09:00 Windows版のHaskell Platformにはmingwが同梱されておりgccが含まれています。現在自分のPCにはHaskell Platform 2014.2.0.0をインストールしているのですが、これに付属されているgccでC++11のコードをコンパイルしようとすると、以下のようなエラーになってしまいました。 % gcc -std=c++11 cpp11.cpp cc1plus.exe: error: unrecognized command line option '-std=c++11' -stdオプションで"c++11"を指定しても、認識してくれません。本家のサイトによると、'-std=c++11'オプションはgcc 4.7でサポートされたようです。これに対し、Haskell Platform 2014.2.0.0に付属されているgccのバージョンを確認したところ [sqlite] SQLiteのロック・トランザクション関連仕様の整理 2016-01-06T12:11:40.986+09:00 SQLiteは共有ロック・排他ロックの仕組みを備えており、プロセス内の複数スレッド、だけでなく、プロセスをまたぐ状態でSQLが同時に発行されても適切に処理されます。トランザクションに複数のモードが存在し、指定するモードに依って取得されるロックが変わります。さらにSQLの内容に依存してロック状態が遷移するため、複数プロセスがアクセスしたときの挙動を正確に把握できるよう、仕様を整理してみました。（文中の「プロセス」は、正確には「プロセス、もしくはスレッド」を意味します。） DBのロック状態の種類： UNLOCKED ロックされていない状態。誰も読み書きしていない。DBの初期状態。 SHARED read可、write不可な状態。複数プロセスが同時にSHAREDロックを取得可能。複数プロセスが同時にreadできることを意味する。DBがこの状態にあるとき、他のプロセスからのデシリアライザとスキーマ 2015-12-30T22:16:49+09:00 盛大に遅れました… qiita.com 最近思いついたネタで実用性の高そうなものを紹介。 binaryやcerealのようなライブラリはデータを密にシリアライズするが、その際にフィールド名や型などの情報は失われてしまう。かといってそれらを一つ一つすべて含めるとひどく効率の悪いフォーマットになってしまう。そこで、スキーマを分離できるような仕組みを作れないかと考えて作ったのがこのクラスだ。 {-# LANGUAGE TypeFamilies, ScopedTypeVariables, FlexibleContexts, UndecidableInstances #-} import Data.Bi… [cygwin][haskell][emacs] MinGWでcygwinの"/cygdrive"パスにアクセスする裏技（cygwin環境のemacsでflycheckを動作させる方法） 2015-12-27T23:55:24.842+09:00 haskell関連のコマンドはMinGW上でビルドされているため、cygwin環境の"/cygdrive"から始まるパスには対応していません。haskell-hlintから呼び出されるhlintも当然この問題の影響を受けておりemacs関連の設定が適切にされていたとしても、以下のようなエラーが表示されてしまいます。ミニバッファに表示されるエラー詳細： Suspicious state from syntax checker haskell-hlint: Checker haskell-hlint returned non-zero exit code 1, but no errors from output: hlint.exe: Couldn't find file: /cygdrive/c/Users/Hiroyuki/tmp/flycheck_hello.hs 正格フラグ、バンパターン、正格版関数・データ構造 2015-12-10T20:06:30+09:00 Haskellスペースリーク Advent Calendar 2015 9日目 Haskellerとて、時には厳しくならなければいけないこともある―― @fumieval, 2015 Haskellは遅延評価を基本としているため、場合によっては未評価の式が積もり非効率な状況に陥ることがある。これを防ぐため、部分的に正格評価にするための仕組みが用意されている。もちろんこれらは闇雲に使えばよいというものではない。使うべきポイントを把握し、これらを見逃さないようにしよう。この記事では、それらの機能の正しい使い方、間違った使い方を紹介していこう。カウンター・カウンターズ・サンクス条件を満たす要素… [haskell][stack] stack exec ghciで”Couldn't match expected type"エラーが発生する問題の対処 2015-11-08T15:09:21.187+09:00 先日、haskellのパッケージ管理をcabalからstackに移行して「便利〜！」と感動していたところなのですが、stach exec ghciでソースをロードしようとすると"Couldn't match expected type: xxxxx"とエラーが発生する問題に遭遇しました。ネットの情報を参考に解決することができたのでその手順をまとめておきます。問題： stack buildは成功するにもかかわらず、stack exec ghci xxx.hs（xxx.hsはbuild対象のファイル）がエラーになる。 stack exec ghci実行時のエラーログ： % stack exec ghci FileToVec.hs GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help [1 of 1] [cygwin] cygwinのシェル起動時にPATHの先頭に/usr/binと/usr/local/binが勝手に追加されないようにする 2015-11-04T22:29:43.126+09:00 cygwinのデフォルトの設定では、シェル起動時に以下の2つのディレクトリが自動的にPATHの先頭に追加されます。 /usr/local/bin /usr/bin cygwinでインストールされているコマンドと同名の別コマンドを優先して起動したい場合には、この設定が邪魔になります。これを無効にするには以下の方法があります。お好みでどちらかを選択してください。 /etc/profileもしくは/etc/csh.loginの該当処理をコメントアウトする（bash / tcsh） cygwinがPATHを上書きしているのは、/etc/profile（bashの場合）と/etc/csh.login（tcshの場合）です。これらのスクリプトを編集することで、/usr/binと/usr/local/binが勝手に追加されないようにできます。 ORIGINAL_PATHでPATHを上書き動物、とくにヒトと性について 2015-10-27T23:52:44+09:00 我々脊椎動物は有性生殖をする。したがって、繁殖に寄与する性質が必然的に残り、そうでないものは消えてゆく。オスは精子、メスは卵を作り出すという非対称性があり、体つきや行動もそれに合わせるように決まるのは自然だ。一夫多妻制の種においては、オスはメスを取り合うためにより強靭で攻撃的な性質が要求される。日本では法律上一夫一妻制を取るが、その影響は強く残っているだろう。実際、オスとして生を受けた私も、コミュニティの中でそれを体感している。生まれつきの体質か、育った環境のせいかは知らないが、幼いころは体が弱かった(3才のころ、両足飛びができなかったそうだ)。そのため、幼いころの私の趣味は読書、ままごとや… [ssh] OpenSSHのアップデートでssh-agentがパスワードを覚えてくれなくなった問題への対処 2015-09-06T00:44:24.703+09:00 ssh-agent/ssh-addを利用してsshを用いたサーバーへのログイン時のパスワード入力を省略している方、OpenSSHのアップデートにより、毎回パスワード入力を求められるようになった場合は以下の設定を疑ってみてください。問題の症状： OpenSSHパッケージを最新版にアップデートすると発生するようになった問題です。ssh-agentを起動してssh-addで鍵を正しく登録しているにも関わらず、sshコマンドを実行する度に"password:"というプロンプトが表示されてパスワードの入力を求められてしまいます。環境：問題に遭遇＆解決した私のcygwin環境では以下のバージョンで問題が発生することを確認しました。 OpenSSH_7.0p1, OpenSSL 1.0.2d 9 Jul 2015 OpenSSH_7.1p1, OpenSSL 1.0.2d 9 Jul [cygwin] cygwin版X server（XWin）にリモートクライアントから接続できない問題の対処方法 2015-09-02T23:09:07.989+09:00 cygwinを最新バージョンにアップデートしたところ、リモートのX clientからwindows上のcygwin版X serverに接続できなくなってしまいました。対処方法は簡単でXWin起動時に"-listen tcp"オプションを付けてあげればよいだけです。cygwinバージョンアップ前にはオプション指定なしで接続できていたため、デフォルトの設定が変わったのだと思われます。 cygwin環境： uname -aで表示されるcygwinバージョン情報です。 % uname -a CYGWIN_NT-6.1 xxx 2.2.1(0.289/5/3) 2015-08-20 11:42 x86_64 Cygwin 問題発生時の症状：クライアント側で起動したxtermをサーバー側で表示しようとすると、以下のようなエラーになっていました。 % xterm xterm Xt [cygwin][emacs] cygwin版emacsでgtagsを使えるようにする方法 2015-08-17T00:49:02.649+09:00 これまでタグジャンプにはctagsを用いていたのですが、gtagsの「呼び出し元も一覧できる」という機能に惹かれてセットアップしてみました。いくつかはまりポイントがあったのでその対応方法も含め、手順を残しておきます。 cgwin提供のパッケージにはgtagsは含まれていなかったため、自前でビルドすることにしました。目次： gatgsの特徴 gtagsのインストール手順 emacsの設定 gtagsの使い方 gtagsの特徴：良い点！関数の呼び出し元を一覧表示しジャンプできる（gtags-find-rtag）関数だけでなく、ローカル変数を含む任意のシンボルをタグジャンプできる（gtags-find-symbol）正規表現で一覧絞り込み可能（gtags-find-pattern）開いているファイルで絞り込み可能（gtags-parsefiile）特定文字列 Haskell by Exampleを公開しました 2015-05-06T00:00:00Z Haskellでチャットサーバーを建ててみた 2015-04-27T00:00:00Z Unityハンズオン勉強会に参加しました@CAMPHOR- 2015-04-25T00:00:00Z Swift で分割コンパイルする方法 2015-02-07T00:00:00Z HaskellでSeleniumを使ってみる＠勉強会 2014-12-14T00:00:00Z

name

sex

age

Taro Yamada

Male

Hanako Yamada

[haskell][yesod] stackのnewコマンドで指定できるyesod関連templateの説明

2016-12-03T23:37:28.283+09:00

現状、stackで指定できるyesod関連のtemplatesには以下のものがあります。どのtemplateに何が用意されているのか、知りたかったのですがどこにも説明されていないようなので、調べてまとめてみました。 % stack templates | grep yesod yesod-hello-world （←現時点では削除されています） yesod-minimal yesod-mongo yesod-mysql yesod-postgres yesod-postgres-fay yesod-simple yesod-sqlite 以下、各テンプレートの説明です。後に出てくるテンプレートほど内容が複雑になっています。テンプレートを指定して新しいプロジェクトを生成する場合は以下のコマンドを実行します。 % stack new プロジェクト名 yesod-???

[emacs] emacs上のgrep関連機能、複数ファイルの一括置換手順のまとめ

2016-11-30T10:03:25.873+09:00

emacs上でgrep関連の機能を利用する際のTIPSをまとめておきます（よく忘れて調べ直すので…）。 grepコマンドのオプション指定ディレクトリ以下のファイルを再帰的に検索 -R DIR シンボリックリンクを辿る -r DIR シンボリックリンクは辿らない検索対象をファイル名でフィルタする --include=GLOB GLOBにファイル名を指定する。"*.cpp"のようにワイルドカード（*,?,[...]）を指定可能検索対象から指定ファイル・ディレクトリを除外する --exclude=GLOB GLOBに除外するファイルのファイル名を指定する（ワイルドカード指定可能）。 --exclude-dir=DIR DIRに指定されたディレクトリをスキップ使用例： docディレクトリ以下の.txtを拡張子に持つ全てのファイルを対象に"

[cygwin] cygwin64セットアップメモ

2016-11-28T00:47:36.358+09:00

自分向け備忘録。cygwin64環境をセットアップする際の手順をまとめておきます。設定 ssh-agent関連 ssh-agentの重複起動を防ぐ ssh-agentのために秘密鍵セットアップ ~/.ssh/ ※group/otherのrw権限は削除 ssh-agentがパスワードを覚えてくれなくなった問題への対処 pingのエラー回避ユーザーのアカウント名、ホームディレクトリの変更 /etc/passwdを編集する GNU screen でlessやvimの終了後に画面クリアをしない方法改行コードにCR+LFが用いられているbashスクリプトを実行するための設定 tcshのデフォルト補完設定のイマイチな部分を修正環境変数 HOME ホームディレクトリを設定 SHELL "/bin/tcsh"とすることでデフォルトのシェルが切り替わる

HaskellのロガーKatipを試す

2016-10-31T02:55:12+09:00

モチベ Haskell の実行時ログ出力を行うライブラリは monad-logger が一番有名っぽい。これは Yesod 陣営が開発しているから安心感があるし、バックエンドが fast-logger なので速度も信頼できる。ただ (自分の調べ方が悪いのかもしれないが) ちょっと自分の用途には機能が足りなかった。具体的には以下の機能: ログにタイムスタンプを付記したい。ロガーに名前をつけたい。ファイルサイズか日付でログローテーションしたい。 Katip という別のロガーライブラリは機能が豊富のようなので今回はそれを試してみる。 (この記事のHaskell環境: lts-6.23) K…

割とすぐに始められるextensibleチュートリアル(レコード編)

2016-10-10T00:50:06+09:00

ごきげんよう諸君。今回はextensibleについて説明しよう。 extensibleはその名の通り、拡張可能なデータ構造を提供するライブラリである。具体的には、型レベルのリストによって特徴づけられる積と和を提供する。非常に残念なことに、GHC 8.0.1ではコンパイラのバグのせいでそもそもライブラリがビルドできない*1。来たる8.0.2では修正されているので、それを待つほかない。とにかく、ここでは積の応用技である拡張可能レコードについて紹介する。使い方は簡単だ。まず使いたいフィールド名をスペースで区切ってmkFieldに渡す。 {-# LANGUAGE TemplateHaskell, D…

[haskell][yesod] YesodにおけるRESTfulなJSON API実装チュートリアル

2016-08-28T17:53:43.356+09:00

HaskellのwebフレームワークであるYesodにおいて、RESTful APIを実装する手順を紹介します。Haskell上のデータ構造をJSONテキストに変換する、逆に、JSONテキストをパースしてHaskell上のデータ構造を生成する、といった処理が非常に簡単に実現できます。加えて、コードを書かなくてもバックエンドのDBとのORマッピングが可能になっており、効率的に開発することができます。ここで紹介しているコードはgithubにコミットしています。準備： json-sampleというプロジェクト名でYesodのscaffolding siteをセットアップする空のプロジェクト生成 % stack new json-sample yesod-sqlite --system-ghc "--system-ghc"は省略可能。インストール済みのghcを使うことを指示し

[haskell][yesod] stack対応版Yesod tutorial

2016-07-17T18:06:36.108+09:00

HaskellのwebサービスフレームワークにYesodというフレームワークがあります。Yesodに触れたことのない開発者向けに書かれたチュートリアルの一つにYesod tutorialがあり、手順に沿っていくだけで簡単なwebサービスを動作させることができ、Yesodで何ができるかを簡単に理解できるようになっています。ただ残念なことに、このYesod tutorialの記載は内容が古く、stackを利用した現行の手順とマッチしなくなっています。stackに対応している最新環境（Yesod 1.4.x）における順があると役に立つと思い、書き起こしてみました。 Before the real start（はじめに） Install（インストール手順） stackをインストールする。以下のサイトが参考になります。 installation instructions for

[haskell][yesod] stack exec -- yesod devel で devel.hs: getAddrInfo: does not existというエラーになる問題の対処方法

2016-07-17T17:39:43.279+09:00

Widnwos環境での現象： windows上でyesodのscafolding siteをセットアップし、さあ起動！ブラウザから接続確認してOKとなるはずが、なぜか「The application isn't built」という表示が出てしまいました。このときターミナルには以下のようなログが出力されていました。 % stack exec -- yesod devel Yesod devel server. Type 'quit' to quit Application can be accessed at: http://localhost:3000 https://localhost:3443 If you wish to test https capabilities, you should set the following variable: export

写真の撮り方

2016-06-14T23:59:05+09:00

物体の発する光や反射した光を結像し、何らかの媒体に記録したものを写真と呼ぶ。カメラと呼ばれる道具には「撮影」という動作が必ず定義されており、撮影によって内部状態に画像を記録できる。内部状態を取り出して処理する(現像)ことで写真が得られる。大抵のカメラには以下のようなパラメータがあり、それらを最適化するのが撮影者の仕事になる。焦点(Focus) はっきりとした像を得るには、光学系の焦点をそれに合わせる必要がある。最近のカメラは対象物の距離を測定し、自動で焦点を合わせる(オートフォーカス)機能を持っているものもある。焦点距離(Focal length) 焦点距離が長いほど像は拡大されて見えるよ…

今のところ比較的簡単なモナドの作り方

2016-04-08T21:51:50+09:00

準備モナドを作るには、どんなモナドを作りたいか考える。モナドは一般に、どのようなアクションが使えるかによって特徴付けられる。その点ではオブジェクト指向におけるインターフェイスとよく似ている。では、foo :: String -> M Boolとbar :: M Intという二種類のアクションを持つモナドを作るとしよう。まず、どんなアクションが使えるかを表すデータ型を定義する。 {-# LANGUAGE GADTs #-} data MBase x where Foo :: String -> MBase Bool Bar :: MBase Int GADT(一般化代数的データ型)の各データ…

GHC 8.0.1/base-4.9.0.0の新機能まとめ

2016-02-29T19:17:40+09:00

GHC 8.0.1は、最上位の桁が変わるだけあって、かなり新しい機能が追加されている。 base-4.9.0.0 めっちゃインスタンスが増えた ghc/changelog.md at ghc-8.0 · ghc/ghc · GitHubを参照。あるべきインスタンスが存在することにより、孤児インスタンスを定義する必要がなくなるため、ぐっとストレスが減る。Monoid a => Monad ((,) a)、Traversable ZipListなど、いくつかは私がやった。 Semigroup ついにData.Semigroupが追加された。将来的にはこれはモノイドのスーパークラスになる。この変更に…

比を最適化する

2016-02-04T21:47:14+09:00

二つの負でない実数、を考える。比をある値に近づけたいといった条件が複数あり、それらを最適化したいとき、どうするのがよいだろうか。序: 近道の階段簡単な方法の一つとして考えられるのは、単純に比の差をとり、それらの平方の和を最適化の対象とするというものだ。しかし、これは最適化の結果、しばしば、のどちらかが0にぶつかってしまう。これは目的関数として非常にいびつであり、直感的とも言いがたい。破: バリアフリー化 0や1に近い比率は極端であり、望まれていない。境界に近づくほど目的関数が無限大に発散するようにできないだろうか。そんなときに使えるのがロジットだ。ロジットは0より大きい1未満の実数を…

[haskell][persistent][sqlite] Persistentパッケージ利用時にテーブルにインデックスを生成する方法

2016-01-30T17:12:12.076+09:00

PersistentパッケージにはMigration機能が備わっており、自動的にテーブルを生成してくれます。スキーマ変更を行った際にも、変換が可能な限りテーブル内のレコードを保持したまま新しいスキーマに変換してくれます（Migration機能については過去のエントリでまとめています）。自分が利用する上で、インデックスやトリガーを生成する手順が紹介されておらず困っていたのですが、rawExecuteという関数を用いることで自由にDDLを発行できることがわかりました。以下その手順とサンプルを紹介しておきます。サンプルコード：以下は、personテーブルのnameカラムにインデックスをs生成するサンプルです。runMigration実行直後に、runExecuteを実行することでインデックスを生成しています。このサンプルではインデックスを生成しているだけですが、同じ手順でトリガーの

[haskell][persistent][sqlite] Persistentパッケージのmigration機能のまとめ

2016-01-30T17:11:40.032+09:00

HaskellでDB操作ができるPersistentパッケージの紹介をしましたが、このエントリではPersistentパッケージが提供しているmigration機能をまとめておきます。 DBを作って運用していると、機能追加や仕様変更に伴いスキーマ変更が必要になるケースが多々あります。このようなケースにおいてPersistentのmigration機能がどれくらい使えるのかを調べた結果です。基本： Persistetのmigration機構は（保守的なルールに沿って）スキーマ変更をある程度まで自動で処理してくれます。ロードしたDB内のテーブル情報と、コードで定義されたEntity Definition（テーブル定義）を比較し、以下のケースにおいてスキーマの変更を行います。カラムの型を変更した場合：ただし、値の変換ができない場合には、DBによって拒否されることになります。

[haskell][gcc][win] Windows版Haskell Platform付属のgccでC++11のコードをコンパイルする方法

2016-01-15T00:45:37.692+09:00

Windows版のHaskell Platformにはmingwが同梱されておりgccが含まれています。現在自分のPCにはHaskell Platform 2014.2.0.0をインストールしているのですが、これに付属されているgccでC++11のコードをコンパイルしようとすると、以下のようなエラーになってしまいました。 % gcc -std=c++11 cpp11.cpp cc1plus.exe: error: unrecognized command line option '-std=c++11' -stdオプションで"c++11"を指定しても、認識してくれません。本家のサイトによると、'-std=c++11'オプションはgcc 4.7でサポートされたようです。これに対し、Haskell Platform 2014.2.0.0に付属されているgccのバージョンを確認したところ

[sqlite] SQLiteのロック・トランザクション関連仕様の整理

2016-01-06T12:11:40.986+09:00

SQLiteは共有ロック・排他ロックの仕組みを備えており、プロセス内の複数スレッド、だけでなく、プロセスをまたぐ状態でSQLが同時に発行されても適切に処理されます。トランザクションに複数のモードが存在し、指定するモードに依って取得されるロックが変わります。さらにSQLの内容に依存してロック状態が遷移するため、複数プロセスがアクセスしたときの挙動を正確に把握できるよう、仕様を整理してみました。（文中の「プロセス」は、正確には「プロセス、もしくはスレッド」を意味します。） DBのロック状態の種類： UNLOCKED ロックされていない状態。誰も読み書きしていない。DBの初期状態。 SHARED read可、write不可な状態。複数プロセスが同時にSHAREDロックを取得可能。複数プロセスが同時にreadできることを意味する。DBがこの状態にあるとき、他のプロセスからの

デシリアライザとスキーマ

2015-12-30T22:16:49+09:00

盛大に遅れました… qiita.com 最近思いついたネタで実用性の高そうなものを紹介。 binaryやcerealのようなライブラリはデータを密にシリアライズするが、その際にフィールド名や型などの情報は失われてしまう。かといってそれらを一つ一つすべて含めるとひどく効率の悪いフォーマットになってしまう。そこで、スキーマを分離できるような仕組みを作れないかと考えて作ったのがこのクラスだ。 {-# LANGUAGE TypeFamilies, ScopedTypeVariables, FlexibleContexts, UndecidableInstances #-} import Data.Bi…

[cygwin][haskell][emacs] MinGWでcygwinの"/cygdrive"パスにアクセスする裏技（cygwin環境のemacsでflycheckを動作させる方法）

2015-12-27T23:55:24.842+09:00

haskell関連のコマンドはMinGW上でビルドされているため、cygwin環境の"/cygdrive"から始まるパスには対応していません。haskell-hlintから呼び出されるhlintも当然この問題の影響を受けておりemacs関連の設定が適切にされていたとしても、以下のようなエラーが表示されてしまいます。ミニバッファに表示されるエラー詳細： Suspicious state from syntax checker haskell-hlint: Checker haskell-hlint returned non-zero exit code 1, but no errors from output: hlint.exe: Couldn't find file: /cygdrive/c/Users/Hiroyuki/tmp/flycheck_hello.hs

正格フラグ、バンパターン、正格版関数・データ構造

2015-12-10T20:06:30+09:00

Haskellスペースリーク Advent Calendar 2015 9日目 Haskellerとて、時には厳しくならなければいけないこともある―― @fumieval, 2015 Haskellは遅延評価を基本としているため、場合によっては未評価の式が積もり非効率な状況に陥ることがある。これを防ぐため、部分的に正格評価にするための仕組みが用意されている。もちろんこれらは闇雲に使えばよいというものではない。使うべきポイントを把握し、これらを見逃さないようにしよう。この記事では、それらの機能の正しい使い方、間違った使い方を紹介していこう。カウンター・カウンターズ・サンクス条件を満たす要素…

[haskell][stack] stack exec ghciで”Couldn't match expected type"エラーが発生する問題の対処

2015-11-08T15:09:21.187+09:00

先日、haskellのパッケージ管理をcabalからstackに移行して「便利〜！」と感動していたところなのですが、stach exec ghciでソースをロードしようとすると"Couldn't match expected type: xxxxx"とエラーが発生する問題に遭遇しました。ネットの情報を参考に解決することができたのでその手順をまとめておきます。問題： stack buildは成功するにもかかわらず、stack exec ghci xxx.hs（xxx.hsはbuild対象のファイル）がエラーになる。 stack exec ghci実行時のエラーログ： % stack exec ghci FileToVec.hs GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help [1 of 1]

[cygwin] cygwinのシェル起動時にPATHの先頭に/usr/binと/usr/local/binが勝手に追加されないようにする

2015-11-04T22:29:43.126+09:00

cygwinのデフォルトの設定では、シェル起動時に以下の2つのディレクトリが自動的にPATHの先頭に追加されます。 /usr/local/bin /usr/bin cygwinでインストールされているコマンドと同名の別コマンドを優先して起動したい場合には、この設定が邪魔になります。これを無効にするには以下の方法があります。お好みでどちらかを選択してください。 /etc/profileもしくは/etc/csh.loginの該当処理をコメントアウトする（bash / tcsh） cygwinがPATHを上書きしているのは、/etc/profile（bashの場合）と/etc/csh.login（tcshの場合）です。これらのスクリプトを編集することで、/usr/binと/usr/local/binが勝手に追加されないようにできます。 ORIGINAL_PATHでPATHを上書き

動物、とくにヒトと性について

2015-10-27T23:52:44+09:00

我々脊椎動物は有性生殖をする。したがって、繁殖に寄与する性質が必然的に残り、そうでないものは消えてゆく。オスは精子、メスは卵を作り出すという非対称性があり、体つきや行動もそれに合わせるように決まるのは自然だ。一夫多妻制の種においては、オスはメスを取り合うためにより強靭で攻撃的な性質が要求される。日本では法律上一夫一妻制を取るが、その影響は強く残っているだろう。実際、オスとして生を受けた私も、コミュニティの中でそれを体感している。生まれつきの体質か、育った環境のせいかは知らないが、幼いころは体が弱かった(3才のころ、両足飛びができなかったそうだ)。そのため、幼いころの私の趣味は読書、ままごとや…

[ssh] OpenSSHのアップデートでssh-agentがパスワードを覚えてくれなくなった問題への対処

2015-09-06T00:44:24.703+09:00

ssh-agent/ssh-addを利用してsshを用いたサーバーへのログイン時のパスワード入力を省略している方、OpenSSHのアップデートにより、毎回パスワード入力を求められるようになった場合は以下の設定を疑ってみてください。問題の症状： OpenSSHパッケージを最新版にアップデートすると発生するようになった問題です。ssh-agentを起動してssh-addで鍵を正しく登録しているにも関わらず、sshコマンドを実行する度に"password:"というプロンプトが表示されてパスワードの入力を求められてしまいます。環境：問題に遭遇＆解決した私のcygwin環境では以下のバージョンで問題が発生することを確認しました。 OpenSSH_7.0p1, OpenSSL 1.0.2d 9 Jul 2015 OpenSSH_7.1p1, OpenSSL 1.0.2d 9 Jul

[cygwin] cygwin版X server（XWin）にリモートクライアントから接続できない問題の対処方法

2015-09-02T23:09:07.989+09:00

cygwinを最新バージョンにアップデートしたところ、リモートのX clientからwindows上のcygwin版X serverに接続できなくなってしまいました。対処方法は簡単でXWin起動時に"-listen tcp"オプションを付けてあげればよいだけです。cygwinバージョンアップ前にはオプション指定なしで接続できていたため、デフォルトの設定が変わったのだと思われます。 cygwin環境： uname -aで表示されるcygwinバージョン情報です。 % uname -a CYGWIN_NT-6.1 xxx 2.2.1(0.289/5/3) 2015-08-20 11:42 x86_64 Cygwin 問題発生時の症状：クライアント側で起動したxtermをサーバー側で表示しようとすると、以下のようなエラーになっていました。 % xterm xterm Xt

[cygwin][emacs] cygwin版emacsでgtagsを使えるようにする方法

2015-08-17T00:49:02.649+09:00

これまでタグジャンプにはctagsを用いていたのですが、gtagsの「呼び出し元も一覧できる」という機能に惹かれてセットアップしてみました。いくつかはまりポイントがあったのでその対応方法も含め、手順を残しておきます。 cgwin提供のパッケージにはgtagsは含まれていなかったため、自前でビルドすることにしました。目次： gatgsの特徴 gtagsのインストール手順 emacsの設定 gtagsの使い方 gtagsの特徴：良い点！関数の呼び出し元を一覧表示しジャンプできる（gtags-find-rtag）関数だけでなく、ローカル変数を含む任意のシンボルをタグジャンプできる（gtags-find-symbol）正規表現で一覧絞り込み可能（gtags-find-pattern）開いているファイルで絞り込み可能（gtags-parsefiile）特定文字列

Haskell by Exampleを公開しました

2015-05-06T00:00:00Z

Haskellでチャットサーバーを建ててみた

2015-04-27T00:00:00Z

Unityハンズオン勉強会に参加しました@CAMPHOR-

2015-04-25T00:00:00Z

Swift で分割コンパイルする方法

2015-02-07T00:00:00Z

HaskellでSeleniumを使ってみる＠勉強会

2014-12-14T00:00:00Z

Planet Haskell (JP)

Elm でマテリアルデザインなウェブアプリを作った

[windows] Windows10セットアップ・設定項目のメモ

gojqのパーサーを書き直しました

Windows Terminal に MSYS2/MinGW64 を追加する

Windows のホームフォルダーにドットファイルを作らないでほしい

Featherweight Go を読んでみた

注意

TL;DR

前提知識

Featherweight Java

Goの型

型アサーション

用語と翻訳

プログラミング言語の形式的な議論

Expression Problem

Goで多相的な実装をする

FG と FGG

FGの構文

FGGの構文

単相化

単相化の例

ダミーメソッドが有効な例

単相化ができない場合

単相化の仕組み

他言語と単相化

実装について

おしまい

Surface Book 3を手にするまでの2ヶ月の苦闘の記録

jqのGo実装 gojq を作りました！ ― スタックマシン型インタープリタによるイテレータセマンティクスの実装

Hamler の Docker イメージを作る

Docker イメージを作る

コンパイラをビルドする

REPLを試すまで

おまけ：サンプルプログラム

おしまい

Haskell 環境構築ツールフローチャートを作りました

CloudNative Days Tokyo 2019 登壇こぼれ話 #CNDT2019

自分の Haskell プロジェクトの依存パッケージの古さを可視化する（その１）

ゴール

どうやるか

作る

CLI ツールの雛形

設定ファイルを読み取る

GitHub API で取得

YAMLを取り込む

組み合わせる

おしまい

FutureとUnpin

doesn't have a size known at compile-time

[mac] Mojavaクリーンインストール

[linux] gnupgによる暗号化処理時の確認プロンプトを抑制する方法

AVL木

家から出ない生活４週間

Haskell Servant で Slack からの署名付きリクエストを受ける

署名付きリクエスト

Haskellでエンコードする

Slash Command を受け取る

ContentTypeを自作する

APIの実装

おまけ：FromFormインスタンス

おしまい

barbies-thで気軽にHKDを堪能しよう [Haskell AdC 14]

Haskell Servant に GitHub Apps による認証を追加する

GitHub Apps による認証

Servant で認証機能

API の型

Cookie と JWT の設定

Protected なエンドポイント

ログインエンドポイント

callback エンドポイント

フロントにログインボタンを作る

おまけ：Readerモナド

おしまい

git-plantation の依存パッケージのバージョンアゲアゲ with LTS-15

ハイライト

extensible-0.8

github-0.25

servant-elm-0.7.1

おしまい

GHC 環境構築概観と PowerShell

第10章単純型の ML 実装

今日は吉祥寺.pm20 の日です