東京Node学園祭2011
Node.jsの作者Ryan Dahl氏、来日決定！！ 日本中からNoderの皆さんに集まっていただき、Node.jsの更なる発展に向けた礎を築く。 「東京Node学園祭 2011」は、そのような場となることを目指します。 @meso 学園祭 実行委員長 About｜ 東京Node学園祭について スマートフォンの増加により現実になりつつあるC10K問題や、WebSocketにより実現されつつあるリアルタイムWeb。これらへのソリューションとして世界中から注目されているのが、サーバサイドJavaScriptプラットフォームのNode.jsです。 このたびNode.js日本ユーザグループは、Node.jsの作者Ryan Dahl氏および、Socket.IOの作者Guillermo Rauch氏を招聘し、初のカンファレンスとなる「東京Node学園祭」を開催します。 なお、ファーストサーバ社とJo
A Monad Tutorial for Ocaml
A ‘newbie’, in Haskell, is someone who hasn’t yet implemented a compiler. They’ve only written a monad tutorial. With that quote in mind, I’ve decided to become a Haskell newbie and write myself a monad tutorial. This has a value, no matter how bad the monad tutorial might be- it’s as much about explaining the concept to the author as it is explaining it to anyone else. It’s also a test to show h
pa_monad を通して camlp4 のコマンドラインを思い出す - keigoiの日記
pa_monad は OCamlで モナドを使いやすくするための構文拡張だ． ついこの前 id:camlspotter さんが pa_monad の拡張を書いてくださった．ありがたや． 早速使ってみようと思い，コンパイルした．hg clone https://bitbucket.org/camlspotter/pa_monad_custom でダウンロードしたあとは make一発です． ただ，ちょっと ocamlc から試そうと思ったら，俺 camlp4 のコマンドラインオプションを全然覚えてないよ，ということに気づいた． いつも忘れるので書いておく． ocamlc -pp 'camlp4of pa_monad.cmo' a.ml ocamlc/ocamloptのオプション -pp に続けてプリプロセッサのコマンドラインを書く． しかしそもそも camlp4of とはなんだろう？ caml
CamlP4 では OCaml の lexer 拡張はできない。じゃあどうするか。んでもって OCaml で俺の糞 Perl を駆逐したいという話。 - camlspotter’s blog
CamlP4 は lexer も parser も定義することが出来て、パース結果を元に計算させたり、他の言語のプログラムテキストや Caml の abstract syntax tree に変換することが出来ます。 また、CamlP4 ではパースルールに名前をつけることができ、この名前を使うことで、既存パースルールを取り去って別のものに差し替えたり、新しいルールを作って、既存ルールのある場所に挿入することが出来ます。 CamlP4 ではさらに OCaml の文法を CamlP4 のパースルールとして再実装しています。このルール群をいろいろ改造していくことで OCaml の文法を拡張する事ができる。これがよくあるパーサ拡張 pa_XXX.ml (以下、P4拡張)です。pa_monad.ml とか。昨日も書いたように(http://d.hatena.ne.jp/camlspotter/200
Syntax extension for Monads in OCaml
Syntax extension for Monads in Ocaml Jacques Carette, Lydia E. van Dijk and Oleg Kiselyov Summary This Camlp4 extension provides some syntactic sugar to beautify monadic expressions. Example: A simple but realistic example of the use of a list monad looks like this bind [1; 2; 3] (fun a -> bind [3; 4; 5] (fun b -> return (a + b))) where we assume the appropriate definitions of the functions "bind"
Planck という monadic parser combinator を公開しました - camlspotter’s blog
Planck: A Small Parser Combinator Library for OCaml I have released Planck, a small monadic parser combinators for OCaml. It includes a proof of implementation: OCaml syntax lexer and a parser which create 100% identical AST as the original OCaml's lex+yacc, and available at https://bitbucket.org/camlspotter/planck . http://camlspotter.blogspot.com/2011/05/planck-small-parser-combinator-library.ht
pa_monad の "unit binder" を少し拡張 - camlspotter’s blog
OCaml もモナドをつかったプログラミングでは、私は別に bind operator (>>=) を使うのは全く苦じゃないんです。例えば、今私が遊んでいる LLVM のコードは builder をモナドにしてこんな感じになっています: let run clos lty_ret = B.cast clos lty_generic_clos_ptr >>= fun clos -> B.const_load clos [0; pos_code_ptr] "code" >>= fun loaded -> B.cast loaded (L.Type.pointer (L.Type.function_list lty_ret [ L.Type.void_pointer; L.Type.void_pointer ])) >>= fun code_ptr -> B.const_load clos [0;
ocaml-http
The ocaml-http project now resides on Github, http://github.com/sacerdot/ocaml-http. Further developments and new releases will take place on Github, not on this forge. Admins: user29791 user103 Members: user29791 user114 user103 Releases Registered: 2009-03-19 16:58:26 Archived data: 1 open bugs 3 open feature requests 0 mailing list 2 VCS 3 released files
Lwt manual
Backtrace support If an exception is raised inside an Lwt thread, the backtrace provided by OCaml will not be very useful. It will end inside the Lwt scheduler instead of continuing into the code that started the thread. To avoid this, and get good backtraces from Lwt, use the syntax extension in debug mode. In debug mode, the let%lwt construct will properly propagate backtraces. In the ppx syntax
8行でjQueryのデバッグが楽になるjQuery.pの紹介 - KAYAC Engineers' Blog
週末はオレ標準JavaScript勉強会のUstreamを眺めてました。ago（@kyo_ago）です。 以前jQuery使いが陥りやすい罠の中で「4 何でも一行で書こうとする」という点を上げたのですが、以下のようなmethodを定義することでmethod chainのデバッグが楽になるので紹介したいと思います。 $.fn.p = function (id) { var arg = [this]; if (id) arg.unshift(id); if (!window.console) return this; var c = window.console || { 'log' : function () {} }; (c.debug || c.log).apply(c, arg); return this; }; 具体的な使い方ですが、以下のように確認したいmethodの後に.p()を
東海大学医学部付属東京病院
初診及び紹介状をお持ちの方 8時30分〜16時30分（月〜金） 8時30分〜14時30分（土） 再診の方 14時00分〜16時00分（月〜金） 12時30分〜14時00分（土）
ぱわわっぷOCaml
11. 第一級モジュールFirst Class moduleモジュールを変数に束縛して、関数の引数に与えたり、関数の戻り値としたり、バリアントのパラメーターとする事ができるようになった。モジュールから値へ変換let m = (moduleM : S)値からモジュールを復元moduleM = (val m : S) 12. 型安全なプラグインtype safe plugin抽象型を持ったモジュールをリストに複数持って切り替える事ができる。これはレコードの型変数では不可能な記述。moduletypePLUGIN= sigtypetvalstate : tvalstart : t -> unitvalstop : unit -> tendletplugins = ref ([] : (string * (modulePLUGIN)) list)プラグイン毎に型が異なる 13. シグネチャの取得s
OCamlを使ったシステム開発まとめ - osiire’s blog
うちの会社(有限会社ITプランニング）でやってきたOCamlを使ったシステム開発の概要を書いておきます。ふと思うと今までまとめて公開したことはなかったなと。別に隠す程のものじゃないし、もしこれからOCamlを使ったプロジェクトを始めてみたい人の参考になれば嬉しいです。 2006年 某証券会社のWebサービスの一部を担当 株価を解析して、その結果をWebAPIとして提供。OCaml + MySQL。HTTPベースで提供されるXMLファイルが生データだったので、この時初めてXMLのパースにxml-lightを使った。これはかなり便利。その後も使い続けている。nc(network cat)ライクなモジュールも作った。行列変換のためにC言語との連携もしたけど、特に問題なし。そういえば、この頃はmarshalingが好きで、DBへmarshalingデータをそのまま保存して「Objectデータベース
ivarの必要性 - ocaml-nagoya
OCamlではCMLスタイルのスレッド間通信が可能です。 Eventモジュールには基本的なイベント型やその同期関数が揃っています。 ところが、ivarやmvarといった共有変数が無い為に苦しい状況になっています。 例えばとても単純に、整数を渡して計算結果を（今回は倍にして）返してくれるスレッドを作ってみましょう。 すぐに思いつくのは、次のようなコードです。 let start_server () = let in_ch, out_ch = new_channel (), new_channel () in let rec loop () = let x = sync (receive in_ch) in loop (sync (send out_ch (x * 2))) in ignore (Thread.create loop ()); in_ch, out_ch let calc (i
OCamlからmemcachedを叩く - YAMAGUCHI::weblog
はじめに 最近はOCamlからいろんなものとやり取りしたいなという心持ちなんですが、とりあえずmemcachedを叩いてみようかと思って始めてみました。 書いたもの とりあえず書いた。適当に書いただけなので動くかどうかも適当です。 ymotongpoo/ocamlmemcached · GitHub 全部書いてもしょうがないので、とりあえずsetだけ雰囲気で。 memcachedインストール $ sudo port install memcached ... ---> Fetching memcached ---> Attempting to fetch memcached-1.4.5.tar.gz from http://memcached.googlecode.com/files/ ---> Verifying checksum(s) for memcached ---> Extrac
The JoCaml system
What's JoCaml? JoCaml is Objective Caml plus (&) the join calculus, that is, OCaml extended for concurrent and distributed programming. The new JoCaml is a re-implementation of the now unmaintained JoCaml by Fabrice Le Fessant. With respect to this previous implementation, main changes are: Numerous syntax changes, we believe the new syntax to be cleaner. Disparition of mobility features, sacrifie
O脚矯正したら身長３センチ伸びたｗｗｗ
1：2011/09/16(金) 23:51:25.05 ID:q6JMfJp70 夢の170センチ代 4：2011/09/16(金) 23:52:17.38 ID:gME4jQNs0 どうやって矯正したかkwsk 9：2011/09/16(金) 23:54:50.60 ID:q6JMfJp70 空気圧でやる方法もあるが１ヵ月で元に戻るからおススメしない ベルトを使ってやる矯正の方法を教えてやる 11：2011/09/16(金) 23:54:52.81 ID:2sm6RqA90 雑誌の後ろに載ってる広告ぐらい信憑性が感じられないwww 13：2011/09/16(金) 23:56:54.21 ID:q6JMfJp70 >>11 本当だって ３日で握り拳が入ってたO脚が２本指分ぐらいまで縮んだんだぞｗ ２～３週間でくっ付いた 10：2011/09/16(金) 23:54:51.43 ID:YN
yebo blog: Intel、並列プログラミングができるようJavaScriptを拡張
2011/09/18 Intel、並列プログラミングができるようJavaScriptを拡張 Intelは、並列プログラミングができるようJavaScriptの拡張バージョン「River Tail」を開発していることがIDFで明かされた。初期バージョンはFirefoxのアドオンという形でオープンソースで入手できる。通常は3fpsしかアニメーション処理ができないものが、8コアのプロセッサで並列プログラミングを行うと45fpsと15倍の処理が可能になるという。GoogleのNaCLは必要ない?Intel Blog | Building a Computing Highway for Web ApplicationsRegister | Intel extends JavaScript for parallel programming メールで送信 BlogThis! Twitter で共有する
ドコモ、11月にもスマートフォンでiモード向けコンテンツを利用可能へ。登録情報引き継ぎに対応
ドコモ、11月にもスマートフォンでiモード向けコンテンツを利用可能へ。登録情報引き継ぎに対応 NTTドコモはかねてより従来のフィーチャーフォンで提供してきた「iモード」向けコンテンツをスマートフォンへ対応させる方針を示してきたが、早ければ11月にも一部のiモード向けコンテンツがスマートフォンに対応するようだ。日本経済新聞が7日に報じた。 当初は、iモード向けコンテンツの1割に相当する約300社分のコンテンツが対応し、その後順次拡大する見込み。有料コンテンツの登録情報（会員情報）はスマートフォンへ引き継ぐことができる。 NTTドコモは7月29日に開催した2011年度第1四半期決算説明会においても、フィーチャーフォン向けサービスやコンテンツのスマートフォンへの対応予定をある程度詳しく明かしていた。その予定では、今冬以降にiモード向けコンテンツのスマートフォン対応（課金・認証システム、マイメニュ
OCaml 基礎最速マスター — Scratch Leaf — MAYAH.JP
OCaml は Haskell とは違って純粋でない関数型言語です。ML (Meta Language) という言語ファミリーの方言の一つで、フランスの INRIA という研究所で開発されています。速度を稼ぐために命令型のように書こうと思えば書けるし、遅延評価もデフォルトではしません。その分、practical なアプリケーションが書きやすくなっています。 他の言語をある程度知っている人はこれを読めば OCaml のとりあえずの基礎をマスターして OCaml を書くことができるようになります。多分。関数型言語の知識は仮定していません。C/C++ ぐらいの知識があれば読めると思います。元の Perl 基礎文法最速マスターではリファレンスぽい作りですが、チュートリアルぽくなってしまいました。 なお、読んでいると分かりますが、色々とめんどくさいことが多いように感じます。しかし、これをちゃんと書く
Findlib
OCaml library manager Findlib is a library manager for Objective Caml. It provides a convention how to store libraries, and a file format ("META") to describe the properties of libraries. There is also a tool (ocamlfind) for interpreting the META files, so that it is very easy to use libraries in programs and scripts. The information in META includes version string, compiler options for using the
ocaml-android - ocaml-nagoya
2011-05-13 ocaml-android 2011-03-29 ocaml-nagoya 2011-02-03 ocamljsメモ 2011-02-01 OCamlテクニック/再帰型(Equi-recursive) 2011-01-01 camlp5 C共有ライブラリの作成 2010-12-23 活動記録/20080529 2010-12-02 ProofCafe ProofCafe/Coq01 2010-10-07 ProofCafe/ProofGeneral 2010-05-22 ProofCafe/crush 2010-05-21 Fsharp 2010-04-25 ProofCafe01 2010-04-22 論文読み会 2010-04-16 ネタ記録庫/OCaml 2010-04-06 ProofCafe/Coq02 2009-12-15 発表資料 2009-08-10
Welcome to a World of OCaml
# let square x = x * x val square : int -> int = < fun > # square 3 - : int = 9 # let rec fac x = if x <= 1 then 1 else x * fac (x - 1) val fac : int -> int = < fun > # fac 5 - : int = 120 # square 120 - : int = 14400
OCaml で LLVM -- 事始め - camlspotter’s blog
この記事は LLVM-2.8 とその OCaml binding を使った LLVM プログラミングの始め方について、良く判らないという声を聞いたので、理屈はともかく、どうやって始めるかを主眼に書いた物です。OCaml や Makefile を全く書いた事が無いし知りたくも無い、でも LLVM を使いたいという方にはちょっと無理な内容になっています clang とか LLVM とかこの頃よく聞きますよね。Apple が製品に結構使っているという話ですし、気になっている人もいるでしょう。私も LLVM、気になりました。要するに、プログラム内で Cみたいな言語(語弊がありますが)の構文ツリーを動的に生成して、それを、はいお願いと LLVM のエンジンに投げるとアーラ不思議、各アーキテクチャ用にいい感じで JIT コンパイルしてくれてスイスイ動く、という魔法のような話です。 マシン語は Z80
Ocsigen/Eliomの入力値検査 - keigoiの日記
Ocsigenで簡単なサンプルを書いた。 簡単すぎて悲しくなるけど、最初はこんなもんだろう。今週でこれをそこそこの規模に成長させる予定です。 足し算アプリ Struts にあるような入力値の検査機能(その業界ではバリデーションといいます)はOcsigenにはないので、自前で実装した (iferror関数) 入力値はページを移動すると消える 手順 以下、前回 の通りにライブラリがインストールされているとして： test.ml を、 ocamlfind ocamlc -c -thread -package ocsigen -pp "camlp4o /opt/local/lib/ocaml/site-lib/ocsigen/xhtmlsyntax.cma -loc loc" test.mlでコンパイル。 test.cmo を生成。 /etc/ocsigen/ocsigen.conf <host
Monad にしちゃう functor を通して今時の OCaml モジュールプログラミングを俯瞰 - camlspotter’s blog
これは私用の覚え書きを適当に整形したもの(というか Sphinx で hatena 記法にしただけだけど)。だから他の人が読んで判るように全く書いていない。OCaml や ML のモジュールシステム、 value polymorphism、さらには relaxed value polymorphism、そして日本語を知っている人に、ならば何か役に立つかもしれない。多分地球上で数十人もいない。まあいいや。これ見てウヘェ、と思うなら例えば F# みたいな ML モジュールシステムを放棄して class 階層を採用した言語とか、 Haskell みたいな type class でモジュールを実現したのとかを使うか、それとももっと超カッコいいナントナクヒューリスティックで便利キワマルな型推論補助のついたモジュールシステムを考えて OCaml に足して公開すればいい。正直私もここまで来ると ML モ
OOP in Python: How to Create a Class, Inherit Properties and Methods
Classes in Python allow developers to create reusable components for their code, making it easier to maintain and modify. In this article, we will explore the basics of classes in Python and how to use them effectively in your projects. Basic Principles of Object-Oriented Programming Object-oriented programming (OOP) is a programming paradigm that uses objects and their interactions to design appl
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
gds / ocaml-iteratees — Bitbucket
GitHub - avsm/ocaml-cohttpserver: A basic HTTP daemon implemented on top of ocaml-cohttp
Old Nabble - Caml Discuss2 - Asynchronous IO programming in OCaml
GitHub - avsm/ocaml-lwip: OCaml bindings to the lwIP TCP/IP stack
日本大学医学部附属板橋病院へ
Oops
GitHub - dominictarr/event-stream: EventStream is like functional programming meets IO
Is OCaml suitable to write networking servers?
IDEA * IDEA
OCaml Webフレームワーク Ocsigen概説 @ OSC2009Nagoya