IronScheme + かんたんなEmacsの初期設定 .emacsファイル

前回で括弧にハイライトが付くようになりました。
IronSchemeのような括弧地獄でやっていく第一歩です。

今回は、IDEのように書いた内容をその場で実行できるようにしましょう。

前回書いた.emacsファイルをこう書き換えます。
参考：

• 1.Scheme処理系のインストール
• IronScheme in Emacs
• Emacs:scheme-args-to-list
• Emacsのカスタマイズ

.emacs

(show-paren-mode t)

;思わず"\"C:\\Program Files\\IronScheme\\IronScheme.Console\" -emacs"
;としたくなってしまうかもしれませんが、それでは何故かうまくいきません。
;%ProgramFiles%を使ってもダメです。
;きちんと"C:\Program Files\IronScheme"にパスを通して、以下のようにしてください。
;run-schemeの実装に原因があるかもしれません（※）。
;※参考：http://saito.s4.xrea.com/wiliki.cgi?Emacs%3Ascheme-args-to-list
(setq scheme-program-name "IronScheme.Console.exe -emacs")
(run-scheme scheme-program-name)

;エラーの文字化け対策
(modify-coding-system-alist 'process "IronScheme.Console" '(utf-8 . utf-8))

書き換えが終わったら.emacsファイルを保存し、Emacsを実行します。



Emacsが動き出したら前回と同じように、*.scmファイルをEmacsの中にドラッグ＆ドロップします。
すると内容が表示されます。

そしたら何とか頑張って操作してウィンドウを上下に２分割してください。
私は正式な方法を知りませんが、一番下のボックスをクリックするとなぜか２分割になることを経験的に知っています。

さて２分割にしたら、schemeのコード側のウィンドウでコードを全部選択し、メニューから

Scheme → Evaluate Region

とします。
すると選択された範囲のSchemeが実行されます。
実行結果は*scheme*という所に表示されます。
ウィンドウの下の部分のファイル名っぽい名前が出ているところをマウスをカチカチしていると出てきます。



ここでは5から初めて0で終わるカウントダウンをしています。

メニューからScheme → Evaluate Last S-expression
なども試してみましょう。

Emacsの括弧対応ハイライト 初期設定 (Windows7)

私はVisual StudioやEclipseべったりでそれ以外のエディタはさっぱりです。
しかし頑張ります！

IronSchemeのエディタとしてEmacsなるものを使ってみることを考えます。
OSはWindows7を想定します（というかそれしか使っていませんが…）。

ftp://ftp.gnu.org/gnu/emacs/windows/

最新バージョンはemacs-23.4-bin-ii386.zipのようです。

実行するとこんな画面が表示されます。


*.scmなファイルをドラッグ&ドロップするとさっそくLisp系のエディタとして使えます。
でもデフォルトの状態では対応する括弧をハイライトにしないようです。（下図）



これを次のように対応括弧ハイライトにするにはどうすればいいのでしょうか？



詳しくないのですが、以下のようにすればいいようです。
参考①　参考②

まず、

C:\Users\ユーザー名\AppData\Roaming

の中に.emacsとういファイルを作ります。
（他のディレクトリを見ると場所間違ってるんじゃないかって言う気もしますが、あってます）
先頭の.を忘れないでください。
もちろんWindowsでは.がはじめに来るファイルは作りにくいです。
そこでまず例えば"test.emacs"というようなファイルを作り、それの名前を後から変えます。

rename test.emacs .emacs

.emacsの中身は一番簡単なこれでいいでしょう：

(show-paren-mode t) 

これは括弧対応を表示するという意味です。
メモ帳か何かで保存してください。
そしてbinの中のrunemacs.exeを実行すると無事、対応括弧ハイライトになったemacsが起動します。

IronScheme doで配列を回すと…

doで配列を回す

勉強中のIronSchemeですが、さっそくわかりません！
doという、C#で言うところのforに相当するものがあるのですが、これと配列を組み合わせると不可解な現象が起きます。
（ちなみに、doは真のSchemerは本当は使わないそうです。）

(import (rnrs) (ironscheme clr))

(clr-using System)
(define myArray (clr-new-array Int32 4))


(do ((index 0 (+ index 1)))
	((= index (clr-prop-get Array Length myArray)))
	(clr-indexer-set! Int32[] myArray index index))


