saharan

// 末尾に使用例
// 好きに改造して使ってください

#include <fstream>
#include <iostream>
#include <sstream>
#include <string>
#include <vector>

using namespace std;

gakuzzzz

MonadTransformer とは何か

注意書き

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

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

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

yonta

SMLチートシート

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

gakuzzzz

主要な型クラスの紹介

• 2014/07/13 Scalaz勉強会
• @gakuzzzz
• 中村 学
• 株式会社Tech to Value
• play2-auth が scala-awesomeに載りました

宣伝

gakuzzzz

Scala の省略ルール早覚え

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

メソッド定義

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

gakuzzzz

trait と abstract class の使い分け

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

gustavohenrique

# 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>

ryo-murai

Matchers in scalatest

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

等価性(equality)

• 上記の例のように be の後の()の中に期待値を書く。 name should be ("scala")
• be の代わりに equal も使える。