Кажется, что сделать декларативный язык нетипизированным гораздо сложнее, чем типизированным
Да, конечно, прошу прощения, я неправильно выразился, я скорее имел ввиду подход к написанию кода (?) в sql. Ну, типа, я же не декларирую тип каждой колонки заранее, я просто делаю select и уже получаю типы колонок на выходе, кроме тех случаев когда явно делаю преобразования типов. Вот и получается, что порой из самого sql кода тип колонки определить явно не получится, кроме как запустить его и посмотреть тип в итоговой таблице.