|
|
|
|
|
|
by tathougies
3340 days ago
|
|
|
The author got the gist of dependent types wrong. It's not simply about checks. Dependently typed languages allow the result type to explicitly depend on the input data. Thus, a dependently typed database would allow one columns type to depend on the value of another column. It would be like saying Create table dep ( name text, fieldType int not null, fieldValue (if fieldType = 1 then int else varchar))
Notice the 'if' in the type of fieldValue |
|
|