4 ms·
> describing "what you want" instead of "what the computer should do" Actually, static typing is describing "what you want" and leaving it up the compiler to m
by commandlinefan 4y ago
> describing "what you want" instead of "what the computer should do"
Actually, static typing is describing "what you want" and leaving it up the compiler to make sure you were consistent.
- samatman 4y agoProlog, and SQLite dialect of SQL, are both declarative and dynamically typed. Static typing is neither necessary nor sufficient here, the gradient from declarative to imperative is largely orthogonal.