|
|
|
|
|
|
by garyclarke27
3334 days ago
|
|
|
Great thought provoking article.
Good explanation of Dependent Types, Title is misleading though, should be called - Particular or Specfic Types.
Postgres has the same capability - Domains - always surprised that other db's such as sql server have never adopted this useful feature. |
|
|