pocketberserker pocketberserker

Scalaz	Cats
Cobind	CoflatMap
Bind	FlatMap
MonadPlus	MonadCombine
PlusEmpty	MonoidK
Foldable1	Reducible
Plus	SemigroupK
These	Ior
Validation	Validated

MQTT とはなんだったのか

更新:	2017-05-09
作者:	@voluntas
バージョン:	3.14
URL:	http://voluntas.github.io/

MQTT をググって調べた人向け

Raftについて

Raftという分散合意アルゴリズムの紹介
論文: In Search of an Understandable Consensus ALgorithm (Extended Version)

注意

Raft三日目くらいの人が自分の理解をもとに(適当に)書いています

Scalaz-Streamの基本的なクラスや概念まとめ

versionは0.7a

scalaz-streamが依存してるライブラリ内のclass

`scalaz.concurrent.Future`

scalaz-streamではなくscalaz-concurrentにあるクラス
scalaz-streamは、これと Task にかなり依存してるので、まずはこれらを理解することが重要

ぱぴろん非公式ドキュメント

ぱぴろんとは？

ぱぴろん(Papylon)は、満たすべき性質(property)を記述することでテストケースを自動生成する Python 用テスティングツールです。いわゆる"QuickCheck"系の流れを汲み、 FsCheck と ScalaCheck の影響を強く受けています。テストしたい対象の振る舞うべき性質を記述して実行すると、テストケースをランダムに生成して実行し、性質が成り立つかどうかを確認します。

簡単な例

目標

see: https://github.com/bleis-tift/SmlSharpContrib

SML#のライブラリが足りないのでなんとかしたい。

方針(検討中)

こったライブラリにはしない
適当なCライブラリの薄いラッパにする
メソッドはすべて移植する(よっぽど不要なやつは省く?)

Scala の省略ルール早覚え

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

メソッド定義

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

各言語のコレクション操作高階関数（メソッド、手続き）

Language
Common Lisp	mapc	mapcar	find-if	remove-if-not	reduce	reduce :from-end t	some	every
Scheme	for-each	map	find	filter	fold, fold-left	fold-right	any, exists	every, for-all
Haskell	mapM_	map	find	filter	foldl	foldr	any	all
Caml Light	do_list	map	-	-	it_list	list_it	exists	for_all
OCaml	iter	map	find	filter, find_all	fold_left	fold_right	exists	for_all
F#	iter	map	find	filter	fold	foldBack	exists	forall

「Javaで継続モナド」をScalaに翻訳

この記事はScala Advent Calendar 2013の7日目の記事です。

昨日は @shogogg さんのScala + sbt-android + IntelliJ で快適Androidアプリ開発でした。

明日は @takezoux2 さんのScalaのParserCombinator実践入門＋です。

継続モナドを調べていたら、@terazzo さんのJavaで継続モナドという記事が非常に判りやすかったんですが、サンプルコードがJavaのボイラープレートの嵐でちょっと読むのが辛い感じだったのでScalaで翻訳してみました、というのがこの記事です。

	Inductive Term : Set :=
	\| T
	\| F
	\| TIf (_ : Term) (_ : Term) (_ : Term).

	Inductive Step : Term -> Term -> Prop :=
	\| EIfTrue : forall (t1 t2 : Term), Step (TIf T t1 t2) t1
	\| EIfFalse : forall (t1 t2 : Term), Step (TIf F t1 t2) t2
	\| EIf : forall (t1 t1' t2 t3 : Term), Step t1 t1' -> Step (TIf t1 t2 t3) (TIf t1' t2 t3).