HaskellとOCamlの型の違い
Hideyuki Tanaka @tanakh 完全な型推論よりも、型システムの表現力が重要である、という考えは多分OCamlとは相容れない。そこがOCamlとHaskellの決定的な差であって、PureとかLazyとかの違いはそれに比べれば割りとどうでもいい。 2012-03-26 14:24:35 Jun Furuse 🐫🌴 @camloeba RT @tanakh 完全な型推論よりも、型システムの表現力が重要である、という考えは多分OCamlとは相容れない。そこがOCamlとHaskellの決定的な差であって、PureとかLazyとかの違いはそれに比べれば割りとどうでもいい。 2012-03-26 14:36:35
ocamljs を使おう ： OCamlからJavaScriptへの変換 - keigoiの日記
ocamljs は OCamlから JavaScript へのトランスレータだ。前回の記事と順番が逆になってしまったけれど今回はocamljsについて書く (基本的に http://jaked.github.com/ocamljs/ 以外のことは書いてないです。)。 JavaScriptは歴史的経緯とその簡潔さからwebブラウザで使われているが，静的型付けでないので信頼性の面でいまいち不安だったり、言語の使いやすさの面でもパターンマッチの構文が無いとか、まともなモジュールシステムがないとかで良くない。 ocamljsを使えば、比較的安全・簡潔に大規模かつ動的なwebページを構成できるかもしれない。 ocamljsは残念ながらまだ成熟しているとはいえないが、実は既にすごく高機能だ。 現バージョンで既に DOM や jQuery を OCaml から操作できるし、いざとなれば JavaScri
F#やOCamlの日本語サイト - CamlTV
関数型言語 F# や OCaml の日本語サイト『CamlTV』 - インストール方法の紹介やCamlTVブログを公開F# とは F# （エフシャープ）はプログラミング言語です。マイクロソフトの研究チーム『 Microsoft Research 』によって .NET プラットフォーム向けの言語として開発されました。他の.NET 言語と同様に .NET クラスライブラリを利用したり作成したりすることができます。 F# は OCaml に似た言語構文をもち、静的型付け、オブジェクト指向、型推論などの機能があります。 OCaml とは OCaml （オーキャムル）は Object Caml （オブジェクト・キャムル）というプログラミング言語の略称です。OCaml は関数が値のように扱えるなどの特徴をもち、関数型言語に分類されます。ML という言語の一種で、もとは Caml という言語でしたが、
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
