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
OCaml のパッケージシステム OASIS を使ってみた - camlspotter’s blog
この文書は新情報が入り次第、適時更新します。 今日も OCaml ライブラリのソースをダウンロードするところから始めている皆さん、こんにちは。 はっきり言って、面倒ですよね。一度ダウンロード、コンパイルに成功したら、それのソースツリーを置いておけばそれまでなんですが、 他のマシンでコンパイルしたくなったりしますよね。 私はブチ切れて OMake で指定 URL からダウンロードして apt-get+configure+make+install までオンデマンドでやっちゃうシステムを組みました。 マシンが変わっても omake 一発で全部やってくれるのが気持ちいいです。 ( https://bitbucket.org/camlspotter/omy/overview ) それでもやっぱり、ライブラリがバージョンアップしたら、また始めからソース取ってきて確認、は変わりません。 そうなるとやっぱ
Real World OCaml が出ました - camlspotter’s blog
一昨年から少しずつ書かれていた OCaml プログラミングの本、 Real World OCaml (以下 RWO)がついに public beta になり公開されました。 ( https://realworldocaml.org/beta1/en/html/ ) 版元の O'Reilly ではこのベータ版の状態の e-book が 今なら安く手に入ります。完全版には後から無料でアクセスできるように なるそうです。( http://shop.oreilly.com/product/0636920024743.do ) ！！！！！安く買いたい人は http://shop.oreilly.com/category/deals/early-release.do?code=WKERRLS をよく読んでね！！！！！ この本は、今まで外に伝わりづらかった OCaml プログラミングの最前線の一面を 伝
そろそろ Jane Street Core について語ろう、かな #0: Core とは - camlspotter’s blog
Core とは Jane Street が開発、使用、オープンソースとして公開している OCaml 基本ライブラリ。この Core についてちょっと書こうかな。 ちなみに、ここに書いてあるのは一ユーザとしての意見。間違っても会社の見解ではありません。念のため。 発端 まず、このエントリの発端は、Caml-list に出現した「Why don't you use batteries?」という長ーいスレッド(今長さ57)。Batteries included というのは、OCaml の「標準ライブラリ」が余りに貧弱なので、それを拡充しようというものです。古くは extlib という 3rd party ライブラリがあって、それを取り込んでさらに拡張しています。(Batteries included も 3rd party。念のため。) OCaml 貧弱標準ライブラリ まず、その、OCaml の
超簡単にオモチャ LWT を実装してみた - camlspotter’s blog
OCaml は現時点でマルチコア対応じゃないので、マルチスレッドにしてもマルチコアの恩恵を享受することができません。ですので、OCaml で thread を使う旨みというのは、関数を並行に走らせる事ができるってことだけです。でも並行に走らせる事が出来ればいろいろ便利ですよね。 でもマルチスレッドプログラミングで一番困るのが排他制御。これを上手くやってやらないと、OCaml で type safe なはずなのに、 segfault という事になります。もちろん OCaml プログラマは普段から type safety に慣れきっているので、 type system で保障されない排他制御を完璧に書けるはずがないのです。心が折れます。 そこで、light weight thread。こいつは実は thread じゃありません。要は同一スレッド内でタスク関数をとっかえひっかえ asynchro
経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた - camlspotter’s blog
今の会社に移って半年経ちました。めでたく試用期間終了です。といっても別に試用期間中に密かに首を切られるような事をしたとか、逆に試用期間が終わったからと言ってこれで定年までのうのうと働ける、という訳ではありません。未来は全く判りません。まあとにかく、一つ区切りがやってきました。 金融を知らないQuantsの仕事 私の職業の肩書きには Quantitatitatitatitative という単語がくっついて超カッコよさそう。普通は Quant というと、金融工学や統計数理に詳しい夜もブイブイいわしている超イケメン20代を想像しますが、私は金融とか全然知らないアラフォーお父さんです。それでも Quant です。お願いですから、私に何を買ったらいいかとか、聞かないでください。金融商品とか買った事ないし。というか、逆に教えて欲しいです。 私のチームは、本当の Quant さん達が開発した、金融派生商
camlspotter’s blog
そのまま公開するとまた面倒臭い事になりますから、Timeeingine はいくら好意的に解釈しても大きいバグが二つ存在するので直したほうがよいとだけ。("store" は問題外でカウントに入りません) gpg+base64 してあります。鍵を公表する事がなければそれでよし。 魚拓: http://megalodon.jp/2016-0515-0415-36/d.hatena.ne.jp/camlspotter/20160514 jA0EAwMCvtjTc8nkREFgyesvn2Qomb/Na99Al6T1K+ebWWdK2kyE91N/wY0pn5oHFMFJ0cq4kR6P kTrhLntJ/jPftW4/GghEhN1LEwupxqAtCUjA+XLV2/3rt28tqs+m7tAXAfjz0/V8X3piI46VPdFP FCiBNsq6xlnfhaTSbb54OcagEQnEIY
Windows で Emacs 内部 shell をストレスなく動かす = Cygwin + sshd + XMing + VMWare + Ubuntu + Emacs + Tramp + shell-mode - camlspotter’s blog
たまには殺伐とした噺もいいでしょう。 Windows で Emacs 内部 shell をストレスなく動かすには？ 結論から言うとそんなもんねえ。 でもそれじゃ余りに何なので、この三ヶ月間で私が泣きながら辿り着いた方法をご紹介しよう! Cygwin + sshd + XMing + VMWare + Ubuntu + Emacs + TRAMP + shell-mode です。病的だけどちゃんと動きます。 Emacs の shell-mode が好き 長年の習慣で Emacs を使っています。別に宗教入ってる訳じゃなくて、色々便利だし、慣れてるから。 Emacs には shell-mode (M-x shell) というのがあって、 Emacs 内部で interactive shell が立ち上がる。履歴は全部バッファーに残るし、コピペも Emacs 内でできるから便利。もちろん皆さん使
東京は金融とか、そんな事は忘れましょう。 - camlspotter’s blog
いまいち論理展開の判らない記事なんだけれども、 英語公用語化と都内超高層化 楽天が英語を公用語化する、という話を聞いて、都内の超高層化を思い出した。 三木谷氏は「日本人を覚醒させるキッカケとして、英語を公用語化する」と 発言しているようだが、 「覚醒なんかしたくない、背伸びしてグローバル化したくない」が 日本人のマジョリティーではないか？ で、なぜここで超高層化が出てくるのかというと、 「東京を国際金融都市にするために、土地利用をもっと超高層化すべし」という意見が、 グローバル化論者からしばし飛び出しているからである。 (後略) http://anond.hatelabo.jp/20100705201646 「東京を国際金融都市にするために、土地利用をもっと超高層化すべし」という意見も良く判らない。本当にこんなこと言ってるの？ 高層化したって東京は国際金融都市にはなりませんよ。 高いビルで
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
