[B! Programming][ocaml] syanbiのブックマーク

静的型と OO というものははじめから… - camlspotter’s blog

OO の方面から、「静的型とか別に役に立つとは思えない、静的型の人は頭おかしい」とか関数型の方面から、「静的型が役に立たないなんてはずない OO の人は頭おかしい」とか良く聞こえてくるんですが、ダックタイピング心理学とかいう真に頭おかしい意見を無視できるとすると（無視できない量あるんですが）、まあ私にはどっちもわからんでもない、という話です。型をゴミ箱に捨てておいてから、後でゴミ箱を漁るなら、型なんかいらないオブジェクトの静的型システムを大雑把にいうとまず upcast と downcast があります。 upcast はオブジェクトの静的型をそれが属するクラスからそのスーパークラスにを変えちまうこと、downcast はその逆、オブジェクトの静的型をそれが属するクラスから子クラスに変えちまうことです。サブクラスの物はスーパークラスとしても通用するはずですから upcast は失

syanbi 2013/10/29

リンク

なぜ次に学ぶ言語は関数型であるべきか - YAMAGUCHI::weblog

はじめにこんにちは、Python界の情弱です。ちょっと前にOCaml系のエントリを色々と眺めていたらYaron Minsky氏のエントリを見つけたので翻訳してみました。 OCaml for the Masses - ACM Queue Yaron Minsky氏はJane Streetで第一線で活躍されるエンジニアで、Jane Streetの技術ページをはじめ多くの場所でOCamlに関しての知見を語ってくださっています。 Jane Street Tech Blogs 本エントリはJohn Hughesの名エントリ「なぜ関数プログラミングは重要か」を受けてACM Queueに寄稿されたものの日本語訳です。なぜ関数プログラミングは重要か Why the next language you learn should be functional YARON MINSKY, JANE STREE

syanbi 2011/11/06

リンク

quine リレー - まめめも

Update (2013-07-15): I improved this program to 50-language version. 50 言語版にパワーアップさせました。これはこのプログラム自身を出力する Unlambda プログラム、を出力する Whitespace プログラム、を出力する brainfuck プログラム、を出力する Java プログラム、を出力する C プログラム、を出力する Haskell プログラム、を出力する OCaml プログラム、を出力する Lua プログラム、を出力する Perl プログラム、を出力する Python プログラム、を出力する Ruby プログラム、です。 # ruby l=92.chr;eval s="s=s.dump[r=1..-2].gsub(/("+l*4+"){4,}(?!\")/){|t|'\"+l*%d+\"'%(t .s

syanbi 2011/07/05

話題になってたquineプログラム元ネタこれかーーーー

リンク

OCaml の let と let rec はなぜ別扱いになっているのか、決定版、もしくは OCaml 暦十何年だったか忘れたけど仕事で Haskell を一年使ってみた - camlspotter’s blog

はじめに断っておくが、全部Pros/Consのあるデザインチョイスなので、こうじゃなきゃいけないってことではない。ただ、 OCaml はこの選択をした、そいう事だ。前回の「経験15年の OCaml ユーザーが Haskell を仕事で半年使ってみた」 http://d.hatena.ne.jp/camlspotter/20101212/1292165692 のような易しい文章ではないのでわからない人はとことん判らないだろう。まあ勘弁して欲しい。あと、面倒だろうが、読む人は全部常体を敬体にして最後に「と思います」をつけて読んでくれ。ください、と思います。 Shadowing は便利であると思っている OCaml の let は非再帰なので以前定義された名前に別の値の束縛をオーバーライドできる。OCaml の人はこれが便利だと思っており皆普通に使っている。詳しくは http://d.hat

syanbi 2011/05/10

let, let recによる値束縛の差についてなぜあるのか(再帰、非再帰での違いだが) 、という理由について取り上げられているエントリ。Haskellとの対比があるが、Haskellは真摯にコードと向き合える人..向け.. か。

リンク

Expert Solutions for Complex Challenges

Expert Solutions for Complex Challenges Our accomplished team of Ph.D. holders boasts world-class expertise in programming language design and advanced architectures. Consulting and development Well-specified architecture and efficient implementation: we’ll do it for you!

syanbi 2011/04/08

Ocaml Pro.. 商用利用のために立ち上がったプロダクトか..

リンク

経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた - camlspotter’s blog

今の会社に移って半年経ちました。めでたく試用期間終了です。といっても別に試用期間中に密かに首を切られるような事をしたとか、逆に試用期間が終わったからと言ってこれで定年までのうのうと働ける、という訳ではありません。未来は全く判りません。まあとにかく、一つ区切りがやってきました。金融を知らないQuantsの仕事私の職業の肩書きには Quantitatitatitatitative という単語がくっついて超カッコよさそう。普通は Quant というと、金融工学や統計数理に詳しい夜もブイブイいわしている超イケメン20代を想像しますが、私は金融とか全然知らないアラフォーお父さんです。それでも Quant です。お願いですから、私に何を買ったらいいかとか、聞かないでください。金融商品とか買った事ないし。というか、逆に教えて欲しいです。私のチームは、本当の Quant さん達が開発した、金融派生商