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-28

QiでL-99 (P18 リストの範囲切り出し)

| 12:02 | QiでL-99 (P18 リストの範囲切り出し) - わだばLisperになる を含むブックマーク はてなブックマーク - QiでL-99 (P18 リストの範囲切り出し) - わだばLisperになる

なんだか、ごちゃごちゃしてしまった…。

(slice [a b c d e f g h i j k] 3 7)
\=>[c d e f g]
\

(define slice 
  List Start End -> [ ] where (> Start End)
  List Start End -> (slice* List [ ] 1 Start End))

(define slice* 
  [ ] Acc _ _ _ -> (reverse Acc)
  [H | T] Acc End Start End -> (slice* [ ] [H | Acc] End Start End)
  [H | T] Acc Pos Start End 
   -> (slice* T [H | Acc] (1+ Pos) Start End) where (<= Start Pos)
  [_ | T] Acc Pos Start End 
   -> (slice* T Acc (1+ Pos) Start End))

\ 前回定義したsplitを使用したもの \
(define slice 
  List Start End -> [ ] where (> Start End)
  List Start End -> (let S (1- Start)
		      (head (split (head (tail (split List S))) 
				   (- End S)))))