scalaz.Forall を読む - 月の塵
ScalaScala では def で定義されたメソッドだけが多相性を持つことができ、値である関数は多相性を持つことができない。メソッドを関数に変換すると、そこで型パラメータが適当な型に特定化される。 scala> val id = identity _ id: Nothing => Nothing = メソッドの引き数に多相的な値を渡したりと rank-n 多相のようなことをしたいときにこれでは困ることがある。 scalaz の Forall は、そのようなときに Scala の型システムの範囲内で全称量化された値を扱うためのパッケージである。このパッケージには scala> val singleton = new Forall[({ type X[A] = A => List[A] })#X]{ | def apply[A] = (x : A) => List(x) | } sing
Ajax - Lightweight Languages を実行するAPI : 404 Blog Not Found
2009年03月21日06:30 カテゴリLightweight Languages Ajax - Lightweight Languages を実行するAPI 今度はPerlだけではありません。 Perl だけではなく.... #!/usr/bin/perl warn time, "\n"; print ''.localtime; PHP も（誰だ、私がPHPを嫌いって言ってるのは:).... #!/usr/bin/php <?php echo date('r') ?> Python に... #!/usr/bin/python import datetime print datetime.datetime.now() Ruby に... #!/usr/bin/ruby puts Time.new Scheme (gauche) に... #!/usr/bin/gosh (use srf
ML っぽいカリー化関数を定義するマクロ - (new Hatena).blog()
ML とか Haskell のコードを読む時に私がどうしても憧れてしまうのが、自動的にカリー化定義される関数です。 Scheme にもカリー化関数を定義する構文自体は存在します (処理系にもよるでしょうが)。 例えば、このようなラムダ式のネストで定義された関数を (define add3 (lambda (a) (lambda (b) (lambda (c) (+ a b c)))))次のようなスタイルで短く書くことができるんです: (define (((add3 a) b) c) (+ a b c))でも全然自動的ではないですし、必ず定義した通りに適用しなければいけません: (((add3 1) 2) 3)2番目と3番目の引数を同時に与える、とかは出来ないわけです。 そこでちょっと知恵をひねりまして、case-lambda を使って、あらゆる関数適用のパターンに応じたラムダ式をあらかじめ
Write Yourself a Scheme in 48 hours
Write Yourself a Scheme in 48 Hours A Haskell Tutorial By Jonathan Tang Contents Overview First Steps: Compiling and running Parsing A Simple Parser Whitespace Literal Numbers and Strings: Return Values Lists, Dotted Lists, and Quoted Data: Recursive Parsers Evaluation, Part 1 Displaying Values: Show and Typeclasses Evaluating Primitive Values: Pattern Matching Evaluating Primitive Functions: Firs
Write Yourself a Scheme in 48 Hours A Haskell Tutorial - Enjoy Programming
Write Yourself a Scheme in 48 Hoursを読んでみます。Parsec, 高速なコンビネータパーサも参照。 Overview First steps Parsing Writing a Simple Parser Whitespace Return Values Stringのパース Atomのパース (実はBoolも) Numberのパース 今までのパーサを組み合わせる Exercises parseNumberを書き換え 文字列内のダブルクォートをエスケープさせる 他のエスケープ文字も扱えるようにする parseNumberを異なる基数の表記に対応させる 文字の処理を付け加える 実数の処理を付け加える full numeric tower 再帰的なパーサ Exercise バッククォートのシンタックスシュガーを実装 ベクタのサポート 左くくりだしを行ってtr
クールな文字列連結のテクニック - (new Hatena).blog()
HTML や RSS など、テキストをプログラムで生成する時に、最終的にどうしても文字列の連結ということをしますよね。 でも Lisp の場合、文字列として組み立てる前に、S 式で (ツリー構造として) ドキュメントを作成するのが普通です。 そのようなツリー構造で書かれたテキストを文字列化するエレガントな方法が、ある ML での Oleg 氏のポストで紹介されていました。 次のような関数です (少しアレンジしてあります): ;; Adapted from: http://srfi.schemers.org/srfi-13/mail-archive/msg00073.html (define SRV:send-reply (opt-lambda ((out (current-output-port))) (lambda fragments (let loop ((fragments frag
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Write Yourself a Scheme in Scala
WWW.SAMPOU.ORG
ETOS Compiler
独習 Scheme 三週間 Teach Yourself Scheme in Fixnum Days
Scheme on the Erlang VM