ワールドワイドにウェブサービスをローンチしたい方は是非参考にすべきサービス、 teratail のご紹介 - Oh, you `re no (fun _ → more)

2014/07/17 8 users Fun teratail ウェブサービス MORE you

Fail以上です 続きを読む

ソウルフル小話: 型付き関数型言語と C++ は同時に使ってはいけない - Oh, you `re no (fun _ → more)

2014/04/25 39 users Fun MORE OCaml you Haskell

OCaml, Haskell, C++いやまじで使っちゃいけないです。三年前こういうことがあったんです。 Haskell と C++ を使っているコードなんですが、 突然ビルドができなくなる。さっきまで上手く行っていたのに、意味不明な C++ のエラーがゴボゴボ出てくる。 git status や hg status してもそんなとこ何も触ってない。そもそも C++ なんか触ってねえし、俺触ってた... 続きを読む

OutsideIn(X) と OCaml - Oh, you `re no (fun _ → more)

2013/12/31 10 users OCaml GHC Fun MORE 型推論

OCaml, HaskellHaskell の実装 GHC の新しめのバージョンでは 多相let の型付けが今までの HM (Hindley Milner) 方式から新しい OutsideIn(X) に変わっています。(言語拡張でどうたらあるらしいがシラネ) 詳しい動機はまあいろいろあるみたいですが GADT とか Type family の型推論の効率とか完全性とかそういう方面らしいです。正直両... 続きを読む

金融と OCaml - Oh, you `re no (fun _ → more)

2013/12/09 59 users OCaml Ph.D Fun MORE you

OCaml関数型言語というと金融で流行っている、特に　OCaml と言えば金融御用達関数型言語として語られることも多い。金融業界に関数型言語を持ち込み成功した最初の二社 LexiFi とJane Street Capital は共に OCaml を採用し、そして二社とも今日成功しているからだ。今回はそのうち LexiFi について話したい。私が Ph.D を取った後、一年間、産業ポスドクとしてお世... 続きを読む

Real World OCaml が出ました - Oh, you `re no (fun _ → more)

2013/06/26 66 users Fun 版元 O'Reilly MORE E-Book

OCaml一昨年から少しずつ書かれていた OCaml プログラミングの本、 Real World OCaml (以下 RWO)がついに public beta になり公開されました。 ( https://realworldocaml.org/beta1/en/html/ )版元の O'Reilly ではこのベータ版の状態の e-book が 今なら安く手に入ります。完全版には後から無料でアクセスで... 続きを読む

関数型言語を独学で勉強している学生です への答 - Oh, you `re no (fun _ → more)

2013/01/17 114 users Fun Haskell MORE LISP 独学

http://oshiete.goo.ne.jp/qa/7896221.html にこういうのがあった:情報系の大学3年生です。僕は関数型言語に興味がありhaskellやlispを勉強しています。...昨今のIT企業は新卒採用の際、学生時代に作ったプログラムを評価し採用の是非を決めると思います。もし関数型言語で何か作っても評価されるのでしょうか。僕ができることといえば、本やサイトに載ってあるサンプ... 続きを読む

コードレビューについて - Oh, you `re no (fun _ → more)

2012/08/14 675 users 利点 ところ立て続け コスト レビュー体制 機会

このところ立て続けにコードレビューについて話をする機会があったので 私が経験した最高のレビュー体制を簡単にまとめておこうと思います。利点 何故必要か 何が嬉しいのかコスト うまく回すためには何が必要か細かい運営方法はっきり言って当たり前の事しか書きません。 私も当時は当たり前のことだと思っていましたから、特に気にもしていなかったのです。 ただ見聞するところによると、これをちゃんとやっているところは... 続きを読む

ウェブブラウザで関数型プログラミング! js_of_ocaml - Oh, you `re no (fun _ → more)

2011/10/15 87 users Fun ウェブブラウザ MORE you 関数型プログラミング

OCaml, JavaScriptjs_of_ocaml が熱い。 Google の Dart とか、そんな場合じゃない!!OCaml で書かれたプログラムがなぜか JavaScript に変換され、それがブラウザで動く。 JS で型がついていないオブジェクトでも何となく型をつけて OCamlで型安全に呼び出せる! 既存の JS ライブラリ資産が、ほとんど手間をかけずに、そのまま関数型言語パラダイ... 続きを読む

CUFP 2011 Tokyo のお知らせ - Oh, you `re no (fun _ → more)

2011/04/04 7 users Fun MORE you お知らせ

関数型言語の国際会議 ICFP の今年の開催地は東京です。ICFP のアジアでの開催は初めてですね。F# も正式にリリースされましたし Haskell も Haskell Platform が立て続けに出てます。Coq や Agda などの依存型の言語ユーザも増えてきました。(OCaml もひっそりと順調にバージョンが 3.11 から 3.12 にあがりました。) (OO 寄りの Scala とか... 続きを読む

OCaml で LLVM -- 事始め - Oh, you `re no (fun _ → more)

2011/02/09 29 users 語弊 アーラ clang OCaml Apple

clang とか LLVM とかこの頃よく聞きますよね。Apple が製品に結構使っているという話ですし、気になっている人もいるでしょう。私も LLVM、気になりました。要するに、プログラム内で Cみたいな言語(語弊がありますが)の構文ツリーを動的に生成して、それを、はいお願いと LLVM のエンジンに投げるとアーラ不思議、各アーキテクチャ用にいい感じで JIT コンパイルしてくれてスイスイ動く、... 続きを読む

経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた - Oh, you `re no (fun _ → more)

2010/12/12 373 users 肩書き OCaml 定年 Haskell 試用期間

Haskell今の会社に移って半年経ちました。めでたく試用期間終了です。といっても別に試用期間中に密かに首を切られるような事をしたとか、逆に試用期間が終わったからと言ってこれで定年までのうのうと働ける、という訳ではありません。未来は全く判りません。まあとにかく、一つ区切りがやってきました。 金融を知らないQuantsの仕事私の職業の肩書きには Quantitatitatitatitative とい... 続きを読む