OCamlのformat (型安全なprintf/scanf) の仕組み - 簡潔なQ
OCamlのPervasives (デフォルトでopenされるモジュール) には、Printf/Format/Scanfで使うための format という型がある。 OCamlの特殊機能として、型推論時に文字列リテラルにstringではなくformatという型がつくことがある。 $ ocaml OCaml version 4.04.0+dev2-2016-04-27 # "%d";; - : string = "%d" # ("%d" : _ format);; - : (int -> 'a, 'b, 'a) format = CamlinternalFormatBasics.Format (CamlinternalFormatBasics.Int (CamlinternalFormatBasics.Int_d, CamlinternalFormatBasics.No_padding, C
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 (deprecated) - Visual Studio Marketplace
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter. If you are seeking for an OCaml debugger vscode extension. Take a look at ocamlearlybird. Deprecated. Please use this official extension instead. Features Basic syntax highlighting for *.ml, *.mli, *.mly and *.mll. ported from textmate Auto-completion (aka. IntelliSense). powered by ocamlmerlin Error check on the fly
Unix system programming in OCaml
Unix system programming in OCamlXavier Leroy and Didier Rémy1stDecember , 2014 © 1991, 1992, 2003, 2004, 2005, 2006, 2008, 2009, 2010 Xavier Leroy and Didier Rémy, inria Rocquencourt. Rights reserved. Consult the license. Translation by Daniel C. Bünzli, Eric Cooper, Eliot Handelman, Priya Hattiangdi, Thad Meyer, Prashanth Mundkur, Richard Paradies, Till Varoquaux, Mark Wong-VanHaren Proofread by
1ML - core and modules united
Description 1ML is a reboot of ML starting from first-class modules, and unifies core and module layer into one small and consistent language. It is described in the following papers: Andreas Rossberg. 1ML — core and modules united. ICFP 2015. Andreas Rossberg. 1ML — core and modules united (Extended). 2015. Expanded version including Technical Appendix. Andreas Rossberg. 1ML — core and modules un
Documentation | reason
Documentation This directory is not the Reason User documentation. This directory is for Reason contributor documentation. The Reason user docs live online at https://reasonml.github.io. The repo for those Reason docs lives at github.com/reasonml/reasonml.github.io Inside of this directory: Getting Started Contributing: GETTING_STARTED_CONTRIBUTING.md. Releasing: RELEASING.md Programmatically Usin
SMLでDynamic(再び) - ::Eldesh a b = LEFT a | RIGHT b
この記事は ML Advent Calendar 2014 7日目の記事です。 ここではSMLによるDynamic(あるいはAny)と呼ばれる*1、任意の型の値を保持出来るテクニックを紹介します。 任意の型の値を保持可能な型という内容は 以前も紹介したことがあります(2) が、前回紹介した実装では例外を使っており、プログラムの作法またはパフォーマンスに懸念があるかも知れません。プログラマの心理的にもよろしくなさそうです。 この記事では例外を使わずポータブルなコードのみで同等の振る舞いを実現するテクニックを紹介し、実装を理解出来るように解説します。 序/Dynamicの必要性 StandardMLでジェネリックなコードを書こうとすると、型に応じて処理を切り替えるということが一切出来ないことがネックになります。(その代わり型が完全に推論される) しかしどうしても型によって振る舞いを変えたい場合
Computer Laboratory – Course pages 2014–15: Advanced Functional Programming – Course materials
Mailing list There is a mailing list for the course: cl-acs-28@lists.cam.ac.uk. Announcements, questions and discussion. Feel free to post! Have a question but feeling shy? Mail a lecturer instead and we'll anonymise and post your question: jeremy.yallop@cl.cam.ac.uk or leo.white@cl.cam.ac.uk. Preparation If you haven't used a typed functional language before then it would be wise to familiarize y
ppx_deriving.showを使ってみる - podhmo's diary
ppxはpreprocessor的なもの。 opam install ppx_deriving field.ml type point2d = float * float [@@deriving show] type person = { name: string; age: int; } [@@deriving show] type student = { name: string; (* 最近はレコードに同名のkeyを付けてもokになったっぽい *) age: int; grade: int; } [@@deriving show] (* val pp_student : Format.formatter -> student -> unit val show_student : student -> string が生成される *) let () = let s = {name =
caml-list - [Caml-list] 20th anniversary - arc
From: Xavier Leroy <Xavier.Leroy AT inria.fr> To: caml-list <caml-list AT inria.fr> Subject: [Caml-list] 20th anniversary Date: Sat, 12 Sep 2015 10:04:11 +0200 Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xavier.leroy AT gmail.com; spf=Pass smtp.mailfrom=xavier.leroy AT gmail.com; spf=None smtp.helo=postmaster AT mail-wi0-f175.google.com Ironport-phdr: 9a23:BzdSGBM+S
幽霊型の紹介
幽霊型の紹介 ときどき、ネットで幽霊型 (phantom type) という単語を見かるようになりました。 私は幽霊型を応用した線形代数演算ライブラリ SLAP (Sized Linear Algebra Package) を開発しており、 幽霊型についてはちょっとだけ詳しいつもりでいます（本物の研究者に比べれば雑魚同然ですが）。 なので、今後何回かに記事を分けて、幽霊型のトリックについて、知っていることを書いていこうと思います。 基本的には、関数型プログラミング言語 OCaml を使って説明しますが、 可能な限り OCaml の独自拡張は使わない方針でいきます。 今日はウォーミングアップも兼ねて、簡単な幽霊型の紹介だけします。 トリッキーなテクニックは次回以降で扱う予定です。 入出力両方のチャンネルに適用可能な seek 関数を作る OCaml のチャンネル型（C で言うところ FILE
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://strymonas.github.io/
Exercise Platform for the OCaml MOOC
GitHub - gasche/manual-ocamlbuild: A new reference manual for the ocamlbuild tool