pocketberserker pocketberserker

MonadTransformer とは何か

この記事は Monad がわかる人に向けた MonadTransformer の解説記事です。

すごいH本や FP in Scala などでモナドまではイメージが掴めたけれど、モナドトランスフォーマーが何かわからない、という層をターゲットに想定しています。

基本的に Functor, Applicative, Monad および型クラスについては把握しているものとしますので、この辺があやふやな方は別の資料などをご参照下さい。

float32
float64
int
int8
int16
int32
int64

2017 年 4 月 1 日に行われた Elixir Conf Japan 2017 の発表者用のメモです。

In the language specification, the translation rule of do! e; is defined as follows:

T(do! e;, V, C, q) = T(let! () = src(e) in b.Return(), V, C, q)

And the signature of Return is usually 'a -> M<'a>, so the type of do! e; results M<unit>.

著者はレスリー・ランポート (Leslie Lamport), 1978年。

分散アルゴリズムの書籍や論文でお馴染みの、分散システムにおけるイベント群の順序や時刻の概念を説明している論文。

! が先頭についている箇所は、要約者による(いい加減な)注釈。

第二部は四章からなり、以下の内容を扱っている:

六章:

	using System;
	using System.Collections.Generic;
	using System.Linq;

	public interface Relation { }
	public interface Relation<K, out V> : Relation
	{
	V Get(K key);
	}

	package msgpack4z

	import java.math.BigInteger

	import scodec.Attempt
	import scodec.bits.{BitVector, ByteVector}
	import scodec.msgpack.codecs.MessagePackCodec
	import scodec.msgpack.{MNil, MessagePack, Serialize}

	object ScodecPacker {