ドイツ人数学者、Gottlob Frege氏から名付けられたFregeは、JVMのための純粋関数型の強力な型付き言語だ。FregeはHaskellと似ていて、「もっともHaskellらしいコードを修正せずに、または、見て分かる最小限の調整だけで動かせる。」 Fregeの開発者たちによると、Fregeは「パワー、単純さ、表現力の豊かさの組み合わせにおいて、類を見ないもの」である型システムをJVMに持ち込んだ。これにより、非正格 評価と型推論をサポートし、純粋性とデフォルトの不変性を可能にする。そのため、副作用は宣言された時のみ使うことができる。Fregeは、以下のようなHaskellの機能をほぼサポートしている。 ADTとパラメトリックポリモフィズムを用いた型クラス より高いランクの型 パターンマッチング リストの包含 do表記 ポイントフリースタイル モジュール functor、monoi

MicrosoftはF#を学習するための新しい専門サイトを始めた。Try F#は3つの主要なセクション－ Learn, Create、Exploreに分かれている。 learn セクションでは、基礎、高度なテクニック、データの可視化、チャート作成、科学的な数値や財務計算、更にデータ科学に関係したトピックを調べる。 < create セクションは主に既にF#精通しているプログラムに向いている。F#のプログラムを作成し、コミュニティとそれを共通できる。 explore セクションは、本、チュートリアル、ビデオプレゼン、ポッドキャストへのリンクのような追加のリソースを提供している。終りの方に、Microsoftが広範囲にF#を扱っている様々なコミュニティサイトヘのリンクを提供している。 Microsoft Research Connections EMEAにおいてソリューションアーキテクトで技術

SOLVING THE PUZZLE OF GLOBAL MARKETS Jane Street is a research-driven trading firm where curious people work together on deep problems Making markets stronger As a market maker and liquidity provider, we stand ready to buy and sell a wide range of assets at competitive prices, including equities, bonds, options, ETFs and commodities. We build bridges between supply and demand, across space and tim

状態をモナドで実現する方法を考えます。 リスト 例は簡単な方がいいので、データ構造として Lisp 風のリストを定義しましょう。 data List a = Nil | Cons a (List a) deriving Show リストは、こんな風に表せます。 Cons "c" (Cons "b" (Cons "a" Nil)) Lisp 風の cons も定義してみましょう。 cons :: a -> List a -> List a cons x xs = Cons x xs cons "c" $ cons "b" $ cons "a" Nil → Cons "c" (Cons "b" (Cons "a" Nil)) 状態を持つリスト さて、この Lisp 風のリストに、要素の数を覚えさせておきたいとしましょう。もちろん、数えれば分りますが、数えなくても一瞬で分るようにしたいのです。

木構造が与えられる。 := ( ...) という構造。 これから、子→親の対応を表すalistを作る手続きを書け、というもの。 http://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3a%e3%83%aa%e3%82%b9%e3%83%88%e5%87%a6%e7%90%86#H-ne4pu7 この問題をやってみた (use util.match) (define *tree* '(Root (Spine (Neck (Head)) (RClavicle (RUpperArm (RLowerArm (RHand)))) (LClavicle (LUpperArm (LLowerArm (LHand))))) (RHip (RUpperLeg (RLowerLeg (RFoot)))) (LHip (LUpperLeg (LLowerLeg

最近やたら叫んでいますが、Rは関数型言語です。ということはもちろん、無名関数ことλを使うことができます。だから二乗するようなことはこんな感じで書けます。 > (function(x){return(x^2)})(1:10) [1] 1 4 9 16 25 36 49 64 81 100 もちろんRは優等生なので > (1:10)^2 [1] 1 4 9 16 25 36 49 64 81 100 とか書けますが、とりあえずこれは忘れさることにします。 で、これまで困っていた事態として次のようなものがあった。例えば、標準正規乱数が100個入ってるオブジェクトxがあった時に0以上のものがいくつあるか数えたい。そんな時こんなことをやっていた。 > x <- rnorm(100) > x[x>0] [1] 1.04072273 0.49322122 0.42067606 1.15146069 0.

実行環境の sbcl から、Common Lisp の disassemble を実行すると、PPC の機械語が見れる。 CL-USER> (disassemble 'cons) ; 101FC550: .ENTRY CONS(SE1 SE2) ; (FUNCTION ; # *) ; 68: 3A7FFFD7 ADDI $CODE,$LIP,-41 ; 6C: 3A0F0020 ADDI $CSP,$CFP,32 （略） ; E8: 4E800020 BLR ; EC: 00000000 BYTE #X00, #X00, #X00, #X00 同様に、movitz-disassemble を実行すると、muerte （x86 上で動くCL runtime?）の関数の機械語が見れる。 CL-USER> (movitz::movitz-disassemble 'muerte::cons) ;

晴天の価値 2月中旬に出張で千葉へ行った。5日間の滞在中はずっと快晴で、気温は20℃に迫る春のような暖かさだった。仕事は朝から晩まで現場を走り回る過酷なもので、身体的にも精神的にも追い込まれた。毎朝、京葉線から見える美しい景色を眺めて正気を保っていた。太平洋へ燦々と…