Download - これまでのScala これからのScala (20100904 Scala座#01 )

これまでのScala

これからのScala

12010/09/04Scala座 #01

2010年9月4日土曜日

ID:yuroyoroゆろよろ

2

自己紹介


Scalaの普及活動してまう

•CodeZineで記事書いたり

•Scala発火村やったり

•本も書いてるとこで。

3


今日のおはなし

•これまで編✓ Scalaって?

✓ Scala Way✓ 事例的なアレ

•これから編✓ 2.8についてkwsk

✓ Beyond 2.8

4


これまで編

5


Scalaって?


JVM上で動作する、

オブジェクト指向 + 関数型の

静的型付けである、

ハイブリッド言語

by Maartin Odersky


オブジェクト指向

+

関数型

な

ハイブリッド言語

8


「大事なことなので

2回言いました」

9


クラスファイルを生成して

JVMで動作する

JVMscalaのソースをコンパイルするとclassファイルが生成される

コンパイル

.scala.scala

.scala.class

war

.scala.class

scalaLibrary.jar


「Javaとどう違うのん?」


Less typingを目指した言語仕様


型推論

scala> val list = List("foo","bar","baz")list: List[java.lang.String] = List(foo, bar, baz)


ファーストクラス関数と

クロージャ

scala> list map{ s => s * 2 }

res6: List[String] = List(foofoo, barbar, bazbaz)


パターンマッチ

scala> list.headOption match{ ¦ case Some( s ) => s * 2 ¦ case None => "" ¦ }res9: String = foofoo


traitによるMix-in

scala> case class Person(name:String,age:Int) extends ¦ Ordered[Person]{ ¦ def compare(that:Person) = ¦ if(name.compare(that.name) == 0) ¦ age.compare(that.age) ¦ else name.compare(that.name)defined class Person

scala> Person("ozaki",18) > Person("ozaki",20)res4: Boolean = false


Read-Eval-Print Loop

対話型評価環境

17


すぐに動作確認できる

18


REPL


すぐに動作確認できる

20


「大事なことなので(ry」

21


テスト書く → REPLで確認

↓

コード書く

↑

テストする ←

↓

「サイクルがLL」


Specs

"A full stack"->-(fullStack) should {

behave like "A non-empty stack below full capacity"

"throw an exception when sent #push" in {

stack.push(11) must throwAn[Error]

}

}


TDDと黄金の回転

24by @t_wada2010年9月4日土曜日

「ScalaはLLですからっ!!(ｷﾘｯ」


Scalaのコードはこんな感じ


27

Hashtag検索import scala.xml._

import scala.io.Source

object HashTagSearch {

def main( args:Array[String] ){ val url =

"http://search.twitter.com/search.atom?q=%s".format( args.head )

XML.load( new java.net.URL( url ) ) \\ "entry" map{ e =>

"%s:%s" format( e \\ "author" \\ "name" text , e \\ "content" text)

} foreach{ println }

}

}2010年9月4日土曜日

http://search.twitter.com/search.atom?q=lltiger


28

OneLinerにしてみた

scala.xml.XML.load(new java.net.URL

("http://search.twitter.com/

search.atom?q=scalaza01")) \\ "entry"

map{e => "%s:%s" format(e \\ "author"

\\ "name" text,e \\ "content" text)}

foreach{ println }






Scala Way


関数型的にも

手続き的にも

30


valとvar

31


immutableとmutable

32


高階関数とfor/while

33


パターンマッチとif/else

34


Optionとnull

35


手続き型から

関数型へ

36


ケーススタディ01

Charの出現回数の

カウント

37


手続き型的に書いてみると

def countChar(s:String,c:Char) = { var cnt = 0 for( x <- s ){ if( x == c ) cnt = cnt + 1 } cnt}


「すごく…ダサいです…。」

39


関数型では…

40


入出力をリストで

考える

41


コレクションのfor

と

ローカル変数のvar

42


高階関数に

変換可能

43


関数型的に書いてみると

def countChar(s:String,c:Char) = s filter{ c == } size


45

•入力 = Charのリスト

•出力 = リストのうち、charに該当するものを抽出したリストのサイズ


「すごく…短いです…。」

46



簡易cat

47



def cat(name:String) = {

val f = new JFile(name)

if(f.exists && f.isFile)

Source.fromFile(f).mkString

else

"No such file : %s" format(name)

}


関数型とオブジェクト指向の

エッセンスを

49


ケースクラス

Option

パターンマッチ

50


ケースクラスの導入

abstract class Path

case class File(name:String,file:JFile) extends Path

case class Dir(name:String,file:JFile) extends Path


Optionの導入

def file(name:String) = new JFile(name) match {

case f if f.exists && f.isFile => Some(File(name,f))

case f if f.exists && f.isDirectory => Some(Dir(name,f))

case _ => None

}


パターンマッチにしてみる

def cat(name:String) = path(name) collect {

case File(name,f) => Source.fromFile(f).mkString

case Dir(name,f) => "%s is directory" format(name)

} getOrElse("No such file : %s" format(name))


「長くなってね?」

54


WARNING:

仕様変更発生

55


「行番号つけて♥」

56


「grepも作って♥」

57



簡易grep

58



def grep(name:String,pattern:String) =

“もうマンドクセ”


traitを導入

60


テキストを持つtraittrait Text {

val content:String

val name:String

def formatLine( n:Int,s:String) =

"%s:%3d:%s" format (name, n+1, s)

def withLineNumber = content.lines.zipWithIndex

def formatWithLineNumber =

withLineNumber.map{ case (s,n) => formatLine(n,s)}

}


行番号付きでcatするtrait

trait Cat extends Text{

def cat = formatWithLineNumber foreach{ println }

}


grepするtrait

trait Grep extends Text {

def grep(pattern:String) = {

val r = pattern.r

withLineNumber collect{

case (s,n) if r.findAllIn(s).nonEmpty =>

formatLine(n,s)

} foreach{ println }

}

}


traitをケースクラスにabstract class Path {

def cat:Unit

def grep(pattern:String):Unit

}

case class File(name:String,file:JFile) extends Path with Cat with Grep{

val content = Source.fromFile(file).mkString

}

case class Dir(name:String,file:JFile) extends Path {

def cat = file.list.foreach{ println } def grep(pattern:String) = file.list.map{ s => path(name+“/”+s) }.

toSeq.flatten.foreach{ f => f.grep(pattern) }

}


WARNING:

仕様変更発生

65


「URLからcat/grepしたい♥」

66


ケースクラスを追加でおｋ

case class URL(name:String) extends

Path with Cat with Grep{

val content =

Source.fromURL(new java.net.URL(name)).mkString

}



untilを作ってみる

68


def until( p: => Boolean)(f: => Unit) = while( !p ) f

p : 条件

f : 繰り返す処理


制御構文のように見えるscala> var cnt = 0

cnt: Int = 0

scala> until(cnt > 5 ){ println(cnt);cnt = cnt + 1 }

0

1

2

3

4

5



#librahack

71


import com.yuroyoro.util.net._

object LibraHack {

def crawl( keyword:Sting) = {

val qs = "hidKensakuF=1&Page=1&lang=jpn&sel1=1&key1=%s&sel2=2&key2=&sel3=3&key3=&sel4=4&key4=&andor=0&SortKubun=1&isbn=&bookz=1&taiz=1&year-from=&year-to=&GengoKubun=no" format( encodeURL(keyword) )

val res = new HttpConnection( "http://www.library.okazaki.aichi.jp/tosho/asp/Book_Kensaku_g.asp").

method(HttpPost).

param( "Accept" -> "application/xml, application/xhtml+xml, text/html;q=0.9, text/plain;q=0.8, image/png, */*;q=0.5").

param( "User-Agent" -> "Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10_6_4; ja-jp) AppleWebKit/533.17.8 (KHTML, like Gecko) Version/5.0.1 Safari/533.17.8").

param( "Content-Length" -> qs.length.toString ).

body( qs ).

asSource

}

}


http://www.library.okazaki.aichi.jp/tosho/asp/Book_Kensaku_g.asp




タイーホされるので

ここまでです

73


事例的なアレ


「どこかつかってんの?」


‣Twitter‣FourSquare‣LinkedIn‣Novel Pulse‣Électricité de France Trading

‣Xebia‣XMPie(Xerox)‣Sony Pictures Imageworks

‣Siemens‣GridGain‣AppJet‣Reaktor‣Triental‣Sygneca‣HD Holdings‣SAIC Mimesis Republic

‣WattsOn


みんな大好きついったーもScalaで動いてます


ついったーのバックエンドはScalaがいっぱい


Kestrel memcacheを話す分散メッセージキュー

Gizzard 分散DBのためのsharding framework


Twitter Streaming API Architecture http://www.slideshare.net/jkalucki/chirp-2010streamingapiarchpost

Streaming APIのbackend


http://www.slideshare.net/jkalucki/chirp-2010streamingapiarchpost

http://www.slideshare.net/jkalucki/chirp-2010streamingapiarchpost

84


Lift Web Framework


‣ フルスタック

‣ ajax/cometサポート

‣ view firstなアプローチ


PHPからScala/Liftへ3ヶ月で移行


CodeZineに記事書いたのでそちらを


これから編

89


2.8についてkwsk


2010/07/15Scala 2.8.0 final正式リリース


‣package object

‣名前付き/デフォルトパラメータ

‣コレクションライブラリ再設計

‣@specializeによる最適化


‣限定継続サポート

‣末尾再帰最適化

‣break/continue‣ScalaSwingをblushup

‣REPLが便利に

‣implicitの解決を最適化

‣XML,Actorに機能追加

…etc


名前付き/デフォルトパラメータ

scala> def foo( s:String = "hoge" , n:Int = 1 ) =

¦ println("%s:%2d" format(s,n))

foo: (s: String,n: Int)Unit

scala> foo()

hoge: 1

scala> foo("aaa")

aaa: 1

scala> foo(n = 3 )

hoge: 3

scala> foo(n = 5 , s = "bar")

bar: 5

引数省略

第2引数省略

名前付きで呼び出し


scala> case class 彼女(firstName:String,lastName:String,age:Int)

defined class 彼女

scala> val nene = 彼女(" 姉ヶ崎","寧々",18)

nene: 彼女 = 彼女(姉ヶ崎,寧々,18)

scala> val 俺の嫁 = nene.copy( firstName = "尾崎")

俺の嫁: 彼女 = 彼女(尾崎,寧々,18)

ケースクラスのcopy (2.8で追加)


コレクションライブラリ再設計

✓ほとんどのAPIがtraitに✓Traversable,Iterable

✓mapなどが元の型を保持するようになった

✓collect/scanLeftなど便利なAPIが追加された


scala> Map("a" -> 1, "b" -> 2 ,"c" -> 3).map{ case (k,v) => (k*2,v*2) }

res1: Iterable[(String, Int)] = ArrayBuffer((aa,2), (bb,4), (cc,6))

2.7まで

scala> Map("a" -> 1, "b" -> 2 ,"c" -> 3).map{ case (k,v) => (k*2,v*2) }

res12: scala.collection.immutable.Map[String,Int] = Map((aa,2), (bb,4), (cc,6))

2.8


scala> val l = Seq("foo","bar","baz")

l: Seq[java.lang.String] = List(foo, bar, baz)

scala> l collect{ case s if s.startsWith("b") => s * 2 }

res14: Seq[String] = List(barbar, bazbaz)

TraversableLike#collect[B](pf: PartialFunction[A, B]): Seq[B]

PartialFunctionを利用してfilterとmapをまとめて行うようなもの


scala> l.scanLeft("hoge"){ (b,a) => "%s:%s" format (a,b) }

res31: Seq[java.lang.String] = List(hoge, foo:hoge, bar:foo:hoge, baz:bar:foo:hoge)

scala> (1 to 10).scanLeft(0){ (b,a) => b + a }

res36: scala.collection.immutable.IndexedSeq[Int] = Vector(0, 1, 3, 6, 10, 15, 21, 28, 36, 45, 55)

TraversableLike#scanLeft[B, That](z: B)(op: (B, A) => B)(implicit bf: CanBuildFrom[Seq[A], B, That]): That

foldLeftのようにそれまでの計算結果をもとにリストを生成する

イメージ的にfoldLeft + map


Package object

✓packageにメソッドや変数を定義できる

✓package毎にPreDefを定義できる

✓package objectの定義はpackage内部のどこからでも参照できる

✓Pythonの__init__.pyに近い?


package com.yuroyoro.util

package object net {

type URL = java.net.URL

type HttpConnection =

java.net.HttpURLConnection

def queryStrings[A,B]( params:(A,B) *) =

params.map{ case ( k, v ) =>

"%s=%s" format(k,v) }.toList.mkString("&")

}


scala> import com.yuroyoro.util.net._

import com.yuroyoro.util.net._

scala> queryStrings( "foo" -> "hoge","bar" -> "fuga")

res0: String = foo=hoge&bar=fuga


@specializeによる最適化

✓プリミティブ型に対するboxing/unboxingを回避

✓@specializeが付与されたパラメータは、プリミティブ型をとるメソッド等がオーバーライドされて生成される


class Cell[@specialized(Int) A](var v:A ){

def apply:A = v

def update(x:A) = v = x

}


public class Cell extends java.lang.Object implements scala.ScalaObject{

public java.lang.Object v;

public java.lang.Object v();

public void v_$eq(java.lang.Object);

public java.lang.Object apply();

public void update(java.lang.Object);

public int v$mcI$sp();

public void v$mcI$sp_$eq(int);

public int apply$mcI$sp();

public void update$mcI$sp(int);

public boolean specInstance$();

public Cell(java.lang.Object);

}

int専用の定義が生成されてる


Beyond 2.8


2010/9 - 2010/10Scala 2.8.1

小規模なBugfix


GitHub

mirrorができましたhttp://github.com/scala/

scala


http://github.com/scala/scala




2010/12 - 2011/1Scala 2.9


Parallel collection


‣並列処理可能なcollection

‣2.8のcollection APIと互換

‣従来のcollectionは1コアしか

使わない

‣Parallel collectionはコア数で

スケール

‣nightly buildには入ってる


http://www.scala-lang.org/node/7285




Scala 3.0


mdd support


すいません


Scala 3.0 could include: unification of tuples + function args, better

type inference, union types

Virtual classes still on the "research" roadmap, but has no owner

Multimethods: definitely a research project. Unlikely to happen, unless someone implements it and nothing breaks.

@jorgescala


Virtual Class ?MultiMethods ?


よくわかんないので誰か教えてください


- A.D 2010

時代はマルチコアコア数を使い切らないアプリケーションは

パフォーマンスが頭打ちになる


そこで並行プログラミング

Message Passing = Actor

そしてParallel collection


Scalaは

マルチコア時代を見据えて進化していく…


まとめ


型安全で


LLのようにさくさくと


オブジェクト指向で


関数型で


マルチコア時代に適応した


簡潔に書ける言語


それがScala


ご清聴ありがとうございました!
