danidiaz/toyframes

• Implementing type-safe heterogeneous collections on the Haskell Discourse.

• Towards Scalable Dataframe Systems paper.

• Some relevant modules from base:

  • Data.Typeable
  • Type.Reflection that provides a more "powerful", type-indexed version of the TypeReps from Data.Typeable,
  • Data.Dynamic
  • Data.Type.Equality that provides testEquality.

• "A reflection on types" paper (2016) that explains the theory behind Type.Reflection. A talk on the subject by Stephanie Weirich.