Scalaのお勉強 第2回:「Scalaプログラミングの次の一歩」(前編)

はじめに

前回のScalaの記事から，1ヶ月半ほど経ってしまいました．

今回はコップ本の第3章「Scalaプログラミングの次の一歩」を読んだので，記事を書きます．

この第3章，内容をブログにまとめようとすると，結構な量になってきたので，記事を2つに分けようと思います．

パラメータ化

パラメータ化 = "生成するインスタンスの「構成を設定する」こと"

Javaで言えば，オブジェクトを作る時に，コンストラクタへ引数を渡すのと同じ(?)

val greetStrings = new Array[String](4)

上の例では， Array[String] 型のオブジェクトに (4) とすることで，長さ4の配列であると構成を設定している．

greetStrings の型が Array[String] であるのもポイント．

型コンストラクタ

Array は型コンストラクタと呼ばれるもの．

型コンストラクタに型変数を与えることによって，初めて型として成り立つ．

関数にいくつかの引数を与えて，値になるようなイメージで型を作る仕組み．

Haskellにもあった概念だと思う．

valで宣言した配列の書き換え

val greetStrings = new Array[String](4)    

greetStrings(0) = "Hello"
greetStrings(1) = ", "
greetStrings(2) = "world"
greetStrings(3) = "!\n"

for(i <- 0 to 2)
  print(greetStrings(i))

greetStrings は val で宣言している．

val で宣言したものは，再代入できない．

ところが，上記のコード例のように， greetStrings の要素には代入できる．

なぜなら， greetStrings の要素への代入しても， greetStrings には再代入していないためである．

もちろん， greetStrings = greetStirngs2 のような，再代入はできない．

これをCのポインタでいうと，ポインタ変数に格納しているアドレスは書き換えられないけど，ポインタが指す先にあるデータ領域は書き換えられる，ということである．

Cのコードで書くとこうなる．

char *const str1 = (char*)malloc(sizeof(char)*4);
char *str2 = (char*)malloc(sizeof(char)*4);

strcpy(str1, "ABC");
strcpy(str2, "DEF");

str1[1] = 'G'; //OK
str1 = str2;   //Error

さまざまな糖衣構文

先ほど示したScalaのコード例の中には，様々な糖衣構文が存在する．

• 0 to 2 は (0).to(2) の糖衣構文．
  
  


• greetStrings(i) は greetString.apply(i) の糖衣構文．
  
  


• greetStrings(1) = "Hello"　 は greetStrings.update(1, "Hello") の糖衣構文．
  
  


• 1 + 2 は (1).+(2) の糖衣構文．
  
  

このように，さまざまなものが，メソッド呼び出しに変換される糖衣構文(syntax suger)である．

おわりに

今回はコップ本の第3章「Scalaプログラミングの次の一歩」を読んだまとめ(前編)を書きました．

後編はいつになることか…

あんまりがっつり書くと時間がかかるので，次回からもう少しはしょりながら書こうかと思ってます．

--
My Emacs Files At GitHub

Gitでコミット時にdiffが出るようにする

はじめに

Gitでコミットするとき，コミットメッセージを書きますね．

そのときに，実際の差分を見たいと思うわけです．

コミット時に差分を表示する方法は簡単ですが，すぐ忘れそうなので書いておきます．

方法

コミットするときに， -v をつけるだけです．

つまり

$ git commit -v

とするだけです．

おわりに

上記の方法で，めでたく差分を見ながらコミットメッセージを書けます．

--
My Emacs Files At GitHub

Edit with Emacsを試す

Edit with Emacsとは

Edit with EmacsというGoogle Extentionがある．

これは，Google chromeで開いたページ内のテキストエリアで編集するとき，Emacsを用いて編集することができる，というものである．

割と簡単に使える．

導入手順

1. Edit with Emacs からEdit with EmacsをChromeにインストールする．
   
   


2. Edit with EmacsのオプションのInformationにedit-server.elへのリンクがあるので，このリンクから，edit-server.elを入手．
   
   もしくは，githubの https://github.com/stsquad/emacs_chrome.git からリポジトリとともにedit-server.elを入手．
   
   githubから入手した場合，edit-server.elは emacs_chrome/servers/ 内にある．
   
   


3. edit-server.elを置いたディレクトリをload-pathに追加し，edit-server.elをロードするようにする．
   
   


