http://www.meetup.com/Functional-Thursday/events/228701514/
时间: 2016.3.3(四) 19:30
地点: Mozilla Space 台北市信义区信义路五段 106 号 4 楼 A-1
主题: Preventing Runtime Errors of Redis at Compile Time
讲者: banacorn
Redis 是一个开源的数据库系统，里面储存的资料可以是字串、列表、集合等资料结构。
每一种资料结构都有相对应的指令，每一笔资料也都会对应到一个键值以供操作。
虽然 Redis 有提供一个简单的 CLI，但当然也可以透过各种程式语言去操作。
在 Haskell 通常会透过 Hedis 这个函式库去使用 Redis。 藉 Haskell 的型别检查，
可以避免掉许多在 CLI 操作可能犯下的语法错误：例如拼错指令，或是少给参数等。
但还是有些语意上的错误没办法在被揪出来，例如把字串当作列表使用，
这时候就会在 Redis 端出现 runtime error。
本次 Functional Thursday 会介绍如何使用 Type Families、
Indexed Monad 与各种 Type-level Literal，
在 Haskell 的型别上“写程式”，将各种 invariance encode 在型别之中，
藉 type checker 的力量帮我们写错的程式揪出来 ^.<