dlist
Difference Lists List-like types supporting O(1) append and snoc operations. Installation dlist is a Haskell package available from Hackage. It can be installed with cabal or stack. See the change log for the changes in each version. Usage Here is an example of “flattening” a Tree into a list of the elements in its Leaf constructors: import qualified Data.DList as DList data Tree a = Leaf a | Bran
List<T>よりArrayList<T>のほうが速いって本当？ - Islands in the byte stream
結論：どちらも同じなので意味的に適切だと思う方を使ってよい 発端は以下のツイートだ。 たしかに、公式ドキュメントには以下のように書いてある。 On devices without a JIT, it is true that invoking methods via a variable with an exact type rather than an interface is slightly more efficient. (So, for example, it was cheaper to invoke methods on a HashMap map than a Map map, even though in both cases the map was a HashMap.) It was not the case that this was 2x slower; the
List の ; と tuple の , - camlspotter’s blog
List, Array, Record などの要素区切りの ; はとても奇妙に見えるかもしれない。 OCaml を使っている人でもあまり意識していないのだが、実は一貫性がある。 A ; B は B ; A と書いても型は変わらない A , B は B , A と書くと型が変わる場合がある 例: print_string "hello"; print_string "world" { a = 42; b = "hello" } [ 1; 2; 3 ] [| 1; 2; 3 |] これらの要素を入れ替えても型は変わらない。もちろん意味は変わる場合がある。 例: (1, "hello") (int, float) Hashtbl.t これらの要素を入れ替えると型が変わってしまう。
guard の動作原理を考える - あどけない話
「リストモナドの動作原理を考える」の続きで、guard の動作原理を考えてみます。 guard は、リスト内包表記では、こんな感じに書けます。 [x | x <- [1,2], x < 2] → [1] これを do で書き直すと、こうなります。 do x <- [1,2] guard (x < 2) return x guard の定義は、Contorol.Monad の中にあって、こういう風になっています。 guard :: (MonadPlus m) => Bool -> m () guard True = return () guard False = mzero 僕には return () が何を意味するのか、さっぱり分かりませんでした。 do から >>= へ変形 上記の do を >>= へ変形するとこうなります。 [1,2] >>= (\x -> guard (x < 2)
非決定計算としてのリストモナド - 純粋関数空間
最近のHaskell 最近はHaskellに関するブログ記事をちらほら見かけるようになって来ました。 日々のスクリプトに使おうとしようという人もいるようで、 http://d.hatena.ne.jp/aya_eiya/20120221/1329836207 このようなブログ記事を見かけました。 Haskellで書いたらそんなに汚いコードにはならないというのはたしかにあります。 やってはならないということがHaskellには比較的少ないのだと思います。 というのも、Haskellでは、やってはいけないことがそもそもできないようになっているか、 やることが極めて難しくなっている（unsafeプリフィックスを持つ関数を駆使したりなど） ことが多いのです。 しかし、そんなHaskellのプログラムも、少し工夫すればもっと良くなることもあります。 列挙問題 先ほどのブログの記事の1つ目のプログラム
Haskellのリスト定義の謎 - あどけない話
ghci を起動し、":info []" とタイプすれば、リストの定義が表示されます。 > :info [] data [] a = [] | a : [a] これが何を意味しているのか、僕は長い間分かりませんでした。同じように悩んでいる人もいるかもしれないので、説明してみます。 まず、第一の分かりにくい点は表記が揺れていることです。リスト型を意味する部分が、= の左側では "[] a"、右側では "[a]" となっています。これはどちらか一方に統一すべきでしょう。ここでは、"[] a" を選んでみます。 data [] a = [] | a : [] a ちなみに、型の部分に "[a]" と書くと、それは "[] a" の別表現になります。a は型変数です。値の部分に "[a]" と書くと、"a:[]" の構文糖衣です。a は単なる変数です。 第二の分かりにくい点は、データ構成子が二項演
(++) によるリスト連結時の再帰回数を数えてみる（右結合である理由）。 - sirocco の書いてもすぐに忘れるメモ
(Real World Haskell—実戦で学ぶ関数型言語プログラミング 13.6 データとしての関数を利用する) Haskell においてリストを連結するための関数 ++ は下に示すように定義されています。xs ++ ys とした場合はリスト xs の長さに比例して再帰する回数が増加します。 (++) :: [a] -> [a] -> [a] (++) [] ys = ys (++) (x:xs) ys = x : xs ++ ys 以下に示したように a ++ b ++ c ++ d と連結すれば再帰するのは 30回ですが、 a = "0123456789" b = "0123456789" c = "0123456789" d = "0123456789" 以下のように連結を繰り返すと、再帰する回数は 60回になってしまいます。 ls1 = a ++ b ls2 = ls1 ++
夜中からの Haskell 談義
くいなちゃん @b2 C/C++ 並に高速な実行ファイルを吐き、C/C++ よりもコンパイルが速く、メモリ周りが安全で(バッファオーバーラン＆メモリリークを防ぐ)、文法が美しいような実用的言語を設計中。 最終的には、ネイティブ実行ファイル生成可能なコンパイラまでを作るよ！ 2011-04-11 03:31:08 Hideyuki Tanaka @tanakh 水をさすようですが、Haskellはこれらをすべて満たしていると思いますので、参考にされると良いかと RT @a_mute: C/C++ 並に高速な実行ファイルを吐き、C/C++ よりもコンパイルが速く、メモリ周りが安全で(バッファオーバーラン＆メモリリークを防ぐ)、文法が美しい 2011-04-11 03:32:26 くいなちゃん @b2 Haskell は中身がどう動作しているのか解らないんですが、C/C++ 並に高速な実行ファイ
Listとか - 宇宙行きたい
List<String> list = Arrays.asList("foo","bar"); List<String> list2 = new ArrayList<String>(){{add("foo");add("bar");}}; こんな風に書けるの知らなかった！！！ でも、asList で返ってくるListは色々弄れないから List<String> list = new ArrayList<String>(Arrays.asList("foo","bar")); とか結局書いちゃう予感
neue cc - Linqと総当り
各所でAdvent Calendarも終了し皆様お疲れさまでした。自分のよく知っている言語はもちろんですが、他の言語を見ていても非常に楽しめて良いですね、特に普段自分の書かない言語で、入門からちょっと突っ込んだものまでまとめて見れるというのは非常に良い機会でした。 そんな中で見かけたScalaによる リストモナドを使ってみる - みずぴー日記 という記事。おお、スッキリかっこよく求まりますね、Scalaカコイイ。さて、総当り。非決定性計算。リストモナド。といったら、Linq、クエリ式。そんな風に反射的に連想が成りたつならもう立派なLinq使いですね！いやまあ、クエリ式で総当たり - NyaRuRuの日記で読んだことがあるから、というだけの話なのですがー。ほとんど直訳でいけるとあるように、Scalaで書かれたsend + more = moneyもまた、直訳で書けました。 var digit
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
null instead of ==
How can I merge two Scala (String, String) for Play! query strings?
listlike-instances
syboos.jp
syboos.jp
Haskell でリストに対する関数を考えるときの視点 - オブジェクト指向からの類推