gomi_ningen 53ningen

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

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

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

The original is licensed using the MIT license.

モナドのもう一つの圏論的な見方は Eilenberg-Moore 圏だ。モナドの EM 圏は、モナドの代数の圏だ。

例えば、List モナドの代数は Scala の Monoid だ。List モナドの EM 圏は、モノイドを対象 (object) としモノイド準同型（10 章を参照）を射 (arrow) とする圏だ。

フロントエンドを楽にするために

Qiitaを支えたい技術 at 時雨祭

	■未検討の疑問点
	・抽象的に考えるにはどのような環境・制約が必要なのか？
	・プログラムを書く上でどこまで抽象化するのか？
	・抽象化をする上で適切な言語の選択はあるのか？
	・OSのような強制的な抽象化とフレームワークのような非強制的な抽象化の共通点は？相違点は？
	・抽象化は役に立つのか？何の役に立つのか？
	・抽象化をよくやる人とそうでない人がいると思うが、後者が抽象化するメリットはあるのか？
	・よくやる人とそうでない人を分けた理由は
	・「抽象化は手段だ」説←何のための手段か？
	・日常生活にも抽象化はあるのか？あるなら具体例は？

	#coding: utf-8
	#+-----------------------------------------------------------------------------+
	#\| Brainfuckをごちうさチックにしたやつ \|
	#\| Gochiusa v1.0 \|
	#\| MIT License \|
	#\| \|
	#\| ソースコードファイルの拡張子はitoarかgudを適当に推奨 \|
	#\| (Is The Order A Rabbit と [ご]注文は[う]さぎ[で]すか?から採用) \|
	#\| デフォルトでは出力・入力ともにUTF-8なので必要なら適当に変えて \|
	#\| 所定の文字列以外では空白と改行が許されます \|

	#!/bin/sh
	set -x

	GITLAB_URL='http://ec2-xx-xx-xx-xx.ap-northeast-1.compute.amazonaws.com:81'

	# docker
	sudo apt-get update
	sudo apt-get install -y libsqlite3-dev
	sudo apt-get install -y docker.io

	lsof -i:9000
	openssl passwd -1