OCaml のソースコードの型を表示したり定義にジャンプしたりする Vim のプラグイン作った - 反省はしても後悔はしない
この記事は Vim Advent Calendar 2012 の 185 日目の記事です。 昨日は id:deris さんの Vimでできる脱出系パズルゲーム でした。 はじめに OCaml という静的型付けの関数型言語があります。同じく静的な型をもつ関数型言語である Haskell とは異なり、副作用をもつ関数を定義したり破壊的な操作も行うことができます。 ところが、OCaml 界隈ではどうやら Emacs がデファクトのエディタらしく、Vim での開発環境の情報は非常に少ない、またあったとしも情報が古くなっているものが大半というのが現状です。 参考 OCaml.jp > 開発環境 (追記：更新されたみたいです) 私は Vim でも OCaml をやりたいと思い、プラグインを開発することにしました。 OCamlSpotter (ocamlspot) について 実は、OCaml のソースコ
Tutoriel Eliom
Quick access Quick access Tutorial & documentationLearn how to create a dynamic client/server application in the tutorial or read the technical documentation.Download & InstallDownload the latest release of the Ocsigen bundle or read the detailled installation instructions.Writing a client/server Eliom applicationThe code of this tutorial has been tested against the 2.0 release of the Ocsigen fram
openmirage :: wiki :: COW: OCaml on the Web
Writing web-applications requires a lot of skills: HTML, CSS, XML, JSON, Markdown, JavaScript and SQL, to name but a few! You also need to master the art of plumbing: translating concepts across languages is tedious and error-prone.This post describes a library we developed to help solve these problems, dubbed Cow (for Caml On the Web). Cow generalises our previous post about HTCaML by: extending
第15回 型からプログラムを当てる
前回，'a * 'b -> 'b * 'aといったMLの型は，「AかつBならばBかつA」といった命題に対応する，という話をした。命題が成り立つことは，そのような型を持つ式が存在することに対応するのだった（ただし例外などの副作用や無限ループ，組み込み関数やライブラリ関数などは使用しないとする。以下同様）。 前回の繰り返しになるが，'a * 'b -> 'b * 'aは，「任意の型'aと'bについて，'a型の値と'b型の値の組を受け取り，'b型の値と'a型の値の組を返す」という関数の型だ。そのような型を持つ式としては，例えば以下のような関数が存在した。
Efficient and Insightful Generalization
How OCaml type checker works -- or what polymorphism and garbage collection have in common There is more to Hindley-Milner type inference than the Algorithm W. In 1988, Didier Rémy was looking to speed up the type inference in Caml and discovered an elegant method of type generalization. Not only it is fast, avoiding scanning the type environment. It smoothly extends to catching of locally-declare
Welcome to MirageOS
A programming framework for building type-safe, modular systems MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS such as Linux or macOS, and then compiled into a fully-standalone, specialised unikernel that runs under a Xen or KVM hypervi
Kaputt - Introduction
Kaputt is a unit testing tool for the OCaml language. Kaputt features four kinds of tests: assertion-based tests, inspired by the xUnit tools;specification-based tests, inspired by the QuickCheck tool;enumeration-based tests, inspired by the SmallCheck tool;shell-based tests. When writing assertion-based tests, the developer encodes input values and checks that output values satisfy given assertio
実務で使うOCaml - 泥臭い仕事をサクっとこなす方法 - keigoiの日記
プログラマが実務で出会うのは、問題が整理されたキレイな仕事ばかりじゃない。プロダクトに本質的じゃない部分でもプログラムを書く必要に迫られる。いわゆる開発方法論では抽象化されてしまう、今ここにいるソフトウェア開発者の悩みだ。 今日は、私が仕事で書いたOCamlのコードを晒して、如何にOCamlがプログラマの仕事の道具として優れているかを主張したい。泥臭く、関数的でない、エレガントさのかけらもない、生活臭のあるコードだ。勤務先はOCamlをメイン言語として使っている。研究所とかではなく普通に受託開発を生業としている会社だ。OCamlは理論一辺倒で、マニア向けで、現実のソフトウェア開発には使えない、という誤解が万が一あるかもしれないが、全くそんなことはない。 (Haskellもそうだけど、それはまたの機会に) いかにOCamlが優れているかについての概論めいた話は、OCamlを数十人体制で10年
ProofSummit 2011 で『CoqによるMsgPackシリアライザの証明と実装』という話をしました。 - みずぴー日記
ProofSummit2011でMsgPackを証明したときの話をしてきました。内容は名古屋Reject会議で話したことを膨らませた感じになっています。 話の趣旨としては「バグって怖いじゃん → じゃあ証明しようぜ → やってみた」みたいな感じです。 スライド CoqによるMsgPackの証明 View more presentations from Hiroki Mizuno ustream http://www.ustream.tv/recorded/17493318 感想 新宿ダンジョンこわい [twitter:@ikegami__]さんと[twitter:@masahiro_sakai]さんにAgdaを教えてもらえたので、とてもよかった Software Foundationsの和訳プロジェクト、気になります
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Module Lwt_js_events
TyXML
Ocsigen's cheatsheet
openmirage :: wiki :: COW: OCaml on the Web
mirage-www/tmpl/wiki/net-unix.md at master · avsm/mirage-www · GitHub
Expert Solutions for Complex Challenges
Google Sites: Sign-in
GitHub - avsm/ocaml-socketio: Socket.IO server implementation
GitHub - vbmithr/ocaml-websocket: Websocket library for OCaml
Websocket in OCaml - Pastebin.com
GitHub - ocaml/oasis: Cabal like system for OCaml