Scheme
IMAP で GMail にアクセスし、メール一覧を表示するプログラムを PLT Scheme で作ってみました。SSL 接続の他、メールのタイトル等のデコードの方法、syntax-case でのマクロの作り方といったポイントにも触れていきたいと思います。 SSL ライブラリ PLT に…
PLT Scheme には既に JSON のパーサーが2つあるんですが: http://www.lshift.net/blog/2005/08/22/json-for-mzscheme-and-a-portable-packrat-parsing-combinator-library http://planet.plt-scheme.org/display.ss?package=json.plt&owner=dherman 気にせず…
Abstract for English readers:This article describes an implementation of a purely functional, monadic parser combinator library in PLT Scheme.With this library, one can easily build non-ambiguous, recursive-descent style parsers for string…
ここ数日 HTML パーサーの開発に取り組んでいたんですが、その過程で次のような問題にぶつかりました。HTML を構文解析して木構造を作る際に、トークン (字句) を一つずつ返してくれるジェネレータが欲しい、と思ったんです。一般に、言語の解析は字句解析と…
最近 XPath の Scheme 版 (SXPath) を自前で開発しているんですが、その関連で HTML パーサーも作ってみようと思い立ちました。が、パーサー以前の問題でいきなり躓いてしまいました。文字コードの判定の仕方が分からなかったんです。PLT Scheme では、入出…
PLT Scheme の新しいバージョンからリストが immutable になる (set-car! とか append! とかが使えなくなる) ことは随分前にアナウンスされていて知ってはいたんですが、何の対策もしないままリリースを迎えてしまいました (バージョン 4 のアナウンスメント…
Peter Norvig 氏の Solving Every Sudoku Puzzle というエッセイで、数独の解き方が Python を使って示されています。ちょうど SRFI-42 (eager comprehension) というライブラリを使ってみたいなと思っていたところに見つけたので、ジェネレータ式というもの…
SML という言語のテキストを読んでいて、これまで自分がカリー化という言葉をよく理解せずに使っていたことに気付きました。どうやら部分適用の概念と混同していたようです。一般に、ML や Haskell のような関数型言語においては、カリー化とは n 要素タプル…
(排他制御の件での初歩的なミスに頭を悩ませている最中ではありますが、また別な話題です) 並列処理プログラミングにおける副作用というのは様々な厄介な問題の温床ですが、MzScheme の channel を使うと問題を解決できる場合があります。スレッド下の処理を…
threaded-map という関数を用いて、高階なマルチスレッド・プログラミングをしています。 (threaded-map f l) f は1引数関数で、リスト l の各要素に適用されるんですが、要素ごとに独立したスレッド下で処理される点が普通の map と異なります。しかも、各…
クロージャ (内部状態を保持する関数。SICP 2 章では残念な誤用とされております) を用いて、データに対する手続きを抽象化する例をいくつかお見せします。 オブジェクトの動的ローダー 重いオブジェクトを、必要に応じて読み込んだり開放したりするための関…
youtube データベース検索の話の続きです。当初は (and (and "wa" "bi") (not "wasabi")) のように、タイトルもしくはコメントを対象として検索式を組む仕様だったんですが、より自在な検索ができるよう、DB レコードのフィールド名を明示的に指定して検索す…
最近 youtube のデータベースを Scheme で作っています。ただ、データベースはかなり大きくなってきたものの、検索エンジンの実装は、経験が無かったためずっと後回しにしていました。Migemo (C/Migemo ライブラリ) が使えそうなことは Winamp 等の実験で分…
気付いたんですが、MzScheme って日本語を変数名にできるんですね。 > (define 梅田 'erika) > (cond ((memq 梅田 '(erika aka ageko)) => caddr) (else 'sageko)) ageko なぜ気付いたかと言いますと、探索アルゴリズムの勉強のために、鉄道のルート探索のプ…
MzScheme の FFI 機能を利用して、REPL 上で動く CD プレイヤーを作ることにしました。Meadow の例 でコマンドの作り方は分かっていたので簡単です。ただ、前回作った Winamp プレイヤーと play や stop などのコマンド名が被りそうなのが少々問題でした。も…
MzScheme では (MzScheme に限りませんが)、外部ライブラリの API 関数を呼び出す FFI (Foreign Function Interface) という仕組みが提供されています。今回は、zip ファイルを解凍するプログラムと、Winamp を REPL で制御する例をご紹介します。 UNZIP dll…
よくプログラムの作業中、ユーザーを待たせる間に、回転するカーソルが表示されることがありますよね？それを作ってみました。 (define (progress) (define chars '(#\| #\/ #\- #\\)) (define (loop l) (if (null? l) (loop chars) (begin (ticker (car l))…
私は Winamp という mp3 プレイヤーを愛用しています。特に、ウェブ上の mp3 ファイルをストリーミングのようにイン・メモリーで再生できるのが便利で (キャッシュファイルを作りません)、ポッドキャストなどはダウンロードせず直接 URL を入力して聴くこと…
タイトルの通りです。既存のライブラリそのままでは出来なかったので関数を作りました。 (require (lib "process.ss")) (define shell (find-executable-path "sh.exe" #f)) (define (concat l) (apply string-append (cons (car l) (map (lambda (s) (forma…
最近、とある目的で Jpeg 画像を読むプログラムを書きました。(はてなのロゴを Jpeg で保存し、青い部分をキャラクタで表示したところです)難しい部分は Common Lisp のコードなどを参考にしたんですが、いくつか Scheme ならではと思えるテクニックの発見も…
HTML や RSS など、テキストをプログラムで生成する時に、最終的にどうしても文字列の連結ということをしますよね。でも Lisp の場合、文字列として組み立てる前に、S 式で (ツリー構造として) ドキュメントを作成するのが普通です。そのようなツリー構造で…
コラッツの問題という、数論上の未解決の問題があります。任意の自然数について、偶数ならば 2 で割り、奇数なら 3 倍して 1 を加える、という操作を繰り返すと 1 に収束する (無限大に発散しない)、という主張です。ストリームで表すと、このようになります…
読めるようになりました。 http://json.org/ にリンクがありますが、MzScheme 用 JSON ライブラリを使っています。使い方は簡単で、json-read という関数に JSON データの入力ポートを渡すだけです。抜粋: (define (api-post api post-data) (let ((in (post…
遅ればせながら、話題の anything.el を使い始めました。噂に違わぬ凄さです。感覚的には Mac OS X の右上のやつ (spotlight) みたいな感じで、Emacs が飛躍的に便利になります。話は変わりますが、少し前にちょっと思い付いて 2ch の活動状況を監視するプロ…
最初に (Common) Lisp 入門として Scheme を学んだ頃には想像すらしなかった事態なんですが、今や Scheme でプログラムを書くのが私にとってすごく自然で楽しい行為になってきています。元は Lisp ぎらいだったんですが、嫌いな食べ物が突然食べられるように…
Generic Monad System の利用例として、まずはリスト・モナドの典型的な使用方法を概観します。後半で、リスト・モナドと別のモナドを合成するモナド・トランスフォーマーの実例を示したいと思います。 リスト・モナド 話を分かりやすく (?) するために、以…
id:reinyannyan:20070714:p1 で考案したモナド実装案がほぼ実用的になってきましたので、取りあえず公開します。monad.tar.gz (PLT Scheme 用)monad.ss という、インターフェースとなるモジュールがあり、それを maybe.ss や list.ss 等の具象モジュールが実…
モナド的な何かに向かって において、「false かそれ以外か」という二元論のみに基づいた (つまり、Haskell のように特殊なコンテナを用いない) Maybe モナドの実現可能性について考察しました (実装)。一応それはうまくいったように思うんですが、今度は、…
Updated: 20070714monad.ss: ;; This module provides a set of Haskell's Maybe monad-like ;; computation constructs, all of which are implemented without ;; introducing additional containers as Haskell does. ;; ;; This is due to the observati…
Scheme でプログラムを書いていると (Scheme に限らずなんですが)、このようなパターンが繰り返し出てくることに気付きます: (let ((the-value (func-which-returns-useful-value-or-#f))) (if the-value (do-something-based-on the-value))) ある処理の結…
