タグ

ocamlに関するinfohackのブックマーク (4)

  • Objective Caml 入門

    Objective Caml 入門五十嵐 淳 京都大学 工学部情報学科計算機科学コース 大学院情報学研究科知能情報学専攻 e-mail: igarashi@kuis.kyoto-u.ac.jp September�24, 2007 Contents Chapter�1�� 1.1��関数型言語 ML と Objective Camlについて 1.1.1��ML・Objective Caml の特徴 1.2��参考書,資料,マニュアル 1.3��環境設定 Chapter�2�� 2.1��インタラクティブコンパイラを使う 2.1.1��簡単な使い方 2.1.2��その他: ファイルからのプログラムの読み込み・コメント 2.2��基データ型とその演算 2.2.1��unit型 2.2.2��int型 2.2.3��float型 2.2.4��char型 2.2.5��string型 2

  • OCaml プログラミング入門

    OCaml のすすめ OCaml とはフランスの 情報技術系の研究機関の INRIA で開発されている関数型言語 ML (の方言) です。ML には多相型、型推論、ガーベージコレクション (GC)、 データ構造のパターンマッチング等、プログラミング言語理論の研究の 成果 (すごく最新のものと言うわけでは無いそうですが) が詰め込まれ ています。これらの目的・効用は、 コードの再利用の範囲が大きい (多相型) コードの記述量が短かくなる (型推論・データ構造のパターンマッチング) バグの入り込む余地が少なくなる (GC、関数的(副作用の少ない)プログラミング) 等です。私は OCaml を研究でのデータ処理をはじめ、作成するプログラムほとんど 全てにおいて日常的に使っているのですが、 とにかく開発効率が良いです。 コンパイル時の型チェックの厳しさには慣れないとちょっと面倒に感じる かもしれま

  • Route 477(2007-06-21)

    ■ [web] 日刊スレッドガイド : 至高のシャーペン 究極のシャーペン Pentel GRAPH1000 FOR PRO はガチ 当にこれ以外買う気がしないから困る。 ■ [ruby][memo] Dave Thomasのプレゼンより: Rubyは私が考えるのと同じように考える 犬好きと好きがいるように、Ruby好きとPython好き、Haskell好きとOCaml好きがいる。そして、RubyとHaskell、PythonとOCamlが好きな人は多いが両方が好きな人はめったにいない HaskellとOCamlってそういう関係なんすかね。 47 http://d.hatena.ne.jp/ku-ma-me/20070625/p2 20 http://www.google.co.jp/search?hl=ja&q=日刊スレッドガイド&l... 16 http://search.msn.

    Route 477(2007-06-21)
    infohack
    infohack 2007/06/21
    >HaskellとOCamlってそういう関係なんすかね
  • EclipseFP - Functional programming support for Eclipse

    These pages are obsolete. Please go to http://eclipsefp.github.com for up-to-date information on EclipseFP

  • 1