mgsloan/dynamic-object

object-oriented programming in Haskell, with duck typing and dynamic methods

dynamic-object

object-oriented programming in Haskell, with duck typing and singleton class features.

• Comparison: Haskell's algebraic data types, extensible Record from HList, and dynamic object.

	data type	HList.Record	dynamic object
member key	record names	phantom types	TypeRep
member access	record syntax	functions	lens
polymorphism	type variable	built-in	underlying types
type-safe member access	✔	✔	✔
runtime member addition	✖	✖	✔
instance specific members	✖	✖	✔
different objects into one list	✖	✖	✔
missing member access	runtime error	type error	returns Nothing, or configurable default behavior
value level equality	✔	✔	✖
bijective de/serialization	✔	✔	✖