OCamlで無限リスト。 - blanket log
OCamlのLazyモジュールで遊んでみました。 とりあえず、lazy (OCamlの予約語) と Lazy.force だけ覚えておけばよさそうです。 lazy 'a -> 'a lazy_t *1。 'a lazy_t なる、文字通りlazyな型を作り出す。 Lazy.force 'a Lazy.t -> 'a。 Lazy.t (=lazy_t) の皮をひっぺがす。 単純ですね。 こいつを使って、Haskell御用達の無限リストを作ってみましょー。 (* 無限リスト *) module InfList : sig type 'a t val from : int -> int t val head : 'a t -> 'a val tail : 'a t -> 'a t val take : int -> 'a t -> 'a list val map : ('a -> 'b) ->
OCaml の let と let rec はなぜ別扱いになっているのか、決定版、もしくは OCaml 暦十何年だったか忘れたけど仕事で Haskell を一年使ってみた - camlspotter’s blog
はじめに断っておくが、全部Pros/Consのあるデザインチョイスなので、こうじゃなきゃいけないってことではない。ただ、 OCaml はこの選択をした、そいう事だ。 前回の「経験15年の OCaml ユーザーが Haskell を仕事で半年使ってみた」 http://d.hatena.ne.jp/camlspotter/20101212/1292165692 のような易しい文章ではないのでわからない人はとことん判らないだろう。まあ勘弁して欲しい。 あと、面倒だろうが、読む人は全部常体を敬体にして最後に「と思います」をつけて読んでくれ。ください、と思います。 Shadowing は便利であると思っている OCaml の let は非再帰なので以前定義された名前に別の値の束縛をオーバーライドできる。OCaml の人はこれが便利だと思っており皆普通に使っている。詳しくは http://d.hat
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