(do ((index 0 (+ index 1)))
	((= index (clr-prop-get Int32[] Length myArray)))
	(clr-static-call
		Console
		WriteLine
		(clr-indexer-get Int32[] myArray index)))

(clr-static-call Console ReadLine)

これはC#でいうと以下の様なプログラムに相当します。
（厳密にはC#版は上手く動くので違うのですが）

using System;

class Program
{
    public static int[] myArray = new int[4];

    static void Main()
    {
        for (int index = 0; !(index == myArray.Length); index++)
        {
            myArray[index] = index;
        }

        for (int index = 0; !(index == myArray.Length); index++)
        {
            Console.WriteLine(myArray[index]);
        }

        Console.ReadLine();
    }
}

私がやりたかったのはこういうことです：
長さ４の配列を作り、それを{ 0, 1, 2, 3 } というふうに初期化し、それを出力するのです。

Expected:

0
1
2
3

ですから上のプログラム（IronScheme）を実行して下のような結果を受け取った時には驚きました。

Actual:

36561384
36561408
36561432
36561456

……
！！？

このやけに大きな数字は一体！？
ためしてみると実行するたびにこの数字は変わっていきました。

これではまるで何かのアドレスのようです。
いや.netですからハッシュコードでしょうか。
でもInt32のGetHashCode()はそれ自身を返すはず…
一体どういうことでしょう。

---

色々やってみる

一つの考えとしてclr-indexer-getかclr-indexer-set!がおかしいのではないかというのが思い浮かびます。
配列への値のセットやゲットが上手くいっていないのです。
そこで次のような単純なIronSchemeを書きます。

(import (rnrs) (ironscheme clr))

(clr-using System)
(define myArray (clr-new-array Int32 1))
(clr-indexer-set! Int32[] myArray 0 42)
(display (clr-indexer-get Int32[] myArray 0))

(clr-static-call Console ReadLine)

C#でいうとこんな感じです：

using System;

class Program
{
    public static int[] myArray = new int[1];

    static void Main()
    {
        myArray[0] = 42;
        Console.Write(myArray[0]);
        Console.ReadLine();
    }
}

これは長さ１の配列を作り、最初に42を代入し、それを表示するプログラムです。
もし配列のゲットやセットがうまくいっていないのなら、ここで42ではない、変な数字が表示されるはずです。
どうなるでしょうか。
（以下IronSchemeの結果を書きます）

42

あれれ…42と出力されました。
配列には42をセットしましたから、これは正常です。
配列の値のセットとゲットは上手く行っているようです。

すると変数が悪いのでしょうか？
変数を使うことによってなにか動的言語に詳しくないプログラマが陥る罠が現れるのでしょうか？
確かめてみましょう。
まずは手軽なグローバル変数を。

(import (rnrs) (ironscheme clr))

(clr-using System)
(define myArray (clr-new-array Int32 1))
(define value 42)
(clr-indexer-set! Int32[] myArray 0 value)
(display (clr-indexer-get Int32[] myArray 0))

(clr-static-call Console ReadLine)

using System;

class Program
{
    public static int[] myArray = new int[1];
    public static int value = 42;

    static void Main()
    {
        myArray[0] = value;
        Console.Write(myArray[0]);
        Console.ReadLine();
    }
}

これは先ほどとほとんど同じプログラムです。
唯一違うのは42という数字を間接的に配列に代入している点です。
間にグローバル変数を挟んでいるのです。
やはり先程と同じく、これが正常に動けば42と表示され、
問題があれば変な42以外の数字が表示されます。

42

42です。
うーん当たり前といえば当たり前です。
ここには問題ありません。
しかし念のためローカル変数も調べてみましょう。

(import (rnrs) (ironscheme clr))

(clr-using System)
(define myArray (clr-new-array Int32 1))
(let 
	((value 42))
	(clr-indexer-set! Int32[] myArray 0 value)
	(clr-static-call Console WriteLine value))
(clr-static-call Console WriteLine (clr-indexer-get Int32[] myArray 0))

(clr-static-call Console ReadLine)

using System;

class Program
{
    public static int[] myArray = new int[1];

