Hatena::Groupcadr

わだばLisperになる このページをアンテナに追加 RSSフィード

2004 | 12 |
2005 | 01 | 02 | 07 | 10 | 11 |
2006 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2007 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2008 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2009 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2010 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2011 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 11 |

2008-04-12

GOOでL-99 (P11 要素をランレングス圧縮する その2)

| 09:13 | GOOでL-99 (P11 要素をランレングス圧縮する その2) - わだばLisperになる を含むブックマーク はてなブックマーク - GOOでL-99 (P11 要素をランレングス圧縮する その2) - わだばLisperになる

前回(P10)の内容をちょっと変更して終了

(encode-modified '(a a a a b c c a a d e e e e))
;=> ((4 a) b (2 c) (2 a) d (4 e))
(encode-modified "aaaabccaadeeee")
;=> "4;a,b,2;c,2;a,d,4;e"

(dm encode-modified (u|<col> => <col>)
  (as (class-of u)
      (map (fun (x) (let ((xlen (len x)))
                      (if (= 1 xlen)
                          (head x)
                          `(,xlen ,(head x)))))
           (my-pack1 u))))

(dm encode-modified (u|<str> => <str>)
  (join (map (fun (x) (let ((xlen (len x)))
                        (cat (if (= 1 xlen) "" (cat (to-str xlen) ";"))
                             (to-str (head x)))))
             (my-pack1 u))
        ","))

pfcでL-99 (P01 最後のペアを返す)

| 07:38 | pfcでL-99 (P01 最後のペアを返す) - わだばLisperになる を含むブックマーク はてなブックマーク - pfcでL-99 (P01 最後のペアを返す) - わだばLisperになる

なんとなく面白そうだったので、pfcでも、L-99に挑戦してみることにしました。

GaucheのWilikiのページで、letzf等の内包表記が使える処理系ということで知ったのですが、処理系探してもずっと見付けられないでいました。

処理系の名前がどうやら、pfcらしいということが分かって、pfcで検索していたらGaucheのLingr部屋のログに配布先があったので、ソースを入手して試してみました。

ソースは、Darcsで入手できます。

darcs get http://www.sampou.org/repos/pfc

srcディレクトリの中で、makeすれば、pfcの実行ファイルが生成されますので、それを実行します。

ドキュメントはないようですが、電通大の岩崎教授が中心となって、Haskell/Schemeで有名な山下氏、伊東氏が開発に参加している処理系のようです。

まだ良く分かっていないのですが、標準で遅延評価やambがあったりするようです。

pfcでの関数定義は、Schemeと同じようなのですが、defineの代わりにdefも使えるようで、MIT記法もあります。

リスト、タプル/ベクタ

リストはCL/Schemeと違ってGOOのように真性リストしかないようです。

ドット対リストに相当するものは、(pair 1 1) =>{1 1}のように作る様子。要素にはfstとsndでアクセスでQiのタプルと同じ感じ。

また、(list 1 2 3)の代わりに、[1 2 3]と書くところもQiに似ています。

細々したこと

null ≡ null?、cdr ≡ tl(tailから?)、car ≡ hd(headから?)、cons? ≡ consp等、MacLISP系の関数名とScheme畑や関数言語畑の名前が好みに応じて使えるようです。

(my-last '(a b c d))
;=> (d)

(def (my-last lst)
  (if (null (tl lst))
      lst
      (my-last (tl lst))))

(def (my-last lst)
  (drop (1- (length lst)) lst))

(def (my-last lst)
  [((! lst) (1- (length lst)))])

;; ~~~
(index '(0 1 2 3) 0) ; or (! '(0 1 2 3) 0)
;=> 0

(let ((!lst (! '(0 1 2 3))))
  (!lst 0))
;=> 0

ゲスト



トラックバック - http://cadr.g.hatena.ne.jp/g000001/20080412