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