実務で使うOCaml - 泥臭い仕事をサクっとこなす方法 - keigoiの日記

2012/06/15 89 users OCaml プログラマ かけら ザク 実務

プログラマが実務で出会うのは、問題が整理されたキレイな仕事ばかりではない。ソフトウェアの本質以外の部分でもプログラムを書く必要に迫られる。様々な開発方法論では抽象化されてしまう、今ここにいるソフトウェア開発者の悩みだ。今日は、私が仕事で書いたOCamlのコードを晒して、如何にOCamlがプログラマの仕事の道具として優れているかを主張する。このコードは、泥臭く、関数的でない、エレガントさのかけらもな... 続きを読む

「すごいHaskellたのしく学ぼう！」は気配りと楽しさがすごい - keigoiの日記

2012/05/26 30 users すごいHaskell 気配り 日記

本書はHaskellの入門書です。とっても親しみやすい内容と文体で、構成についても、順序を踏んで丁寧に書かれているようです。また日本語(マルチバイト文字)の扱いを付録で解説しているのもポイント高いですね。以下、ざっくり目を通して、これは！と思った点をまとめました。 イントロはHaskellの概要をやさしい文体で、でもしっかり説明しています。 Haskellがもつ純粋さと参照透明性の重要さ、必要最小... 続きを読む

Haskell＋タグレスな型付きDSLで楽々！C言語コード生成 - keigoiの日記

2011/11/02 18 users 楽々 日記

関数型プログラミング言語とコード生成HaskellやOCamlなどはコンパイラなどの言語処理系の実装を得意としている。さすがに日常的にコンパイラを実装している人はそう多くないと思うけど、例えばコード自動生成はすぐ試せる割に効き目が大きく、仕事を効率化する方法としてぜひ試してみたい選択肢だ。 今回は、Haskellの言語内DSLからC言語のコードを生成する方法（の一つ）を簡単に紹介する。 この方法で... 続きを読む