[B! ML] faerieのブックマーク

d.y.d. 再帰関数の意味とは不動点である！

02:12 05/09/03 反応リンク集 fixの話 … Perl版、 Perl版、 C++版、 C++版、 Scheme版、 Concurrent Clean版。（9/4追記: Ruby版、 Erlang版、 Squeak版、 D版。 Sukuna版。 Erlangのprocessを使ったメモ化の例は見てみたいかも。）。で、メモ化の話 … Python版、 Python版（9/4追記: ET版、 Erlang版、 Java版、 PostScript版。）。 decoratorは流石かっこいいですね。C++版は…うーん、個人的には、このくらいなら Boost に頼らないで直球ストレートで書いてあげたいところです。彼はやればできる子なんです。 template<int (*G)(int(*)(int),int)> int fix(int x) { return G( fix<G

faerie 2006/04/20

リンク

OCaml備忘録

基本的にlinuxベース。バージョンは大体3.07とか3.08ぐらい。よく分からない部分もとりあえず書いているので、多分間違い多数。徐々に追加とか修正とかする予定。今のところオブジェクトとモジュールのところの内容は空。ツールの使い方起動と終了の仕方 OCamlのインタプリタを起動させるにはシェルから次のように入力する。 [radio@taka radio]$ ocaml Objective Caml version 3.08.0 # 終了は #　#quit;; と打ち込む。バイトコンパイルはシェルから [radio@taka radio]$　ocamlc hoge.ml -o hoge ネイティブコンパイルは [radio@taka radio]$　ocamlopt hoge.ml -o hoge とする。また次のようにすると起動時にファイルを読み込むことができる [radio@ta

faerie 2006/04/18

ml

リンク

tello

説明適当に作ったオセロです。更新情報 050601. 0.0.1 。とりあえず公開。アナウンス。ダウンロード Winバイナリとソース同梱です。 tello-0.0.1.zip その他 OCaml で書いてあります。特にこの手の処理は実にやりやすい… config_file.ml を使用しています。 GPL2 で。 home / index 全てリンクフリーです。コード片は自由に使用していただいて構いません。その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。なにかあれば下記メールアドレスへ。

faerie 2006/04/18

ocaml なオセロ。

ml

リンク

http://user.ecc.u-tokyo.ac.jp/~kk56907/wiki.cgi?p=%B7%EE%B5%AD%2F2005-5-15

faerie 2006/04/18

Haskell で赤黒木。

リンク

http://wiki.ocaml.jp/index.php?%B4%D8%BF%F4%B7%BF%B8%C0%B8%EC%A4%CE%C8%E6%B3%D3

faerie 2006/04/18

リンク

速攻MinCamlコンパイラ概説

faerie 2006/04/05

ml

リンク

はてなブログ | 無料ブログを作成しよう

ハリイカの焼売と中華炒めハリイカをよく、見かけるようになりましたよ。生け簀で、泳いでいたものを一杯購入しました立派な大きな墨袋や肝は冷凍保存して柔らかな身は季節のお豆、お野菜と合わせて中華の炒めものに。新鮮なにんにくの茎は刻み、香り高く食欲そそられますね下足はミンチにし…

faerie 2006/04/05

らへん。

リンク

はてなブログ | 無料ブログを作成しよう

恋人と別れて30年が過ぎ、その元恋人の娘と出逢う夜古い友人であるShellyからメッセージが届いた。「私の娘のAdrienneが日本に行くのだけれど、時間取って彼女と会ってくれるかしら？」 Shellyはアメリカ在住の白人女性だ。Shellyと俺との関わり合いは、過去に書いた。こちらを参照のこと。25歳に戻れた夜～ブライアン・…

faerie 2006/03/26

暇なときに全部読む。

ML

リンク

柏餅: Objective Caml

Objective Caml Scheme探してたはずなのにこっちのほうが面白そう。 The Great Computer Language ShootoutによるとCについで2番目に速い言語らしい。（LOC(line of code)を入れればダントツでトップです。) MSにもF#なんてあるんだってさ。第一印象は頭のよい言語。慣れればいろいろ楽に書けそう。関数型って概念以外全部初めてだから感動が多いです。計算機が速いから使える言語ってだけではなさそう。インタープリタ、コンパイラ両方あるからちょっと書きたい時にも便利かもね。高階関数、カリー化、ラムダ式、多相型、C先生の講義で聞いた用語が。。。 Boostあたりで近いこと色々やろうとしてるけどやっぱり本物は美しい。しかしOCamlのサイトを見てると米澤研という単語をよく見るなぁ。最初に見たサイトにのってたq

faerie 2006/03/03

let rec quicksort = function [] -> [] | hd::tl -> let (lt, gt) = List.partition (fun i -> i < hd) tl in (quicksort lt)@[hd]@(quicksort gt)

ML
quicksort

リンク

Ocaml 日本語マニュアル, release 3.06

The Objective Caml system release 3.06 Documentation and user's manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R駑y and J駻��e Vouillon) August 19, 2002 Copyright ｩ 2002 Institut National de Recherche en Informatique et en Automatique

faerie 2006/02/25

OCaml の和訳マニュアル。

ML
manual

リンク

/var/www/public_html/xs4all/treasure/ledit

OVERVIEW: Ledit is a line editor, allowing to use control commands like in emacs or in shells (bash, tcsh). To be used with interactive commands. It is written in Ocaml and Camlp4 and uses the library unix.cma. This is the version 1.10. COPYRIGHT: All files in this distribution are copyright 2001 Institut National de Recherche en Informatique et Automatique (INRIA). FILE: ledit.tar.gz the sources

faerie 2006/02/25

OCaml 対話環境で行編集を有効にする。たぶん OCaml 以外にも使える。

ML
tool

リンク

luvtechno - xyzzy tips

OCamlのソースを編集したい (caml-mode) キーワードとコメントに色づけをするだけのcaml-modeです．caml-modeと言っておきながら実際にキーワードファイルに入ってるのはOCamlのキーワードです．以下の2つのファイルが必要です． caml.l caml-mode 本体 ($XYZZY/lisp/か$XYZZY/site-lisp/におく) caml キーワードファイル ($XYZZY/etc/におく) ; 使用例 (load-library "caml") (push '("\\.ml$" . caml-mode) *auto-mode-alist*) 上のコードを$XYZZY_HOME/.xyzzyに書くなどして，起動時に読み込まれるようにすると便利です．参考:2002/08/11 よく知らないキーワードの色づけをいいかげんにしているので，自分の

faerie 2006/02/25

ML
xyzzy

リンク

Ocaml リファレンス

3.09.3 がでています。マニュアルが派手だなぁ。(どういう印象だ) recursive module ってはいってたのかぁぁぁ。Caml Weekly Newsでの記事 ocamlc -dtypes でコンパイルして、Emacsでソースを開いて、式の上でマウスの真中ボタンをおすと、なんだかうれしくなります。注: 関数型言語としてのOcamlを学ぶにはまず五十嵐先生のページなどをみて下さい手っ取り早くMLを勉強したければこちら超特急、超入門。超、超。。。目次 Language Imperative features (1.5) 配列(Array) 再帰以外の繰り返し Labels(2.1) Optional arguments (2.1.2) Classes and objects (3.1) Class定義 Instanceを作成メソッドへのアクセス Reference t

faerie 2006/02/25