経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた - camlspotter’s blog
今の会社に移って半年経ちました。めでたく試用期間終了です。といっても別に試用期間中に密かに首を切られるような事をしたとか、逆に試用期間が終わったからと言ってこれで定年までのうのうと働ける、という訳ではありません。未来は全く判りません。まあとにかく、一つ区切りがやってきました。 金融を知らないQuantsの仕事 私の職業の肩書きには Quantitatitatitatitative という単語がくっついて超カッコよさそう。普通は Quant というと、金融工学や統計数理に詳しい夜もブイブイいわしている超イケメン20代を想像しますが、私は金融とか全然知らないアラフォーお父さんです。それでも Quant です。お願いですから、私に何を買ったらいいかとか、聞かないでください。金融商品とか買った事ないし。というか、逆に教えて欲しいです。 私のチームは、本当の Quant さん達が開発した、金融派生商
diaspar journal
No posts. No posts. Home Subscribe to: Posts (Atom)
オフサイドルールの処理 - soutaroブログ
予習編．たまーに，YAMLのパーサとか欲しくなるんだけど，インデントの処理をどうやったら良いのかよくわからなくなって困っていたんだけど，勉強になった． Haskell 98 Syntaxにこと細かに書いてあるので，適当に実装してみた． http://svn.soutaro.com/has/tags/offside-rulesにありますので，適当にチェックアウトして，ocaml-3.10とかfindlibとかextlibとかインストールしたうえでmakeしたらできます．標準入力からHaskellプログラムを読み込んで，オフサイドルールを処理したやつ，つまり適当に{}とか;とか追加したトークン列を出力します． let fac3 0 = 1 fac3 n | n > 0 = n * fac (n-1) みたいのが， { let { fac3 0 = 1; fac3 n | n > 0 = n *
らくがきえんじん
別アカウントに移動しました。 Haskell の型レベルプログラミングによるセッション型の実装 full-sessions を 晒します． くわしくはこちら → http://d.hatena.ne.jp/keigoi/20090622 π計算の型に セッション型というのがあって、そいつを Haskell上に実装して PPL2009 で発表しました。 ソースコードはこちら 発表論文はこちら 気をとりなおして。 Haskell用の C言語のパーザライブラリ Language.C の意味解析機能を使ってみる。 まずはグローバルスコープのシンボルテーブルを表示してみる。 こんなことができる 入力 (sample.c) enum enum1 {x, y, z}; void fundec1(); struct st1 { int a, b; }; typedef struct st2_ { int
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"
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Wheneverconstructioninmyheart!引っ越し予定地
