clojure.zipを使ったHistoryの表現

from gist

Destructuringを使おう

Clojureで積極的にDestructuringを使っていこうという話です。

ListやVectorに対する再帰

例: index-of


Destructuringを使うとこんな感じで書ける。


firstとrestがなくなりました。

例: end


Destructuringは関数の引数部に直接書ける。


リスト全体を束縛する変数を省略出来ました。

MapやRecordに対するDestructuring

レコードに対する操作


例: abs


Destructuringを使うとこんな感じ。


{:keys [foo bar ...]}はフィールドを列挙することでその値を束縛します。

例: add


フィールドと違った名前の変数名を付ける場合は{foo' :foo bar' :bar ...}という記法が使えます。


Destructuringを使うことで要素の取得、束縛を簡素にしませんか？

Clojureで継承みたいなナニカ

Clojureのdeftypeやdefrecordではinterfaceのみを実装することができます。
しかし、継承のように実装があるclassを継承したいときがあります。

例えばこんなコードがあります。


ConsとNilのaddとemptyの実装が同じです。
共通化したい。

とりあえず、addとemptyを別Protocolに。


ListというProtocolを作って、それに対するAdderを定義します。


ConsとNilに対してListを実装すれば、めでたしめでたし。

ClojureのKeywordはLensなのですy

春休みヤッター！
ブログの更新頻度も上げていくつもりです。

Lens

Lensはあるフィールドに対するgetterとsetterを持つ。
コードにするとこんな感じ。



見てわかるとおり、lgetはgetで、lsetはassocで十分なのだ。

Lensの特徴

getとsetがあればmodifyが定義できる。



Clojureにはupdate-inがある。


Lensは合成が可能だ。



Clojureの{get, assoc, update}-in関数は複数のKeywordをとることで、ネストしたレコードに対しても有効です。


LensはStateモナドと組み合わせると素敵です。
更新途中の状態を取得することは出来ないけれど、Clojureにはアローマクロが存在します。



KeywordがLensだということを意識すれば、Lensの考え方を応用することが出来ますね。

Konst

この記事はScalaz Advent Calendarの20日目の記事です。

ScalaにはFunction.constという常に一定の値を返す関数があります。


この関数を型レベルで表したものがScalazにKonstとして定義されています。

Konst

NaturalTransformationを例にKonstを使ってみます。


あまり使わなさそうですね！
私としてはまだScalaz6にあったPartialApplyの方が便利な気がするのですが。
まあ、型推論がうまくいかなかったり、Unapplyが新しく入ったりしたことが原因にあるのでしょうね。

Scalazのかきかた

@halcat0x15a あれ(´・ω・｀)？じゃあsyntaxの説明記事お願いします！
— Kenji Yoshidaさん (@xuwei_k) 12月 16, 2012

というわけで、Scalaz Advent Calendarの18日目の記事です。

Scalazには多くの型クラスとそのインスタンスが定義されており、それを扱うために、多くの記法が存在します。
この記事では簡単で冗長な記法から、複雑で簡素な記法まで紹介していきます。

インスタンスの取得

implicit valueとして定義されている型クラスのインスタンスは、implicit parameterにより取得が可能です。

そのインスタンスの取得にも様々方法があります。

implicitly

Scala標準ライブラリに定義されている、implicit valueを取得する関数です。


TypeClass

また、Scalazの型クラスにはインスタンスの取得のための関数、TypeClass.applyを使用することができます。

関数呼び出し

ある型クラスの関数を使用するとき、先ほどのようにインスタンスから直接呼び出すことができます。


Ops

しかし、明示的に型クラスのインスタンスを取得するのは冗長です。
Scalazではimplicit conversionを用いて、型クラスのインスタンスをもつオブジェクトに対して暗黙の型変換を提供します。


暗黙型変換の他にも、単一のオブジェクトを対象としない型クラスの関数がインポートされます。

関数定義

関数を定義するとき、implicit parameterを指定する方法が２つあります。

implicit

1つはimplicitを使う方法です。


Context Bounds

もう1つ、Context Boundsというものが存在します。


インスタンスを明示的に扱わない場合はContex Boundsで定義した方が良いでしょう。

Syntax

大抵の場合の場合はOpsとContex Boundsで短いコードが得られますが、これらを使っても冗長になる場合があります。


Scalaでは返り値の型を指定してもimplicit valueを決定することは出来ないので明示的に型を書く必要があります。
このような場合、Syntaxを使うことで明示的に型を指定する必要がなくなります。

まとめ

短く簡素なコードになるほど、複雑な仕組みが使われていきます。
大抵のものはContex BoundsとOpsで短いコードになるので、積極的に使っていきましょう。
型クラスのインスタンスから直接関数を呼ぶのも良いですが、Syntaxをimportした方が簡素になる場合があることも頭に入れておくと良いでしょう。

JavaFX & Web Start with Clojure

This article is the 5th of JavaFX Advent Calendar and a sequel of Tic-tac-toe with Clojure.

Tic-tac-toe

Since the logic of the game have been made, we only need to implement at the drawing.

Application

As the basis for JavaFX, inherit javafx.application.Application to the main class.

In order to compile the class files of Java, we use the gen-class.

In the main method calls Application.launch.

In the start method implements tic-tac-toe.game.Canvas and register the handler in each panel.

doto is useful when using the GUI library in Clojure.
We can run continuously some methods under the instance.
It is like the instance_eval in Ruby.

Such an interface as EventHandler is obtained an instance by using reify.

Web Start

First, make a standalone jar file with lein2 uberjar.

Then create a jnlp file.

The all-permissions are needed to run Clojure.

We must make a signature, because it requires all-permissions.

You can make the keystore by keytool, and sign the jar using jarsigner.

keytool -genkey -keystore foo -alias bar
jarsigner -keystore foo target/tic-tac-toe-0.1.0-SNAPSHOT-standalone.jar bar

You can start with Web Start.

If you try on local environment, rewrite the codebase of jnlp file.

Miscellaneous Thoughts

I think that JavaFX is simpler than Swing and we would be able to write the GUI application easily.

But I felt that the Web Start is not suitable for other required language runtime, such as the Scala and Clojure.
Because file size becomes very large.