タグ

MLに関するfaerieのブックマーク (14)

  • 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

  • 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
    faerie 2006/04/18
  • tello

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

    faerie
    faerie 2006/04/18
    ocaml なオセロ。
  • http://user.ecc.u-tokyo.ac.jp/~kk56907/wiki.cgi?p=%B7%EE%B5%AD%2F2005-5-15

    faerie
    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

  • 速攻MinCamlコンパイラ概説

    faerie
    faerie 2006/04/05
  • はてなブログ | 無料ブログを作成しよう

    賃貸暮らしのわが家の地震対策【揺れから命を守る編】 以前のブログでも記載した、防災の優先順位に基づいて対策を進めています。まだ手をつけられていない部分もありますが、ある程度まとまってきたのでざっくりとご紹介していきます。 優先順位別に改善していっているため、今回は主に地震の揺れ対策がメインになります。…

    はてなブログ | 無料ブログを作成しよう
    faerie
    faerie 2006/04/05
    らへん。
  • はてなブログ | 無料ブログを作成しよう

    帰省、寿司、陶芸体験 8/13(火) の実家の墓参りへ行き、俺の実家へ帰省。風呂に入る前に子供達と外で水鉄砲で水を掛け合いびしょ濡れになる。最後のほうはどうにでもなれと思い、ホースやバケツで直接水をかけ合う。久しぶりの大胆な遊び方に子供たちは大声をあげながら騒いでいるが、田…

    はてなブログ | 無料ブログを作成しよう
    faerie
    faerie 2006/03/26
    暇なときに全部読む。
  • 柏餅: Objective Caml

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

    faerie
    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)
  • 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
    faerie 2006/02/25
    OCaml の和訳マニュアル。
  • /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
    faerie 2006/02/25
    OCaml 対話環境で行編集を有効にする。たぶん OCaml 以外にも使える。
  • 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 よく知らないキーワードの色づけをいいかげんにしているので,自分の

  • 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
    faerie 2006/02/25
  • 初心者が書いた OCaml 入門

    This domain may be for sale!

    faerie
    faerie 2005/11/23
  • 1