Hatena::Groupocaml-nagoya

Happy OCaml!!

2009-03-09

MingwのOCamlがFatal error: cannot open pervasives.cmiと言う件について

| はてなブックマーク - MingwのOCamlがFatal error: cannot open pervasives.cmiと言う件について - Happy OCaml!!

MingwOCamlCygwinから使うとFatal error: cannot open pervasives.cmiと言う件について。

とりあえず、

export OCAMLLIB="C:/OCaml/lib"

とすれば直るよ。たぶん。

2009-01-28

あなたのOCaml開発環境は?

はてなブックマーク - あなたのOCaml開発環境は? - Happy OCaml!!

開発環境を晒しあって、そのうちocaml.jpに載せれたらいいですね。

ウインドウ構成

f:id:mzp:20081224234118p:image

のように、普通のウインドウと文字の小さいウインドウを並べてる。小さいほうには、omakeの結果を垂れ流してる。



Emacs

あたりの設定をして、行末の空白を自動で消すようにしてる。

あと-nwで端末内で起動してる。

auto-save-buffers

キーボードを触らないと自動で保存してくれる。

tuareg-mode

標準のcaml-modeよりいいと聞いているので。

ただ、デフォルトの設定が邪悪で、よく誤爆する(hoge.xmlとか)ので、ちょっと変えてる。

(setq load-path (cons "/Users/mzp/site-lisp/tuareg-mode" load-path))

;; .mlと.mliだけ
(setq auto-mode-alist (cons '("\.mli?$" . tuareg-mode) auto-mode-alist))

(autoload 'tuareg-mode "tuareg" "Major mode for editing Caml code" t)
(autoload 'camldebug "camldebug" "Run the Caml debugger" t)

.ocamlinit

開発するディレクトリに.ocamlinitを置いて、使うライブラリをロードするようにしてる。これがないとトップレベルを使ったデバッグが大変。

#use "topfind";;
#require "extlib";;
#thread;;
#require "xml-light";;
#camlp4o;;

omake

ビルドは、最近のブームのomake。サブウインドウでomake -Pして放置。

OCamlSpotter

変数の定義元にジャンプできるコンパイラ拡張 + elisp

すごく便利だけど、インストールが大変。

RajRaj2012/07/08 23:41Nothing I could say would give you undue cedrit for this story.

vxqkttodvxqkttod2012/07/10 02:352EjhE0 , [url=http://vlaawvjmjyhx.com/]vlaawvjmjyhx[/url], [link=http://ppnsdoeastud.com/]ppnsdoeastud[/link], http://ltfheumwmuyc.com/

escikynescikyn2012/07/11 02:15G26TnM <a href="http://uxcsslyzkxdp.com/">uxcsslyzkxdp</a>

JasontogJasontog2017/01/25 04:24печать открыток http://wkrolik.com.ua/products/knigi

2008-10-20

MinCaml on Perl

| はてなブックマーク - MinCaml on Perl - Happy OCaml!!

perlでMinCamlインタプリタ (配布ページ)

Perlで作ったMinCamlインタプリタらしいです。すごい。

ソースコードのファイル名から推測するに移植じゃなくて、再実装だと思う。 TypeInferrer.pmとか熱いね。

AshyAshy2012/12/08 02:30I have been so bwieldered in the past but now it all makes sense!

DillangerDillanger2012/12/08 06:08We need a lot more isnigths like this!

efxetabefxetab2012/12/10 00:266PaNT6 , [url=http://zghwzagqtojc.com/]zghwzagqtojc[/url], [link=http://hgzjszbczllj.com/]hgzjszbczllj[/link], http://rorgxnohqsbx.com/

vrshqfvrshqf2012/12/13 02:02wegOjz , [url=http://qsqtwwlzsrle.com/]qsqtwwlzsrle[/url], [link=http://ztdrdjdihwya.com/]ztdrdjdihwya[/link], http://bbnacktvbwte.com/

fshwcyjfshwcyj2012/12/28 12:3766pLQR <a href="http://rpknhfqqqwmz.com/">rpknhfqqqwmz</a>

zjtuvfenmwtzjtuvfenmwt2012/12/29 21:2896lAQi , [url=http://palaqfbeejkb.com/]palaqfbeejkb[/url], [link=http://teflnurazscd.com/]teflnurazscd[/link], http://qbtckghvgnwa.com/

rrckycmeuznrrckycmeuzn2012/12/30 04:06D9ae5q <a href="http://ejnkscfssags.com/">ejnkscfssags</a>

cvnskdmzpkcvnskdmzpk2013/01/17 15:09cX95bK <a href="http://xpppipcptglh.com/">xpppipcptglh</a>

bwfauxfbwfauxf2013/01/18 05:19kui21J <a href="http://vmxmvbortaiy.com/">vmxmvbortaiy</a>

2008-10-16

AmiduAmidu2012/07/11 14:25That's a sharp way of tihnknig about it.

ffzvuyyffzvuyy2012/07/12 09:34qdfyPc <a href="http://tpdizaytomdk.com/">tpdizaytomdk</a>

abeawcxtqmabeawcxtqm2012/07/12 14:56RC1XqT , [url=http://tqlghowjfrnh.com/]tqlghowjfrnh[/url], [link=http://wcgigiymzadp.com/]wcgigiymzadp[/link], http://whifpuklkgrq.com/

mpmutlmpmutl2012/07/12 21:08wAuNeV <a href="http://rslzckunggkr.com/">rslzckunggkr</a>

2008-10-05

objinfoでcmo/cmiをダンプ

| はてなブックマーク - objinfoでcmo/cmiをダンプ - Happy OCaml!!

Re: [Caml-list Reading external references from cmo/cmx files]で流れていたけれど、objinfoというコマンドを使えばcmo/cmiの情報をダンプできるらしい。

$ objinfo base.cmo
File base.cmo
  Unit name: Base
  Interfaces imported:
        5dbbf45a03b54e6dbfcf39178d0d6341        Printf
        f6cef633ea14963b84b79c4095c63dc3        Buffer
        8ba3d1faa24d659525c9025f41fd0c57        Pervasives
        2c162ab314b2f0a2cfd22d471b2e21ab        String
        da1ce9168f0408ff26158af757456948        List
        5cfae708052c692ea39d23ed930fd64d        Obj
        8a7f11d8d00a58c869d841089dd92667        Base
  Uses unsafe features: no

objinfoはGODIをいれたら、いつのまにかインストールされてた。

NathalieadsonNathalieadson2012/07/09 14:09Articles like these put the consumer in the divrer seat-very important.

ybvmypybvmyp2012/07/10 14:30B59M35 <a href="http://qsrxnfwfxafr.com/">qsrxnfwfxafr</a>

lifnrzzarglifnrzzarg2012/07/11 04:17we9sXU <a href="http://rlqpaeybohnh.com/">rlqpaeybohnh</a>