4. 設定ファイルに以下を追加
   
   
   
   
   

   (require 'edit-server)
   (edit-server-start)
   

   
   
   


5. Emacsを再起動．
   
   

使い方

Chrome側で，テキストエリアを編集する時にテキストエリアの下に小さく表示されるeditボタンを押下するか，chromeの右上にあるEmacsのアイコンを押下することにより，テキストエリアを編集するためのフレームが起動し，編集できる．

C-x C-sでテキストエリアに反映，C-x C-cで編集キャンセルである．

感想

テキストエリアで長文を編集するときは便利そう．

自分の場合はFC2ブログで記事を書くときなど．

Emacs側のモードをOrg-modeに変えれば，表や箇条書きも楽に書ける．




個人的には，C-x C-sでテキストエリアに反映する時に，フレームを閉じて欲しい．

しっかり使うなら，コードを弄って対策してみたい．

参考URL

Google Chrome の textarea を Emacs で編集する

--
My Emacs Files At GitHub

Org-mode内に書いたソースコードを実行する

はじめに

Org-modeでは，プログラムを記述して，その場で実行するOrg-babelという機能がある．

今回は，この使い方が判明したので，書いておく(忘れないために)．

使い方

まず，Org-modeで以下のように書く．

#+BEGIN_SRC emacs-lisp
(+ 1 2)
#+END_SRC

そして，SRCブロック内で \C-c \C-c と打つと，以下のように出力される．

#+RESULTS:
: 3

困ったことが…

使い方は単純であるが，何も設定しないとEmacs-lisp以外のソースコードは実行できない．

この設定が今まで面倒で使っていなかった．

今回は，この使い方が判明したので，書いておく．

Emacs-lisp以外でOrg-babelを使うには

Emacsの設定ファイル( ~/.emacs.d/init.el ) などに以下の設定を書く．

(org-babel-do-load-languages
   'org-babel-load-languages
   '((emacs-lisp . t)
     (C . t)))

この例では，C言語を追加している．

結果

結果は以下の通り．

#+BEGIN_SRC C
int main(){
  printf("Hello Org-babel!\n");
  return 0;
}
#+END_SRC

#+RESULTS:
: Hello Org-babel!

おわりに

Org-babelの使い方を書いた．

慣れてないせいか，言語によって実行するまでにどの程度書かないといけないのかがよくわからない．

javaとScalaはどうも実行できない…

--
My Emacs Files At GitHub

Scalaのお勉強

はじめに

来年度から，Scalaを使うことになるそうなので，Scalaをちまちま勉強しています．

教材はこれ(通称コップ本)．


この本の一つの章が終わるたびに記事を書こうと思います．

ちなみにこの本の章構成はこんな感じです．

コップ本の目次


基本的に，自分が気になったところだけ抜粋して書くつもりです．

僕は，C，Javaあたりの言語に親しみがある人間です．

あと，Haskellを勉強する機会もありました(あんまりわかってない疑惑あり)．

ですので，これらの言語との違いや似ている部分を主に書くと思います．

あと，箇条書きが多いです．

今回は2章「Scalaプログラミングの第一歩」を勉強したまとめです．

saclaインタプリタの使い方

$ scala
     Welcome to Scala version 2.9.2 (Java HotSpot(TM) 64-Bit Server VM, Java 1.7.0_07).
Type in expressions to have them evaluated.
Type :help for more information.
scala> 1 + 2
res0: Int = 3

scala> res0 * 3
res1: Int = 9

scala> :q

• 先に計算した結果は自動で res0 などに格納される
• 計算結果の Int などは結果のデータ型
  これは，Scalaインタプリタが型推論し導いている
  

変数，定数の使い方

scala> val hoge = 0
hoge: Int = 0

scala> var piyo = "piyo"
piyo: java.lang.String = piyo

scala> piyo = "piyopiyo"
piyo: java.lang.String = piyopiyo

scala> hoge = 1
<console>:8: error: reassignment to val
    hoge = 1
         ^

• val <定数名> = <値> で 定数 を定義する．
  
  (val はvalueの意)
  
• var <変数名> = <値> で 変数 を定義する．
  
  (var はvariableの意)


• 定数と変数はともに，初期値なしで宣言できない．
• 定数には再代入できない．
• 宣言時にデータの型を明示する場合は
  val <定数名>: <データ型名> = <値>
  と定義する．
  
• データ型名を変数の後ろに書くのは，型推論によってデータ型名を省略できるようにするため．
  (データ型名を前に置く文法にすると，省略したときに，宣言か否かの判別ができない．)
  

関数の使い方

scala> def add(x: Int, y: Int): Int = {
  |   x + y
  | }
add: (x: Int, y: Int)Int

