index / OCaml4MultiCore
This project aims at allowing Objective Caml to take advantage of multicore architectures, notably those now commonly used in laptops and desktop PC. 2010 spring-summer (current work, in progress) : (ocaml-3.12-svn) “from scratch”, making the runtime library fully reentrant, first without threads preoccupation early 2010 : (ocaml-3.11.1) adaptation to work on x84-32 and x84-64, with Linux and Mac
OCaml cryptokit and Java PBEWithMD5AndDES - Blog of Sylvain Le Gall
OCaml cryptokit and Java PBEWithMD5AndDES By gildor on Friday, September 18 2009, 17:11 - Permalink ocaml During one of my project I need to interact with Java cryptographic extension. Some data has been encrypted using PBEWithMD5AndDES. I need to access it from OCaml. I take a look at available cryptographic extension in the Debian project for OCaml: cryptgps and cryptokit. I choose cryptokit, be
Good Math, Bad Math : The "C is Efficient" Language Fallacy
Search this blog Profile Mark Chu-Carroll (aka MarkCC) is a PhD Computer Scientist, who works for Google as a Software Engineer. My professional interests center on programming languages and tools, and how to improve the languages and tools that are used for building complex software systems. Other Information I came across an article yesterday about programming languages, which hit on one of my m
構文木実装のいろいろ - 2008-06-23 - mad日記
忙しさにかまけてここの存在をしばらく忘れてしまっていました。 ここんとこ色々なコンパイラを読んだり書いたりしているのですが、構文木の実装にもいろいろなやり方がありおもしろかったので書いときます。読んだ処理系にだいぶ偏りがありますがご了承ください。 バリアントを使う 関数型言語で言語処理系を作るならやはりバリアントでしょう。 例えばocamlならば type expression = { pexp_desc: expression_desc; pexp_loc: Location.t } and expression_desc = Pexp_ident of Longident.t | Pexp_constant of constant | Pexp_let of rec_flag * (pattern * expression) list * expression | Pexp_funct
Google Sites: Sign-in
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
State パターンっていうの？ああいうやつ？ - camlspotter’s blog
2ch にこんなんあったよ。 オブジェクトを使わずにステートマシンを作るのによい方法はありますか？ 勉強のためにStateパターンをモジュールを使ってやってみようと思ったのですが、 相互依存を回避するうまい方法が思いつきません。 また、状態をそれぞれ別モジュールにするにせよ、一箇所にまとめるにせよ、動的に切り替えるためには 結局パターンマッチさせてそれらを呼び出すようになると思いますが、もっとスマートな方法はありますか？ 私はデザインパターン何それ美味しいのという人なので、まずよく判りませんでした。 流れ： キャラクタがバイトをして財布がいっぱいになったら銀行へ行く ということを目標金額まで繰り返し、到達したらその金がなくなるまで 家でごろ寝し、なくなったらまた働く キャラクタは ・バイトをする ： 手持ちが１増える ・銀行で貯金をする ： 手持ちを０にし、貯金が１増える ・家で寝る ：
#001 多相再帰 - λx. x K S K ＠はてな
OCaml では，違う型で再帰する多相関数を書くことが難しい． 以下のデータ型 ('a,'b) twist を考える． type ('a,'b) twist = Nil | Cons of 'a * 'b * ('b,'a) twist 例えば，次の値はデータ型 (int,bool) twist を持っている．let twist_data = Cons(1,true,Cons(false,2,Nil)) このデータ型に対し，長さ（Consの個数）を求める関数を定義してみよう．let rec length = function Nil -> 0 | Cons(a,b,rest) -> 1 + length rest 関数 length の定義は自然のように思えるが，実際には ('a,'a) twist -> int という型が推論されてしまい，上記の twist_data には適用できない．
React / Erratique
React is an OCaml module for functional reactive programming (FRP). It provides support to program with time varying values: declarative events and signals. React is made of a single, independent, module and distributed under the ISC license. Given an absolute notion of time the Rtime module helps you to manage a timeline and provides time stamp events, delayed events and delayed signals. Talk abo
doubleを整数に変換したい(バイトコード的な意味で) - みずぴー日記
IEE 754倍精度浮動小数をバイト列にエンコードしたい。Cとかなら簡単に変換できるのだけども、OCamlでやる方法が分らない。 union { long n[2]; double f; } x; x.f = 42.0; // x.n[0]とx.n[1]がエンコードされたやつ ちゃんと仮数部と指数部を抜きだして、ごにょごにょすればいけるだろうけど、Cで数行のコードをあんまり書きたくないなぁ、と思って。Cのコードをリンクするのも手だけれども、やりかたがよくわからなかった。 追記 id:llaさんに教えてもらいました。 open Obj let of_float (n:float) = let n = repr n in (obj (field n 0):int),(obj (field n 1):int) たしかに非常にそれっぽいんですが、ちょっと違う気がします。 たとえば、0.75は0x3
Xmlm / Erratique
Xmlm is an OCaml streaming codec to decode and encode the XML data format. It can process XML documents without a complete in-memory representation of the data. Xmlm is made of a single independent, module and distributed under the ISC license. Latest release v1.4.0 2022-02-08 >> OPAM package >> Documentation >> Release notes >> Git repository >> GitHub mirror >> Previous releases >>
batteries
An effort to define a comprehensive standard library for OCaml, inspired in part by what modern industrial languages (Java/.Net) manage to provide out-of-the-box. Members: user593 user492 user142 user146 user188 user152 user194 user145 user234 user112 user228 user172 user574 user533 user103 user105 user135 user142 user146 user4449 user4449 user10125 user20475 user18347 user18347 Releases Registere
flatline's Wiki for memo - Ocaml
ml: ソース mli: インタフェイス cmo: ocamlc出力バイトコード cmi: ocamlc出力インタフェイス cma: ocamlc出力バイトコードのライブラリ cmx: ocamlopt出力ネイティブコード cmxa: ocamlopt出力ネイティブコードのライブラリ バイトコードコンパイラ レクサ定義 http://camlcvs.inria.fr/cgi-bin/cvsweb/ocaml/parsing/ http://camlcvs.inria.fr/cgi-bin/cvsweb/ocaml/parsing/lexer.mll?rev=HEAD なおモジュール Lexing の実装は byterun/lexing.c である． パーザ定義 http://camlcvs.inria.fr/cgi-bin/cvsweb/ocaml/parsing/parser.mly?r
Ocaml Lazy Lists- An Introduction | Enfranchised Mind
[Edit: I fixed the links on this article. I am never changing the link format again. Ever. Blargh. ~~ The Mgmt.] Solidifying this blogs iron-fisted hold on being the leading provider of information for Ocaml Lazy Lists (hope you weren’t drinking there), I thought I’d add in some old-fasioned meanderings on the subject. There’s some new information in a later post for those already familiar with th
Jean-Christophe Filliâtre : Programming
OCaml software During my idle time, I develop software, mainly in OCaml, a functional programming language with a wonderful standard library and a compiler (bytecode and native) which can rival with gcc. OCaml code being fully portable, you can compile the following code on any platform supported by OCaml: Linux, most commercial UNIX, but also MacOS, Windows, etc. (unless a specificity of some pla
OCaml Rope module
This project moved to OCamlForge As its name implies, the OCaml Rope library implements the immutable rope datastructure [1] (with some small variations). All meaningful String module functions are implemented; regular expressions are planned (help appreciated). Here is an example use of Rope in the interactive toploop (notice the special printer to conveniently display ropes): # #load "rope.cma";
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Google Code Archive - Long-term storage for Google Code Project Hosting.
Lastfm no longer free as in free beer (and some bits about xml in OCaml) - blog.rastageeks.org
http://www.daimi.au.dk/~madst/tool/papers/expression.txt
はてなブログ | 無料ブログを作成しよう
