概要
- https://github.com/functionaljava/functionaljava/tree/12e4d23954d352bcb16b43eed09dbc3624ce5e96 のtreeの時点での記録
- これを書いてる2012年4月現在sbt0.7.4でbuildされている
- sbtやmavenの標準のディレクトリ構成
- 昔は google code にあったみたい
- なぜかgithub上にtagうってない・・・
- maven centralにあるらしく、sbtならば
libraryDependencies += "org.functionaljava" % "functionaljava" % "3.0"
だけで使用可能
モジュールの分類
-
- core メインとなるソース
- core/src/main は 44563 行
- core/src/test は 1264 行
- テストはすべてScalacheckで書かれている
- demo サンプルコード
- 2038行
- それなりに充実してるので、みんな読みましょう
- core メインとなるソース
P
●PからP8は、関数型言語でいえば、いわゆる代数型だとおもう。Scalaだとscalaパッケージ直下の Product1 、Product2... という、case classや、TupleEqual
- Show同様、基本的にequalsもoverrideされていない！ので、Equal型クラスがあります
- これも明示的に渡さないといけないので(ry
Hash
- これが、結構functionalJava独自な気がするけれども、hashCodeをオーバーライドするかわりに、Hash値を生成可能かどうかを表す型クラスにしてあるみたい？
Primitive
- コンストラクタはprivateでstaticなfieldのみ
- Double から Int 変換などの、primitiveの相互変換のための関数オブジェクトが置いてある
Digit
- scalazにも同じようなものあるけど、(型レベル計算ができるわけでもないし)イマイチ使い方わかってない・・・
data/List
- immutableな片方向リンクリスト
- ScalaのListと同じようなメソッドもあるけど、違うメソッドもいっぱい。というか同じもののほうがすくないか。
- たとえばfoldRightでTrampolineのオブジェクト返すとかすごいな・・・
- (List構築時に一時的に使うための？) public static finalなBufferという内部classがある
data/Stream
- immutableで片方向リンクな遅延リスト・・・ってつまりScalaのStreamと概念的に一緒
- でもメソッドは結構違うものも多い・・・(なんかこれしか言ってない)
- ArrayとかListの相互変換があったり
- Promiseとか関連していて、面白そう。
data/$
- 関数型の知識が足りなくてうまく説明できない・・・
data/Array
- 内部に配列を持っていて、それをラップしてる。mutable
- setがUnit返すとか素晴らしいですね
data/Java
- ArrayList,BitSet,EnumSet,HashSet,LinkedHashSet,LinkedList,Stack,TreeSet などなど、javaの標準のcollectionのほぼすべて(?)にたいして、fjのLitやStreamとの相互変換を提供するための関数オブジェクトがおいてある
TODO まだデータ構造いっぱいあるので、ヤル気がでたらこのあたりに追記・・・
core/src/main/java/fj/ 以下のディレクトリ毎に分けてみた
●Functionオブジェクトや、基本的な型クラスなど、一番よく使うと思われるものがfjパッケージ直下に置いてある ●control ●control直下にあるのはTrampolineだけ ●db ●jdbcの薄いラッパー？そんなにコード量多くない。でも、DBはmonadになっていたりして面白そう ●parallel ●(作ってる人同じだから当たり前だが)ファイル構成をみる限り最小限でコンパクトなところが、Scalazのconcurrentモジュールにかなり似ている感じ。Actor,Callables,ParModule,Promise,Strategy ●data ●データ構造。結構基本的なものは網羅されていそう。Array, Conversions, Either, Enumerator, HashMap, HashSet, IO, IterableW, Iteratee, Java, LazyString, List, Natural, NonEmptyList, Option, Seq, Set, Stream, Tree, TreeMap, TreeZipper, Validation, Zipper ●fingertrees ●Fingertreeというデータ構造ためのclass一式。﹁public な class を1ファイルに対応させる必要がある﹂ので package-infoを除いて14ファイルもある。。。 ●hlist ●heterogeneousなlist ●vector ●package-infoには"Fixed-length vectors"と書いてある。長さがすでにコンパイル時に決まっているリスト？要素の型は同じ。もちろんimmutable。1から8まである。つまりScalaには対応するもの存在しないが、使い道そんなにあるんだろうか・・・？(内部的に必要となる場面が多いとか？) ●function ●BigIntegers,Booleans,Characters,Doubles,Integers,Longs,Stringsと基本的な型についてよく使うとおもわれる関数を置いてある。Visitor(できれば後述)がちょっと面白そう ●parser ●Parser 。。。どのくらい使えるのだろうか ●test ●おそらく Haskell の quick check っぽいテスト用ライブラリ ●reflect ●テストのモジュールで使うアノテーションなど？tree表示しただけのもの↓
fj
├── Bottom.java
├── Class.java
├── Digit.java
├── Effect.java
├── Equal.java
├── F.java
├── F2.java
├── F3.java
├── F4.java
├── F5.java
├── F6.java
├── F7.java
├── F8.java
├── Function.java
├── Hash.java
├── Monoid.java
├── Ord.java
├── Ordering.java
├── P.java
├── P1.java
├── P2.java
├── P3.java
├── P4.java
├── P5.java
├── P6.java
├── P7.java
├── P8.java
├── Primitive.java
├── Semigroup.java
├── Show.java
├── Unit.java
├── control
│ ├── Trampoline.java
│ ├── db
│ │ ├── Connector.java
│ │ ├── DB.java
│ │ ├── DbState.java
│ │ └── package-info.java
│ ├── package-info.java
│ └── parallel
│ ├── Actor.java
│ ├── Callables.java
│ ├── ParModule.java
│ ├── Promise.java
│ ├── Strategy.java
│ └── package-info.java
├── data
│ ├── $.java
│ ├── Array.java
│ ├── Conversions.java
│ ├── Either.java
│ ├── Enumerator.java
│ ├── HashMap.java
│ ├── HashSet.java
│ ├── IO.java
│ ├── IterableW.java
│ ├── Iteratee.java
│ ├── Java.java
│ ├── LazyString.java
│ ├── List.java
│ ├── Natural.java
│ ├── NonEmptyList.java
│ ├── Option.java
│ ├── Seq.java
│ ├── Set.java
│ ├── Stream.java
│ ├── Tree.java
│ ├── TreeMap.java
│ ├── TreeZipper.java
│ ├── Validation.java
│ ├── Zipper.java
│ ├── fingertrees
│ │ ├── Deep.java
│ │ ├── Digit.java
│ │ ├── Empty.java
│ │ ├── FingerTree.java
│ │ ├── Four.java
│ │ ├── MakeTree.java
│ │ ├── Measured.java
│ │ ├── Node.java
│ │ ├── Node2.java
│ │ ├── Node3.java
│ │ ├── One.java
│ │ ├── Single.java
│ │ ├── Three.java
│ │ ├── Two.java
│ │ └── package-info.java
│ ├── hlist
│ │ ├── HList.java
│ │ ├── HPre.java
│ │ └── package-info.java
│ ├── package-info.java
│ └── vector
│ ├── V.java
│ ├── V2.java
│ ├── V3.java
│ ├── V4.java
│ ├── V5.java
│ ├── V6.java
│ ├── V7.java
│ ├── V8.java
│ └── package-info.java
├── function
│ ├── BigIntegers.java
│ ├── Booleans.java
│ ├── Characters.java
│ ├── Doubles.java
│ ├── Integers.java
│ ├── Longs.java
│ ├── Strings.java
│ ├── Visitor.java
│ └── package-info.java
├── package-info.java
├── parser
│ ├── Parser.java
│ ├── Result.java
│ └── package-info.java
└── test
├── Arbitrary.java
├── Arg.java
├── Bool.java
├── CheckResult.java
├── Coarbitrary.java
├── Gen.java
├── Property.java
├── Rand.java
├── Result.java
├── Shrink.java
├── Variant.java
├── package-info.java
└── reflect
├── Category.java
├── Check.java
├── CheckParams.java
├── Main.java
├── Name.java
├── NoCheck.java
└── package-info.java
