T. Katsushima t-katsushima

MonadTransformer とは何か

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

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

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

SMLは宣言を並べていく言語
- 宣言同士は;で区切れる（省略可）
- REPLの多くは;ごとにコンパイルが走る
拡張子は.sml
- シグネチャーは.sig
- SML#ではインタフェースファイル.smiもある
- NJではコンパイル用に.cm、MLtonでは.mlbなども
構成、分解の例を使って説明する

このルールさえ押さえておけば、読んでいるコードが省略記法を使っていてもほぼ読めるようになります。

def concatAsString(a: Int, b: Int): String = {
  val a_ = a.toString();
  val b_ = b.toString();

基本は迷ったら trait にしておけば良いと思います
- trait は一つの class に複数 mixin できますが、class は一つしか継承できません
- つまり、trait であれば mixin される class を気にしなくてよいですが、 abstract class にした場合は、extends される class が他に継承したい物が無いか気にする必要があります
trait はコンストラクタを持つ事ができませんが、abstract class はコンストラクタを持つ事ができます
- 従って、型引数に制約をつけたい時や、共通のフィールドの初期化などがある場合は、abstract class にすると楽な場合があります。
以下に具体例を示します。良くある Java の enum を Scala で定義する場合の例です。

scalatestでは a should be (b)のように、「検査対象の値が〜であること」(この例では「aはbであること」)という書き方をする。「〜である」を指定する方法(Matcherと呼ぶ)がいくつかあるので簡単にまとめてみる

	# request.xml
	<soapenv:Envelope xmlns:soapenv="http://schemas.xmlsoap.org/soap/envelope/" xmlns:wst="http://sensedia.com/repository/wstoolkit">
	<soapenv:Header>
	<wsse:Security soapenv:mustUnderstand="1" xmlns:wsse="http://docs.oasis-open.org/wss/2004/01/oasis-200401-wss-wssecurity-secext-1.0.xsd" xmlns:wsu="http://docs.oasis-open.org/wss/2004/01/oasis-200401-wss-wssecurity-utility-1.0.xsd">
	<wsse:UsernameToken wsu:Id="UsernameToken-1">
	<wsse:Username>system</wsse:Username>
	<wsse:Password Type="http://docs.oasis-open.org/wss/2004/01/oasis-200401-wss-username-token-profile-1.0#PasswordText">manager</wsse:Password>
	<wsse:Nonce EncodingType="http://docs.oasis-open.org/wss/2004/01/oasis-200401-wss-soap-message-security-1.0#Base64Binary">DWk64SMfJ6RxHAKgPRGtPA==</wsse:Nonce>
	<wsu:Created>2013-04-17T18:36:54.013Z</wsu:Created>
	</wsse:UsernameToken>