Composable Error Handling in OCaml
Let’s discuss common ways to handle errors in OCaml, their shortcomings, and finally, how polymorphic variants may help. The discussion applies equally well to Reason ML. If you need an introduction to the topic, I recommend Real World OCaml chapter on Error Handling. As a reference point, we’ll take three hypothetical functions which can return errors and which we want to compose: Parser.parse, w
ocaml-zippy-tutorial-in-japanese/leopard_syntax.md at master · camlspotter/ocaml-zippy-tutorial-in-japanese
この数年、私の余暇のOCaml遊びは主にPPXをいじることだったのですが、 PPXは手軽ですが限界があって、思いついたアイデアがPPXだけでは難しかったり、 実装できなかったりしました。 そこで、今年から、またOCamlコンパイラ本体を細々といじるようになりました。 プロジェクト名は OCamleopard (和名は「大麒麟(おおきりん)」)。 紹介するインデントルールは数年前にOCaml 4.02.1でまず実装したもので、 それを引っ張り出してきてOCaml 4.05.0の改造であるOCamleopard 4.05.0に適用、 それからOCaml4.06.0が出てしまったのでOCamleopard 4.06.0にポートしたものです。 OCamleopardには、こんなのがOCamlにあったらいいなと言うもので わりと楽に実装できるが、多分本家には入らないだろうな、というものを 思いついて
OCaml Platform 2017
An OCaml Workshop talk at ICFP 2017, updating on the state of the OCaml platform tooling.
Notions of Computations and Effects - Just $ A sandbox
前回のeffect systemに対するボヤキ、あるいは予言が色んな人に読まれたみたいなので興味がある人が一定数いるならeffect systemの紹介記事をちゃんと書こうと思った次第。 というわけでmonadを前提としてプログラミング言語的な見方と圏論的な見方を通してeffectに関するお話をしてみます。 注意 以下のプログラムはHaskellに寄せたオレオレsyntaxで実際にそういう実装があるわけじゃないので注意してください。実際の実装されている言語の話は最後に少しします。 programming with effects effectは通常type-and-effect-systemと呼ばれるようにある意味で一種の型システムのようなものです。型システムがプログラムの入力と出力の値を見積もる仕組みだったのに対し、エフェクトシステムはプログラムを実行した際に「起きうる」エフェクトをコン
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
Travis CIでOCamlを使うまでの道のり - Handwriting
Travis CIはGithubのhookと連携して、push時に自動的にテストを通す、所謂CI、継続的インテグレーションツールというやつだ。 本記事ではTravis CI自体の詳細な使い方に触れることはしない。公式ドキュメントをたどれば結構親切に説明されている。 Travis CIで使える言語は以下のリンクで見ることが出来る。 Languages - Travis CI ここでひとつ問題がある。 OCamlのサポートがない。 これは由々しき事態だ。人類の英知と希望であるOCamlが使えない。全人口の半数くらいが自分の書きたいプログラムを赤裸々に表現できないことに苦しみを覚えることだろう。 ということで、本記事ではTravis CIでOCamlを使うにはどうすればよいかを示す。 OCaml公式のTravis CI bindingを入手する と思ったが、実は公式からbindingが提供されて
Introducing Incremental
I’m pleased to announce the release of Incremental (well commented mli here), a powerful library for building self-adjusting computations, i.e., computations that can be updated efficiently when their inputs change. At its simplest, you can think of a self-adjusting computation as a fancy spreadsheet. In a spreadsheet, each cell contains either simple data, or an equation that describes how the va
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
キャミバ様が id:ymotongpoo を木人形にされるようです - camlspotter’s blog
事の次第 @camlspotter「めんどくせ、あいつに押し付けよ… @camloeba「おれには強く型付けされたコードが必要だ！ あらゆる実験にたえうる木人形がな！ぶつぶつ‥ @camlspotter: 「キャミバ様、実はこんなものが… @camloeba「ほう… … ||||||:::::::;:::::;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::::::| | |::::::;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::::::::::::::||||||| |||||::::::::::／ ● ＼:::| |:::／ ● ＼::::::::::||||||| |||::::::::;;;;;;;──────;;;;;;;;| |;;;;;;──────;;;;;;;;;;:::::|||||| |;;;;;;;
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Pusher | Leader In Realtime Technologies
https://strymonas.github.io/
Bitbucket
Exercise Platform for the OCaml MOOC