gomi_ningen 53ningen

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

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

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

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

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

アプリの状態とマルチタスキング

全体的に簡略化し、必要と思われる部分を抜粋しました。

Not running

アプリは起動されていないか、実行されていたけれどもシステムによって終了されています。
Inactive

15.1 ケースクラスとパターンマッチ

今回扱う例：算術式を扱うサンプル Expr (Expression)

abstract classの中身を実装していく変数、数値、単項演算（-, ++, !, ...）、二項演算(+, - , <, &&)

abstract class Expr
case class Var(name:String) extends Expr
case class Number(num:Double) extends Expr

https://gist.github.com/mala/5062931

の続き。

Twitterの人に色々と問題点は伝えたんだけど、これからOAuthのサーバー書く人や、クライアント書く人が似たような問題を起こさないようにするために、どうすればいいのかについて簡単に書きます。既存の実装真似して作るとうっかりひどい目にあう。

自分は意図的に「Twitterの脆弱性」という表現を使わないように気を使っていて、それはクライアントアプリ側の責任もあるからなのだけれども、安全に実装するための方法がわかりにくかったり誤解を招きやすかったり、Twitterに買収されているTweetDeckにも問題があったりしたので、それはやっぱりTwitter側の責任の比重が大きいとは思う。とはいっても別に責任を追求したかったり◯◯はクソだといったことを言いたいわけではなく、誰が悪いとか言う以前に、複合的な要因によって問題が起きるときには原因を正しく理解する必要があると思う。

そもそも何を担保に安全性を保証しているのか

サーバー側で秘密の鍵を持っている(それが無いとアクセストークンを取得できない or 使えない)

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

	(**
	* 圏論勉強会 @ ワークスアプリケーションズ#8
	* http://nineties.github.io/category-seminar/8.html#/55
	* 練習問題回答
	*
	* 実行方法(for SML/NJ)
	* $ cat banana.cm
	* group
	* is
	* $/basis.cm

	import java.math.BigInteger;

	class Trampoline<T>
	{
	public T get() { return null; }
	public Trampoline<T> run() { return null; }

	T execute() {
	Trampoline<T> trampoline = this;

	#!/bin/sh
	# add a simple 'nuget' command to Mac OS X under Mono
	# get NuGet.exe binary from http://nuget.codeplex.com/releases/view/58939
	# get Microsoft.Build.dll from a Windows .NET 4.0 installation
	# copy to /usr/local/bin and Robert is your father's brother....
	#
	PATH=/usr/local/bin:$PATH
	mono --runtime=v4.0 /usr/local/bin/NuGet.exe $*

	def index(id:String) = Action {
	getFirstData(id)
	}
	private def getFirstData(id:String) = {
	Cache.get(id) match {
	case Some(id2) => getSecondData(id2)
	case None => NotFound
	}
	}
	private def getSecondData(id2:String) = {

	#!/usr/bin/env sh

	##
	# This is script with usefull tips taken from:
	# https://github.com/mathiasbynens/dotfiles/blob/master/.osx
	#
	# install it:
	# curl -sL https://raw.github.com/gist/2357277/hack.sh \| sh
	#