2000年5月29日、西野は松井やよりらVAWW-NETジャパンのメンバー5人とともに、北朝鮮の「従軍慰安婦・太平洋被害者補償対策委員会」（従太委）の招待で、 2000年5月1日から5日まで平壌を訪問した。一行は、「女性国際戦犯法廷」（2000年12月8日-10日）に先立つ約半年前、後に同法廷で「検事」を務めた鄭南用（法学博士・国際法学者）や従太委の洪善玉委員長、朴明玉副委員長、黄虎男書記長らと「法廷」憲章や起訴状に関する打ち合わせを行った。また、従太委は、元慰安婦の黄海南道碧城郡に住む李桂月（2000年当時79歳）と南浦市在住の朴永深（同78歳）を探し出し、西野らは慰安婦に関する証言を得た。このとき、従太委は元慰安婦を探し出すのに苦労したという。2004年には『戦場の「慰安婦」―拉孟全滅戦を生き延びた朴永心の軌跡』で日本ジャーナリスト会議第47回JCJ賞を受賞した。同年5月に渡韓し、日本の過去の清算を求める国際連帯協議会で日本での従軍慰安婦問題の展開状況について報告した。2005年6月20日、韓日平和シンポジウムで、荒井信一茨城大学名誉教授と共に基調演説を行う。2006年8月11日、日本婦人団体連合会（婦団連）が開催した「二〇〇六年戦争はごめん 女性のつどい」にて講演をおこない、上田清司埼玉県知事が同年6月27日の県議会本会議で「古今東西、“慰安婦”はいても“従軍慰安婦”はいなかった」として軍の関与を否定する発言をおこなったことに対し、「慰安婦問題を否定するのは、先の戦争の英霊の名誉を守るため」「“慰安婦”は商行為・金儲けの女だから問題はなく、戦争犯罪ではないという主張である」と批判した。2007年6月にアメリカ合衆国下院121号決議が採択されると、「米下院の決議は明確で曖昧でない謝罪を求めている。日本政府の米議会へのロビングや国連人権委員会への反論が示しているように、日本側の加害意識はあまりにも希薄。」と述べている。2007年11月17日、李政美、小森陽一、林博史、吉見義明、金子安次らと一緒に慰安婦問題解決オール連帯ネットワークの呼びかけ人となる。2012年9月29日、日本人「慰安婦」の実態解明が遅れているのは、「公娼制度下にあったため」と指摘し、「お金をもらっていたら被害者ではないのか。『強制』させられることだけが被害なのか」と訴え、日本が謝罪と賠償に取り組むように求めた。
引数 f を伴う高階関数で表現された単純な逆ポーランド記法評価器が、パターンマッチングと型クラス Read を用いた where 節で定義されている。 calc :: String -> [Float] calc = foldl f [] . words   where      f (x:y:zs) "+" = y+x:zs     f (x:y:zs) "-" = y-x:zs     f (x:y:zs) "*" = y*x:zs     f (x:y:zs) "/" = y/x:zs     f xs y = read y : xs空リストを初期状態とし、f を使って一語ずつ文字列を解釈していく。f は、注目している語が演算子ならばその演算を実行し、それ以外ならば浮動小数点として計算スタックに積んでいる。次はフィボナッチ数列のリストである。ある値nに対するfib(n)は一回しか計算しないようになっており、その点ではナイーブなフィボナッチと異なる効率の良いコードとなっている。 fibs = 0 : 1 : zipWith (+) fibs (tail fibs)無限リストは 余再帰（リストの後ろの値は要求があったときに 0 と 1 の二つの初期要素から開始され算出される）によって実現される。このような定義は遅延評価の実例で、Haskell プログラミングでも重要な部分である。ただし、フィボナッチ数列の生成の場合は、ある要素の値が必要であれば、その要素より前にある要素の値は全て必要である。従って、遅延させた上で結局は後から全てその値を求めることになり、むしろ無駄であるので、この場合は遅延させない組込関数seqを使用したほうが効率は良くなり、fib 1000000 といったような値を計算するような場合には差が見えてくる。あるいはリストの先に出る値から順番に計算させるとそのほうが速い、といったことが起きる。（さらに、フィボナッチ数はnに対して2ⁿと大きな値になるので、そのようなBigIntegerの加算のコストも掛かり、以前にこの場所に書かれていたような「線形時間でのフィボナッチ数列の生成」は、大きい値では不可能である）どのように評価が進行するかの例示のために、次は6つの要素の計算の後の fibs と tail fibs の値と、どのようにzipWith (+) が4つの要素を生成し、次の値を生成し続けるかを図示したものである。 fibs         = 0 : 1 : 1 : 2 : 3 : 5 : ...                +   +   +   +   +   + tail fibs    = 1 : 1 : 2 : 3 : 5 : ...                =   =   =   =   =   = zipWith ...  = 1 : 2 : 3 : 5 : 8 : ... fibs = 0 : 1 : 1 : 2 : 3 : 5 : 8 : ...次はGHCで使える言語拡張で、リスト内包表記を並列的な生成を記述できるよう拡張するParallelListCompを用いて書いた同様の式である。（GHCの拡張は特別なコマンドラインフラグ、またはLANGUAGEプラグマによって有効にしなければならない。詳しくはGHCのマニュアルを参照のこと）{-# LANGUAGE ParallelListComp #-} fibs = 0 : 1 : [ a+b | a <- fibs | b <- tail fibs ]先に見た階乗の定義は、次のように関数の列を内包表記で生成して書く事もできる。 fac n = foldl (.) id [(*k) | k <- [1..n]] 1特に簡潔に書ける例として、ハミング数が順番に並ぶリストを返す以下のような関数がある。 hamming = 1 : map (*2) hamming # map (*3) hamming # map (*5) hamming     where xxs@(x:xs) # yys@(y:ys)               | x==y = x : xs # ys               | x<y  = x : xs # yys               | x>y  = y : xxs # ys上に示されたさまざまな fibs の定義のように、これはオンデマンドに数のリストを実現するために無限リストを使っており、1 という先頭要素から後続の要素を生成している。ここでは、後続要素の構築関数は where 節内の記号 # で表現された中置演算子で定義されている。各|は、等号の前半の条件部分と、後半の定義部分からなるガード節を構成する。