scala> add(1, 2)
res0: Int = 3

scala> def hello() = {
  |   println("hello")
  | }
hello: ()Unit

scala> hello()
hello

scala>

• 関数の宣言は以下のフォーマットである．
  
  def <関数名>(<仮引数名1>: <仮引数1のデータ型名>, ...): <関数の戻り値のデータ型名> = {関数本体}
  
• '{'の前の'='の書き忘れに注意が必要．
• 戻り値は関数本体の最後の式が返す値となる．
• 関数の戻り値は型推論される．
• 仮引数は 型推論されない．
• Cなどの void 型に相当するものはが Unit である．

配列の参照

• 配列へのアクセスは
  
  array(0)
  
  のように書く．
  
  array[0]
  
  のようには書かない．
  

コマンドライン引数

• コマンドライン引数を格納するのは args という名の文字列の配列である．
• args(0) はプログラム名ではない．
  
  cf. C言語の argv の最初の要素はプログラム名である．

foreach

args.foreach(arg=> println(arg))
args.foreach((arg: String) => println(arg)) //上と同じ処理を行う
args.foreach(println) //部分適用

• (arg: String) => println(arg) の部分を関数リテラルという
• 引数の型(上の例では arg の型)は省略できる
• 引数の型を明示する場合は，引数を示す部分を括弧で括る．
• foreach は引数に関数を取る，ということだと思う．
  関数型言語では，関数も値と同じように扱う．
  

for式

for(arg <- args){/*argを用いた処理*/}

• for(<定数名> <- <配列名>){処理} でループが回るたびに配列の中身を定数に一つずつ入れ，処理する．

その他

• scalaの推奨インデントはスペース2つである．
• scalaでは ++i や i++ は使えない
  

おわりに

というわけで，Scalaの最初の一歩を踏み出した感じです．

さて，いつまで続くでしょうか…

--
My Emacs Files At GitHub

Org-modeでタスク管理する時に使いそうなキーバインド(主に計時関連)

タスクを管理するとき，タスクの処理に掛かる時間を管理することも重要である．

Org-modeでは，タスクにかかる時間をはかり，記録するための機能がある．

この機能を用いるためのキーバインドを表にしておく．

ただそれだけの記事．

キー	内容
C-c C-x C-i	計時開始
C-c C-x C-o	計時終了
C-c C-x C-j	計時中のツリーに移動
C-c C-x C-d	各ツリーの合計所用時間を計算 (C-c C-c で表示を戻す)
C-c C-s	作業予定日を設定
C-c C-x C-e	努力目標時間を設定

--
My Emacs Files At GitHub

orgのバージョンを7.9.2にするとorg-googlecが使えなくなる件

Org-modeのバージョンが6.3くらいで古かったのでバージョンを上げた．
すると，Org-modeからこのブログに投稿するために使っているorg-googlecが使えなくなった．
今回は，この問題に対処する．

環境

OS

Mac OS X 10.7.5

Emacsバージョン

23.4.1

Org-modeバージョン

7.9.2

症状

http://tokikane-tec.blogspot.jp/2012/09/emacsblogger₆₉₇₀.html
で紹介した通り，
M-x org-googlecl-blog
を実行すると，以下のエラーメッセージが出力される．

let: Symbol's function definition is void: org-forward-same-level

どうやら， org-forward-same-level という関数がないらしい

原因

結論から言うと， Org-modeの関数名が変わってる のが原因．
具体的には， org-forward-same-level という関数の名前が org-forward-heading-same-level に変わった．
ちなみにこの関数は，今カーソルがあるネストのレベルと同じレベルの次の要素の先頭に移動する関数である．
そして，org-googlecは org-forward-same-level 内部で使っていた．
このために上記のようなエラーが出た，というわけである．

対処

関数の名前が変わったなら，呼び出す部分のソースコードを弄ればいい．
org-googlecl.elの

(org-forward-same-level 1 t)   

という行を

(org-forward-heading-same-level 1 t)   

と書き直す．
これで無事問題が解決する．

おわりに(余談)

どのバージョンを境に関数名が変わったかは不明である．

Org-modeは，結構，昔の環境のことを考えずに変更が加えられることがある．
以前もOrg-modeの参照で : を - に置換するという(おせっかい)機能がついていて，はまった．
自分はいつも fig:hoge みたいな書き方をするので困った．

あとこういうのってgithubでpull requestを出して本家を直してもらう，というのがいいのだろうか?
今までpull requestを出したことがないので，よくわからない．

--
My Emacs Files At GitHub