Hatena::Groupocaml-nagoya

Happy OCaml!!

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>

2008-10-02

haXeソースコード HTML版

| はてなブックマーク - haXeソースコード HTML版 - Happy OCaml!!

http://howdyworld.org/redist/haxe/

OCaml-MLにソースコードをハイライトする話題が流れてた。そこで紹介されてたPage not found · GitHub Pagesを使って、haXeのソースコードをハイライトしてみた。

.ocamlinitでトップレベル生活を快適に

| はてなブックマーク - .ocamlinitでトップレベル生活を快適に - Happy OCaml!!

Chapter 9 トップレベル対話環境 (ocaml) - OCaml.jp

OCamlのトップレベル(ocaml)は、実行時にカレントディレクトリにある.ocamlinitを実行してくれます。

なので、ここに

#load "camlp4o.cma";;
#load "Camlp4Parsers/Camlp4ListComprehension.cmo";;

と書いておけば、起動直後からCamlp4による内包表記が使えます。

あるいは、

#load "base.cmo";;
#load "ast.cmo";;

みたいに自分が作ったライブラリを書いておけば、デバッグが容易になります。

2008-09-29

OCamlだって内包表記が使いたい

| はてなブックマーク - OCamlだって内包表記が使いたい - Happy OCaml!!

OCamlCamlp4を使えば、内包表記が使える。しかもOCaml本体に同梱されてる。

これでHなんとかにも負けないぜ。

# #load "camlp4o.cma";;
        Camlp4 Parsing version 3.10.1

# #load "Camlp4Parsers/Camlp4ListComprehension.cmo";;

(* 内包表記!! *)
# [x | x <- [1;2;3] ];;
- : int list = [1; 2; 3]

(* 条件も付けれる *)
# [x | x <- [1;2;3] ; x < 2];;
- : int list = [1]

(* 各要素への演算もできる *)
# [2 * x | x <- [1;2;3] ];;
- : int list = [2; 4; 6]

コンパイルするときに使いたい場合は、こんな感じにすればいい。

ocamlc -pp 'camlp4o -parser Camlp4ListComprehension' hoge.ml

CeydaCeyda2012/12/07 22:31Was totally stuck until I read this, now back up and rniunng.

GinaGina2012/12/08 05:52That's a quick-witted answer to a dfiifcult question

xwclnbimxwclnbim2012/12/08 18:21ckGNAl <a href="http://vxdoiwjqkdhl.com/">vxdoiwjqkdhl</a>

todmmnwghatodmmnwgha2012/12/09 23:3877fhq8 , [url=http://ykmooepqokpp.com/]ykmooepqokpp[/url], [link=http://mjgglzcakhzk.com/]mjgglzcakhzk[/link], http://atgyxqzxnmmp.com/

chcnxqeubschcnxqeubs2012/12/11 14:49ldRWMV <a href="http://wmxthozdojyg.com/">wmxthozdojyg</a>

zcwrlvkuxzcwrlvkux2012/12/13 01:26atQh2R , [url=http://aspjnizvldwp.com/]aspjnizvldwp[/url], [link=http://gfgjqjynutxm.com/]gfgjqjynutxm[/link], http://bpqeswznkbyi.com/