|
|
|
|
|
|
by rixed
397 days ago
|
|
|
Not only duck types (ie structural type hierarchies) can be statically verified but they can be statically infered as well, as demonstrated for instance by ocaml since 1996. "Here is a nickel, kid, get yourself a better programming language" :-p |
|
|