The notion of a semi-operative is similar to that of an operative in the Kernel programming language. Semi-operatives combine macros and functions into one unified concept but are more restrictive than fexprs. I like to describe a semi-operative as a hook into the denotational semantics of the interpreter. You see, in a regular lisp, functions don't directly influence the interpreter and macros ar

Haskellを現場言語にするために、こんなものを作ってみました。 hoe: Haskell One-liner Evaluator （名前には深い意味はありません。） Haskellでワンライナーをやろうという誰得なツールです。誰得ですが、ワンライナーでも、型があると便利なんではなかろうか、型を元にユーザの望みの動作が大体決定できるんではなかろうか、という発想を元に作られました。 Haskellのワンライナーは、ghc -e でも評価できますが、これは (Show a) => a か、 (Show a) => IO a な型しか評価できません。hoeでは、String -> String など、もっと色々な型を評価できます。そして、その型に応じていい感じの動作が自動的に選択されます。 例えば、idを入力すると、入力がそのまま出力されます。 $ cat tmp Hello, Haskell

最近ちょっと気になるiterateeを勉強したので、日本語の解説を書いてみます。と言いつつ、大部分が The Monad.Reader Issue 16 *1 からの引用です。 はじめに Iterateeと呼ばれる新たなI/Oの抽象化手法が、最近にわかに広まりつつあります。既存のI/Oが抱える問題を解決するべくOleg Kiselyovによって2008年頃に提唱されたiterateeは、新しい高性能webフレームワークsnap *2 や、hyena *3 で利用されています。また、HackagDB上にて、iterateeパッケージ*4、およびiterateeを利用できる様々なパッケージ *5 *6 *7 *8 が公開されています。 しかし、ドキュメントの少なさなどからiterateeがどういうものなのかよく分からないという人も多いようです。そういうわけなので、iterateeを易しく解説し

これまでの回で，何度か遅延評価の持つ性質について語ってきました。皆さんの頭の中には，すでに遅延評価に対して「なんとなくこういうものだ」という漠然としたイメージができていると思います。 多くの場合にはそうした漠然としたイメージだけでも十分なのですが，それでは困る場合もあります。例えば，プログラム全体の最適化（optimization）のために関数やデータ構造の効率化（efficiency improvement）を図ろうとする場合，遅延評価に対する理解がなければ完全に手探りで行うしかありません。 残念ながら，前回のIOモナドと同様に，遅延評価を実現するための仕組みもまた，Haskell標準ではほとんど触れられていません。実装のための余地を残しておくためです。ただ，IOモナドの場合と同様に，「このようなモデルで，このような性質を持つ」という仕様外でのだいたいの合意は存在します。 そこで今回は，

Haskellを使ってアプリケーションを作成しようとすると，ライブラリの機能不足に遭遇することがあります。不足しているこうした機能の中には，C言語で書かれたライブラリやOSのAPIなどの力を借りなければ記述できないものがあります。 このためHaskellでは，第7回で触れたように，実行環境の外にある他言語のライブラリを扱うためにFFIという機能を用意しています。FFIを使えば，Haskellにはない機能を実装できます。 今回はFFIの基本的な使い方を説明します。 FFI使用の最初の一歩 最初に，FFIを使ったごく簡単な関数呼び出しを見てみましょう。以下のようなコードで，HaskellからCの関数を呼び出すことができます。 {-# LANGUAGE ForeignFunctionInterface #-} module SimpleFFIExample where foreign impor

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

Gitit is a wiki program written in Haskell. It uses Happstack for the web server and pandoc for markup processing. Pages and uploaded files are stored in a git, darcs, or mercurial repository and may be modified either by using the VCS's command-line tools or through the wiki's web interface. By default, pandoc's extended version of markdown is used as a markup language, but reStructuredText, LaTe