haskellでリストの中から数字を見つけたい

Question

["number","1","number","2"]
というようなStringのリストから数字のみを抜き出したいと考えてhttps://pogin.hatenablog.com/entry/20120907/1347003727
を参考に関数中にStringをキャストとしようと考えたのですが、x::で関数と認識されてしまうためうまく出来ません。
どのような条件式にしたら可能ですか？

test::[String]->Int
test (x:xs)
  |read x::Int==1=10

Answer 1

Haskell にいわゆる C のようなキャストはありません。

文字列をパースしてある型の値を得る手軽な方法は Prelude.read がありますが、これは入力文字列がパースに成功することを期待しています。失敗する可能性のある今回のような場合は Text.Read.readMaybe をおすすめします。

read :: Read a => String -> a
readMaybe :: Read a => String -> Maybe a

また、リストの要素に対して変換に成功したものだけを抜き出す関数に Data.Maybe.mapMaybe があります。

mapMaybe :: (a -> Maybe b) -> [a] -> [b]

これらを組み合わせると次のように書けます（Wandbox で実行）。

import Data.Maybe (mapMaybe)
import Text.Read (readMaybe)

main :: IO ()
main = do
    let
        strings = ["a", "b", "0", "c", "99", "d"]
        ints :: [Int]
        ints = mapMaybe readMaybe strings
    print ints

Comments

[退会済みユーザー]

ありがとうございます