ML Dialects and Haskell: SML, OCaml, F#, Haskell - Hyperpolyglot
a side-by-side reference sheet grammar and invocation | variables and expressions | arithmetic and logic | strings | dates and time | arrays | lists | tuples | dictionaries | functions | execution control | exceptions | concurrency | file handles | files | directories | processes and environment | libraries and namespaces | user-defined types | objects | inheritance and polymorphism | net and web
Effective ML 9ヶ条 - camlspotter’s blog
私の前のボスのハーバードでの講演のビデオが公開されました: http://ocaml.janestcapital.com/?q=node/82 彼は早口ですが、まあ頑張って聞いてください。普通に判れば、アメリカで普通に仕事できます。判らなくても仕事できますから安心してください。 正直、この Effective ML 9ヶ条と Jane Street Core のソースコードを見れば、 Jane Street での関数型プログラミングの秘訣は大体抑えられると言ってよいでしょう。学問的には新しいことは何もありませんが、徒党を組んで関数型言語によるプロジェクトを行うには重要な物ばかりです。 この、Effective ML 9ヶ条をまとめておきました。これを見ながら視聴すると良いかもしれないです。オリジナルは 00:47:13 で見れますね。 コードライタよりもリーダの意見を尊重せよ。大体において
Let’s module programming! - osiire’s blog
オブジェクト指向なら分かるけど、モジュールでどうやってある程度の規模のプログラムをするのか、全く想像つかない！そんな諸氏のためにモジュールプログラミングのテクニックを、レベル分けしながら解説してみたいと思います。 レベル1（基礎編） アプリケーションで使う予定のデータや処理を大雑把にグループ分けして、それらに名前をつけて.mlファイルにします。個々の.mlファイルがモジュール、かつ、スコープ、かつ分割コンパイルの単位になるので、ある程度見通しがよくなります。モジュール同士の連携は、基本的にモジュール名を指定するだけ。後はその.mlファイルにシグネチャーを付けるもよし、つけなくても可。最後にmain.mlファイルを作って、そこからアプリケーションを起動するようにすればOK。とても簡単です。しかし、実を言うと、凝った作りのライブラリでもない限り、ほとんどこれで事足ります。大事なので二回言います
The Caml language: Home
Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA, a French research institute in computer science and applied mathematics, since 1985. The OCaml system is the main implemen
Welcome! | The Coq Proof Assistant
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, the Verified Software Toolchain f
MYCOM BOOKS - 入門OCaml 〜プログラミング基礎と実践理解〜
■内容紹介 (* プログラミングがもっと楽しくなるOCamlの世界へようこそ！ *) OCamlはフランスのINRIAで開発された、Haskellなどと同じく強力な型定義を持つ関数型のプログラミング言語です。型理論（型推論と型安全）、柔軟で強力な型システム、モジュールシステムをベースとしたオブジェクト指向機能など、強力な表現を可能としています。 OCamlのような型付き関数型言語は主に教育や研究に利用されてきましたが、ソフトウェアの複雑さが増してきた昨今、上記のメリットは多くのプログラマにとってうれしいはずです。世界各地で関数型プログラミング言語の利用が広がり始めています。 本書ではまずOCamlの基礎的な事項を習得し、少ない機能でも複雑なプログラムを安全に書けることを体験できます。プログラムの構成手法や抽象化を支援する仕組みに興味がある場合は、モジュールシステムやオブジェクト指向機
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ccell