リスト操作関数早見表(Underscore, Scala, Haskell)

ぽんこつ@ponkotuyです。勝手に会社のプロダクトをリファクタしたり高速化したりするだけの簡単なお仕事をしています。Scalaも楽しいけど、SQLのチューニングはもっと楽しいです。

という自己紹介をガン無視してリスト操作関数とUnderscore.jsの話をします。

リスト操作関数

関数型言語の長所で真っ先に出てきて、手続型言語に慣れた人でも比較的恩恵を理解しやすいのがリスト操作関数だと思います。

例えばある数値のリストの中から偶数で一番大きい数を取るとかいう処理

Haskell
1
maximum . filter even $ [2, 4, 5, 7, 1, 8, 9, 10]
Scala
1
List(1, 2, 4, 5, 7, 1, 8, 9, 10).filter(_ % 2 == 0).max
CoffeeScript
1
2
_ = require('underscore')
_.max(_.filter [1, 2, 4, 5, 7, 1, 8, 9, 10], (x) -> x % 2 == 0)

ワンライナーで短かく、可読性を損なわずに書けます。また、副作用をできるだけ避ける書き方がしやすいように作られているので、低コストで副作用を回避できます。

Underscore.js

このように便利なリスト操作関数をJavaScriptでも使えるようにしたい。そこで便利関数を集めたUnderscore.jsです。

Undescore.jsを使えば、若干余計な_.を書かなくてはいけない問題はありつつも、とりあえずはリスト操作関数の恩恵にあずかることができます。

ただしUnderscore.jsには一方で「名前が分かりづらい」という問題があります。HaskellやScalaと同じだったら苦労しないのに。そこで、Underscore.jsのある関数が、HaskellやScalaだと何と呼ばれているかの一覧を作ってみました。

早見表

Underscore.jsScalaHaskell備考
each(xs, f)
forEach
xs.foreach(f)forM_ xs f
map(xs, f)
collect
xs.map(f)map f xs
pluck(xs, propName)mapの特殊形
reduce(xs, f, [memo])
inject
foldl
xs.reduceLeft(f)foldl1 f xs
空で例外
xs.foldLeft(memo)(f)foldl f memo xs
reduceRight(xs, f, [memo])
foldr
xs.reduceRight(f)foldr1 f xs
空で例外
xs.foldRight(memo)(f)foldr f memo xs
find(xs, f)
返り値はvalue | undefined
xs.find(f)
返り値はOption[A]
find f xs
返り値はMaybe
findWhere(xs, obj)findの特殊形
filter(xs, f)xs.filter(f)filter f xs
where(xs, obj)filterの特殊形
compact(xs)filterの特殊形
without(xs, values*)filterの特殊形
reject(xs, f)xs.filterNot(f)
every(xs, [f])
all
xs.forall(f)all f xs
some(xs, [f])
any
xs.exists(f)any f xs
contains(xs, value)
includes
xs.contains(value)elem value xs
max(xs, [f])xs.maxmaximum xsminimumも同様なので省略
xs.maxBy(f)(maximumBy g xs)
sortBy(xs, f)xs.sortBy(f)(sortBy g xs)
groupBy(xs, f)xs.groupBy(f)×
indexBy(xs, f)××groupByと同じだが結果が1つのみ
countBy(xs, f)xs.count(f)×
shuffle(xs)Random.shuffle(xs)×副作用あり
sample(xs, [n])××
size(xs)xs.sizelength xs
partition(xs, f)xs.partition(f)partition f xs
first(xs, [n])
head
take
返り値はvalue | undefined | array
xs.headOption
返り値はOption[A]
listToMaybe xs
xs.take(n)take n xsLodashにはない
×xs.headhead xs例外(非推奨)
initial(xs, [n])
空のとき空が返る
xs.init
空のとき例外
init xs
空のとき例外
xs.dropRight(n)×Lodashにはない
last(xs, [n])xs.lastOption×
xs.takeRight(n)×Lodashにはない
×xs.lastlast xs例外(非推奨)
rest(xs, [n])
tail
drop
空のとき空が返る
xs.tail
空のとき例外
tail xs
空のとき例外
xs.drop(n)drop n xsLodashはdropでおこなう
flatten(xs, true)xs.flattenconcat xs
flatten(xs)××再帰的なflatten
union(xs*)xs.union(ys)union xs ys2つの場合
xss.flatten.distinctfoldl union [] xss
intersection(xs*)xs & ys // Set
xs.intersect(ys) // 汎用
intersect xs ys2つの場合
xss.reduce(_ & _) // Set
xss.reduce { case (x, y) => x.intersect(y) } // 汎用
last $ scanl1 intersect xss
difference(xs, ys)xs.diff(ys)xs \\ ys
uniq(xs)
unique
xs.distinctnub xs
zip(xs*)
unzip(xs*)
xss.transposetranspose xssJSにはTupleがないので、厳密にはzipではない
object(xs, ys)xs.zip(ys).toMapData.Map.fromList $ xs `zip` ys
indexOf(xs, value)xs.indexOf(value)elemIndex value xs
lastIndexOf(xs, value)xs.lastIndexOf(value)×
findIndex(xs, f)xs.indexWhere(f)findIndex f xs
findLastIndex(xs, f)xs.lastIndexWhere(f)×
range([start], stop, [step])start until stop
Range(start, end, [step])
List.range(start, end, [step])
[start..(end - 1)]
[start, start + step .., end - step]