タグ

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

タグの絞り込みを解除

ocamlに関するiakioのブックマーク (3)

  • The Opa Language

    1. One Language to Rule Them All Write simultaneously the frontend and backend code, in the same language, within the same module. Even better: the Opa Slicer automates the calls between client and server. No more manually written AJAX calls or value serialization! And when auto is not enough, add hints to the code to enforce client or server-side, privacy, synchronous or asynchronous.

    iakio
    iakio 2012/01/27
    JSの皮をかぶったOCaml? パターンマッチとかxmlリテラルとかあってLift風にも見えるけどよくわからん
  • OCaml 標準ライブラリ探訪 #3.0: Printf: 便利だけどいろいろ謎のある奴 - camlspotter’s blog

    関連リンク: OCaml 標準ライブラリ探訪 第0回 その他の回は第0回のトラックバックよりご覧ください。 printf って OCaml でも便利ですよね。C から連綿と続いている半ば常識の % インターフェースに加え、ちょっと不思議な型推論のおかげで型安全性も保証されてます。printf 使ってて型エラーが見つかるたびに、あー C だったら seg fault してたかもしれんな、、、良かった良かった、と思います。今日はそんな printf 系の関数を提供する Printf モジュールのお話。 OCaml では printf系の関数は、何か知らんけど書いたら動く、だから深く詮索するな、という不思議(適当) API として提供されています。私はこの清濁併せ呑む OCaml の姿勢が好きなんですが、、、まあ人それぞれですな。 お品書き Printf の特殊な型付けについて / format

    OCaml 標準ライブラリ探訪 #3.0: Printf: 便利だけどいろいろ謎のある奴 - camlspotter’s blog
    iakio
    iakio 2011/12/28
  • The Programming Languages Zoo

    About the zoo The Programming Languages Zoo is a collection of miniature programming languages which demonstrates various concepts and techniques used in programming language design and implementation. It is a good starting point for those who would like to implement their own programming language, or just learn how it is done. The following features are demonstrated: functional, declarative, obje

  • 1