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-03-06

QiでL-99 (P03 リストのK番目の要素を取り出す)

| 04:07 | QiでL-99 (P03 リストのK番目の要素を取り出す) - わだばLisperになる を含むブックマーク はてなブックマーク - QiでL-99 (P03 リストのK番目の要素を取り出す) - わだばLisperになる

いまいちQiの流儀というかパターンマッチが分からず、普通のLISPみたいに書いてしまっていますが、これで良いんでしょうかねえ。

(element-at [a b c d e] 3)
\ -> c
\

(define element-at 
    List Pos -> [ ] where (or (< Pos 1) (< (length List) Pos))
    List Pos -> (element-at* List 1 Pos))

(define element-at*
    [ ] _ _ -> [ ]
    [X | _] Cnt Lim -> X where (= Cnt Lim)
    [_ | X] Cnt Lim -> (element-at* X (1+ Cnt) Lim))