Haskell 下操作 Redis

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 -> IO Redis

两个字符串参数分别是主机名与端口号， 返回 IO Redis 的一个引用。 IO 的type标明这是一个Action。

disconnect :: Redis -> IO ()

set

Source

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

set 需要三个参数： Redis的连接，key值，value值。 BS 是 ByteString 类型。可以使用

toBS :: a -> ByteString 函数来将任意Haskell值转换成 BS 类型。

get

Source

:: (BS s1, BS s2)
=> Redis	target key
-> s1
-> IO (Reply s2)

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