    static void Main()
    {
        int value = 42;
        myArray[0] = value;
        Console.Write(myArray[0]);
        Console.ReadLine();
    }
}

結果はどうなるでしょう。(IronScheme版)

42
39708184

……おお！！
あり期待していませんでしたが、問題はここにありました！

どういうわけか数字をConsole.WriteLineは正しく扱っているのに、インデクサはおかしく扱っています。
そういえば配列のインデクサは本当のインデクサではなかった気もします。
関係あるのでしょうか？

なにはともあれ原因はここにあるようです。
さてどうするべきでしょうか。
原因がわかっても解決方法は？

とりあえず、型が関係しているような気がします。
たとえばIronSchemeの数字はInt32ではないとか。
たしかSchemeでは全てが参照型だった気がします。
変数の型を調べてみましょう。

(import (rnrs) (ironscheme clr))

(let ((value 42))
	(clr-static-call 
		System.Console 
		WriteLine 
		"{0} {1}" 
		(clr-call System.Object GetType value)
		value))

(clr-static-call System.Console ReadLine)

class Program
{
    public static int[] myArray = new int[1];

    static void Main()
    {
        int value = 42;
        System.Console.WriteLine("{0} {1}", value.GetType(), value);
        System.Console.ReadLine();
    }
}

このプログラムは変数indexの型と値を表示します。
もし変数の型に問題があるのなら型はSystem.Int32以外が表示されるでしょう。
結果は・・・

System.Int32 42

残念、ここには問題はありませんでした。
indexはちゃんとSystem.Int32の42です。
IronSchemeは謎の数字の型を使っていて、それゆえに変な値が表示されるのでは？
という私の仮説は脆くも崩れ去りました。

---

解決方法

でも念のため元のコードでキャストしてみましょう。

(import (rnrs) (ironscheme clr))

(clr-using System)
(define myArray (clr-new-array Int32 4))


(do ((index 0 (+ index 1)))
	((= index (clr-prop-get Array Length myArray)))
	(clr-indexer-set! Int32[] myArray index (clr-cast Int32 index)))


(do ((index 0 (+ index 1)))
	((= index (clr-prop-get Int32[] Length myArray)))
	(display (clr-indexer-get Int32[] myArray index))
	(newline))

(clr-static-call Console ReadLine)

C#版：

using System;

class Program
{
    public static int[] myArray = new int[4];

    static void Main()
    {
        for (int index = 0; !(index == myArray.Length); index++)
        {
            myArray[index] = (int)index;
        }

        for (int index = 0; !(index == myArray.Length); index++)
        {
            Console.WriteLine(myArray[index]);
        }

        Console.ReadLine();
    }
}

0
1
2
3

あれ…
上手くいってしまいました。
うーん拍子抜けです。
これは一体何だったのでしょう…

indexをキャストするとうまくいくことから、IronSchemeではindexが何か別のものであった可能性が考えられます。
しかしその可能性は上のサンプルで否定されました。
ますますもってわかりません。

しかし上手く配列を回せたのでOKということにしましょう！

---

ちなみに

配列を使わない場合はどうなるかというと、こうなります。

(import (rnrs) (ironscheme clr))

(clr-using System)
(define myValue 0)

(let 
	((value 42))
	(set! myValue value)
	(clr-static-call Console WriteLine value))
(clr-static-call Console WriteLine myValue)

(clr-static-call Console ReadLine)

42
42

正常です。

IronSchemeでWPFをつかう

先日はお騒がせました。
ちゃんと使えます。
IronSchemeでもIron~~な他の言語でもWPFは使えます。
前回コメントいただいた通りです。

ただC#のようなストレートな書き方ではなく、ちょっと回りくどくなります。
こうなりました：

(import (rnrs) (ironscheme clr))

(clr-reference PresentationFramework)
(clr-reference PresentationCore)
(clr-reference WindowsBase)

(clr-using System.Windows)
(clr-using System.Threading)

(define 
	runApplication
	(lambda 
		() 
		(define app (clr-new Application))
		(clr-call Application Run app (clr-new Window))))

