関数型もモナドも分からなくてもScalaと言う言語は便利らしい

関数型もモナドも分からなくても
Scalaと言う言語は便利らしい。
頭悪いマンだけどScala触ってみたよという話

注意
 あんまりちゃんとしたこと言えないのでマ
サカられると泣きます
 いろいろ大目に見てください。

Scala is 何
 JVMで動く系言語

Scala is 何
 強い静的型付き言語

Scala is 何
 型推論

Scala is 何
 型推論
 オブジェクト指向言語(だと個人的には思う)

Scala is 何
 型推論
 ただし関数型プログラミングスタイルを実施し
やすいように作ってある

Scala is 何
 型推論
 ただし関数型プログラミングスタイルを実施し
やすいように作ってある
 javaの資産を使える

Scala is 何
OS
Java
コンパイラ
Scala
コンパイラ
コンパイルコンパイル
実行
ネイティブコード

Scala is 何
OS
Java
コンパイラ
Scala
コンパイラ
コンパイルコンパイル
実行
ネイティブコード
これ

使ってみよう
 Scalaが動く環境を作るには
Play Frameworkをインスコするのが楽

使ってみよう
“Play Framework”をインスコ

使ってみよう
 大事なことなので2回

使ってみよう
 インスコしてプロジェクト作ってREPL起動

使ってみよう
 インスコしてプロジェクト作ってREPL起動
 参考ページ
 Scalaの壁をぶち壊せ！"壁パン1発目”~導入編

使ってみよう
実際にインスコしてみる

使ってみよう
 型推論
 静的型付き言語の型宣言のだるさ

使ってみよう
 型推論
 Scalaには型推論があります

使ってみよう
 型推論
 変数の型宣言は必須ではありません

使ってみよう
 型推論
 が、型はコンパイル時に静的に決定されます

使ってみよう
 型推論
 コンパイラが型を推論してくれます

使ってみよう
 型推論
 だるさを克服しつつ型システムによる強力なサポー
トを受けられる！

使ってみよう
 型推論
 だるさを克服しつつ型システムによる強力なサポー
トを受けられる！
 やってみます

使ってみよう
 パターンマッチ
 if文とswitch文の超すごい版みたいなの

使ってみよう
 値、型、ifによる条件指定でマッチングできる

使ってみよう
 一時変数への束縛

使ってみよう
 Caseクラスで使うと型マッチとプロパティの変数へ
の束縛が両方使えて鼻血出るレベルで便利

使ってみよう
 ちなみに文じゃなくて式なので値を返します

使ってみよう
 返される値の型もちゃんと推論されます

使ってみよう
 Option[A]
 それは、ぬるぽを殺すシステム

使ってみよう
 Option[A]
 ■━⊂( ･∀･) 彡ｶﾞｯ☆`Д´)ﾉ

使ってみよう
 Option[A]
 ■━⊂( ･∀･) 彡ｶﾞｯ☆`Д´)ﾉ
 「存在しないかもしれない値」を表す型

使ってみよう
 Option[A]
 ■━⊂( ･∀･) 彡ｶﾞｯ☆`Д´)ﾉ
 サブクラスはNoneとSome[A]のみ存在
 None: 「値がない」を表す型
 Some[A]: 「A型の値がある」を表す型

使ってみよう
 Option[A]
 ■━⊂( ･∀･) 彡ｶﾞｯ☆`Д´)ﾉ
 パターンマッチを使うとぬるぽを華麗に回避できる
 map()やflatMap()を使うと更に華麗に回避できるけど割愛

まとめ
 関数型プログラミングとか

まとめ
＿人人人人人人人人＿
＞全然分からん＜
￣Y^Y^Y^Y^Y^Y^Y￣

まとめ
けど、分からんでも使えるらしいし
便利な機能ついてるっぽいし
javaの資産(ライブラリとか)も使えるし
※手続き型でも普通に書けます

まとめ
…Scala、始めてみようかな？

まとめ
始めましょう！

まとめ
で、僕に教えて下さい

More Related Content