Haskell 下操作 Redis

trssc

　　Redis就不用介绍， 现在很火的一个 Key-Value 数据库。Haskell也不过多说了。直接切入主题，如何实用Haskell 操作Redis。
　　1. 环境： MacOSX 10.5, Haskell Platform, ghc6.10.4
　　2. 安装 redis 驱动： #cabal install redis。
　　3. 启动 Reids server: #redis-server
　　Haskell Redis 的驱动： http://hackage.haskell.org/packages/archive/redis/0.3.1/doc/html/Database-Redis-Redis.html
　　最基本的使用过程： 连接redis， 存取数据，断开连接：
　　connect:: String-> String-> IORedis
　　两个字符串参数分别是主机名与端口号， 返回 IO Redis 的一个引用。 IO 的type标明这是一个Action。
　　disconnect:: Redis-> IO()

set

Source

:: (BSs1, BSs2)
=> Redis	target key
-> s1	value
-> s2
-> IO(Reply())

　　set 需要三个参数： Redis的连接，key值，value值。 BS 是 ByteString 类型。可以使用
　　toBS:: a -> ByteString函数来将任意Haskell值转换成 BS 类型。

get

Source

:: (BSs1, BSs2)
=> Redis	target key
-> s1
-> IO(Replys2)

　　get 需要两个参数： Redis的连接，以及 Key 值。返回一个 Reply类型。
　　测试 Haskell 代码：
　　testRedis = do
　　rs <- connect "0.0.0.0" "6379"
set rs (toBS "name") (toBS "Michael")

ret <- get rs (toBS "name")
case ret of
RBulk n -> case n of
Just name -> do putStrLn ("Get name: " ++ name)
Nothing -> do putStrLn "Not got"
_ -> do putStrLn "I don't know"
save rs
disconnect rs
　　＝＝＝＝＝＝＝
　　一个更长一点的测试：
　　module Main where

import Data.Function.Predicate
import Foreign.C.String
import System.Posix.Syslog
import Database.Redis.Redis
import Database.Redis.ByteStringClass

import Data.Numbers.Primes
longerThan n = filter (length `is` (>n))

longerThan3 = longerThan 3

testList = [[1..5], [1,2], [1..10]]

setP rs (idx, prime) = do
set rs (toBS (show idx)) (toBS (show prime))

main = do
rs <- connect "0.0.0.0" "6379"
set rs (toBS "name") (toBS "Michael")

mapM_ (setP rs) $ zip [0..100] (take 101 primes)

ret <- get rs (toBS "name")
case ret of
RBulk n -> case n of
Just name -> do putStrLn ("Get name: " ++ name)
Nothing -> do putStrLn "Not got"
_ -> do putStrLn "I don't know"
save rs
disconnect rs
　　===
　　上面的例子用到了一个 primes库,它可以快速计算素数，里面的 primes 就是一个无限表，包含了“所有”素数。上面的程序取出前100个素数存储到 redis 里，key 是编号，value 是对应的素数值。
　　在 shell 下测试：
　　$ redis-cli get 0
2
$ redis-cli get 24
97