FYI.
Steinway Wu and I added an API in ATS for redis based the hiredis API (for
using redis in C):
https://github.com/githwxi/ATS-Postiats/tree/master/contrib/hiredis
A page for C-style API:
http://www.ats-lang.org/LIBRARY/contrib/hiredis/hiredis.html
A page for quasi ML-style API:
http://www.ats-lang.org/LIBRARY/contrib/hiredis/hiredis_ML.html
Cheers!