object-oriented programming in Haskell, with duck typing and singleton class features.
See Hackage page for additional information.
- 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 |
| loop in member definition | stack overflow | stack overflow | detects loop and returns Nothing |
| value level equality | ✔ | ✔ | ✖ |
| bijective de/serialization | ✔ | ✔ | ✖ |