タグ

関連タグで絞り込む (2)

タグの絞り込みを解除

ocamlに関するbecomingのブックマーク (6)

  • ODT: OCaml Development Tools

    Overview [en] [fr] 2 November 2013, by Emmanuel Dieul The OCaml Development Tools (ODT) project aims to be like the JDT (Java Development Tools) Eclipse plugins. It provides IDE features for OCaml application developments, such as automatic compilation, custom editors... What is ODT ODT is a set of plugins for the Eclipse IDE environment. With these plugins, you should be able to develop most of O

  • [pdf]Objective Caml 入門 / 五十嵐 淳

    Objective Caml 入門 五十嵐 淳 京都大学 工学部情報学科計算機科学コース 大学院情報学研究科知能情報学専攻 e-mail: igarashi@kuis.kyoto-u.ac.jp 平成 17 年 10 月 20 日 3 目 次 第 1 章 はじめに 7 1.1 関数型言語 ML と Objective Caml について . . . . . . . . . . . . . . . . . . . . . . . 7 1.1.1 ML・Objective Caml の特徴 . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.2 参考書,資料,マニュアル . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.3 環境設定 . .

  • OCaml Language Sucks

    I have been using OCaml at work for a year now, so here are some reasons why I would not want to use it for software development. Static type checking No Macros Wrappers Places Minor Language Suckiness OCaml Implementation Sucks Standard Library Sucks OCaml Language Rocks Caveats Relevant Links Static type checking Static type checking helps detect quite a few errors which is very good. Alas, this

  • OCamlチュートリアル

    このウェブサイトはOCamlを学ぼうとする人たちの為の実際的で詳細なチュートリアルを集めたものである。 よく知られている通り、OCamlはアプリケーション開発のための高速、簡潔かつ強力な言語である。ここでは読者がすでにOCamlの処理系をインストールしているものと仮定する。インストールの方法については英文であるがOCamlのメインページやOCaml Alianceによる解説に説明されている。またDebianその他のLinuxディストリビューション、FreeBSDパッケージにもなっている。 原文(英語) 邦訳版に関するツッコミなど

  • 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 を研究でのデータ処理をはじめ、作成するプログラムほとんど 全てにおいて日常的に使っているのですが、 とにかく開発効率が良いです。 コンパイル時の型チェックの厳しさには慣れないとちょっと面倒に感じる かもしれま

  • 1