Toan NguyenTypeable — A long journey to type-safe dynamic type representation (Part 3)Typeable was evolved safer. The final part discusses about how to decompose function type with TypeInType and Levity PolymorphismJan 5, 20191Jan 5, 20191
Toan NguyenTypeable — A long journey to type-safe dynamic type representation (Part 2)In part 1, we knew about early design of Typeable, In this part, we discuss about type-indexed type representations with Kind equality.Jan 5, 20191Jan 5, 20191
Toan NguyenTypeable — A long journey to type-safe dynamic type representationTypeable is runtime representation for types. This post gives you a short story about the innovation of Typeable along with GHC extensions.Jan 4, 2019Jan 4, 2019
Toan NguyenPureScript GADTs Alternatives — RecapGADTs (“Generalized Algebraic Data Types”) provide an explicit instantiation of the ADT as the type instantiation of their return value…Dec 18, 2018Dec 18, 2018
Toan NguyenRecord, Row Types an Row PolymorphismRecord, or object in another programming languages, is usually defined as a list of product name => value pairs. The most common syntax to…Nov 18, 2018Nov 18, 2018