(define staThread (clr-new Thread runApplication))
(clr-call Thread SetApartmentState staThread 'STA)
(clr-call Thread Start staThread)

C#ではこうなるでしょう
（ただし、事前に
PresentationFramework,
PresentationCore,
WindowsBase,
System.Xamlの参照を追加する必要あります）：

using System.Windows;
using System.Threading;

class Program
{
    static void runApplication()
    {
        var app = new Application();
        app.Run(new Window());
    }

    static void Main(string[] args)
    {
        var staThread = new Thread(runApplication);
        staThread.SetApartmentState(ApartmentState.STA);
        staThread.Start();
    }
}

そうですね
STAThread属性を付けられないのなら、
別の方法でSTAThreadを走らせてやればよかったんですね。
ApartmentStateプロパティがObsoleteになっていたので勘違いしてしまいました。
(かわりにSetApartmentStateが使えます。)

IronScheme その３ 四則演算といろいろ

1 + 1 = ?

前回はHello Worldをしました。
今回は四則演算をしましょう。

ではまず最も簡単な足し算、1 + 1をやってみましょう！
（0 + 0のほうが簡単でしょうか？
いやでもあまり面白い結果にはなりませんもんね）

(import (rnrs) (ironscheme clr))

(clr-static-call System.Console WriteLine (+ 1 1))
(clr-static-call System.Console ReadLine)

結果は

2

です。

(+ 1 1)に着目してください。
IronSchemeでは1 + 1という書き方はダメです。
関数というかなにか命令のようなものは常に先頭に来なければなりません。
めんどくさいと思う方もいらっしゃるでしょうが、統一されてて美しいという見方もできます。

以下、引き算、掛け算、わり算も似た様な調子です。

---

引き算、掛け算、わり算

めんどくさいので、一気にやります。

(import (rnrs) (ironscheme clr))

(clr-static-call System.Console WriteLine "(- 6 2) = {0}" (- 6 2))
(clr-static-call System.Console WriteLine "(* 6 2) = {0}" (* 6 2))
(clr-static-call System.Console WriteLine "(/ 6 2) = {0}" (/ 6 2))
(clr-static-call System.Console ReadLine)

この結果は、

(- 6 2) = 4
(* 6 2) = 12
(/ 6 2) = 3

です。

---

分数、商、余り

上では述べませんでしたが、/を使うと分数になります。

(import (rnrs) (ironscheme clr))

(clr-static-call System.Console WriteLine "(/ 7 2) = {0}" (/ 7 2))
(clr-static-call System.Console ReadLine)

この結果は

(/ 7 2) = 7/2

です。3.5や3ではないことに注意してください。

では3が欲しい時にはどうすればいいのでしょうか？
あるいは余りがほしい時には？

3を得るためには、quotientを使います。
余りはmoduloかremainderを使います。
が、それぞれ働きが微妙に違います。
C#の%に相当するのはmoduloのようです。
remainderの結果の符号は割られる数の符号と同じになります。
これら３つのプロシージャをを使うためには(rnrs r5rs (6))をインポートする必要があります。

(import (rnrs r5rs (6)) (ironscheme clr))

(clr-static-call System.Console WriteLine "(quotient 7 2) = {0}" (quotient 7 2))
(clr-static-call System.Console WriteLine "(modulo 7 2) = {0}" (modulo 7 2))
(clr-static-call System.Console WriteLine "(modulo 7 -2) = {0}" (modulo 7 -2))
(clr-static-call System.Console WriteLine "(modulo -7 2) = {0}" (modulo -7 2))
(clr-static-call System.Console WriteLine "(modulo -7 -2) = {0}" (modulo -7 -2))
(clr-static-call System.Console WriteLine "(remainder 7 2) = {0}" (remainder 7 2))
(clr-static-call System.Console WriteLine "(remainder 7 -2) = {0}" (remainder 7 -2))
(clr-static-call System.Console WriteLine "(remainder -7 2) = {0}" (remainder -7 2))
(clr-static-call System.Console WriteLine "(remainder -7 -2) = {0}" (remainder -7 -2))
(clr-static-call System.Console ReadLine)

結果はこうなります：

(quotient 7 2) = 3
(modulo 7 2) = 1
(modulo 7 -2) = -1
(modulo -7 2) = 1
(modulo -7 -2) = -1
(remainder 7 2) = 1
(remainder 7 -2) = 1
(remainder -7 2) = -1
(remainder -7 -2) = -1