Sam Stites

kmett's reflection

May 19, 2017

To be run in ghci with stack ghci --package reflection

In the following, we’ve embellished fetch with specific concern (which is rectifiable if we use a typefamily):

class FetchLatest a where
  fetchLatest :: RedisConn -> IO a
  fetchLatest = undefined -- from redis

The input to fetch function might be what you want, but it introduces programmer error on each parameter invocation.

reflection – used for modular arithmetic – look for kmett talk / paper / post