Форматирование времени на Android, при следовании за предпочтениями (часы с 24 часами по сравнению с/PM и т.д.)

Я думаю, что причина состоит в том, что люди привыкли к статически типизированным языкам, которые имеют очень ограниченные и невыразительные системы типов. Это языки как Java, C++, Паскаль, и т.д. Вместо того, чтобы идти в направлении более выразительных систем типов и лучшего вывода типа, (как в Haskell, например, и даже SQL в некоторой степени), некоторым людям нравится просто хранить всю информацию "типа" в их голове (и в их тестах) и покончить со статическим typechecking в целом.

то, Что это покупает Вас в конце, неясно. Существует много неверно понятых понятий о typechecking, те я обычно сталкиваюсь, эти два.

Ошибка: Динамические языки являются менее подробными. неправильное представление состоит в том, что информация о типе равняется аннотации типа. Это полностью неверно. Все мы знаем, что аннотация типа является раздражающей. Машина должна быть в состоянии понять тот материал. И на самом деле, это делает в современных компиляторах. Вот QuickSort со статическим контролем типов в двух строках Haskell (от haskell.org ):

qsort []     = []
qsort (x:xs) = qsort (filter (< x) xs) ++ [x] ++ qsort (filter (>= x) xs)

И вот QuickSort с динамическим контролем типов в LISP (от swisspig.net ):

(defun quicksort (lis) (if (null lis) nil
  (let* ((x (car lis)) (r (cdr lis)) (fn (lambda (a) (< a x))))
    (append (quicksort (remove-if-not fn r)) (list x)
      (quicksort (remove-if fn r))))))

пример Haskell фальсифицирует гипотезу , со статическим контролем типов, поэтому подробную . Пример LISP фальсифицирует подробную гипотезу , поэтому со статическим контролем типов . Нет никакой импликации ни в одном направлении между вводом и многословием. Можно безопасно вывести это из ума.

Ошибка: Статически типизированные языки должны быть скомпилированы, не интерпретированы. Снова, не верный. Много статически типизированных языков имеют интерпретаторы. Существует интерпретатор Scala, GHCi и интерпретаторы Объятий для Haskell, и конечно SQL был и со статическим контролем типов и интерпретирован для дольше, чем я был жив.

Вы знаете, возможно, динамическая толпа просто хочет свободу не должной быть думать как тщательно о том, что они делают. Программное обеспечение не могло бы быть корректным или устойчивым, но возможно это не должно быть.

Лично, я думаю, что те, кто бросил бы безопасность типов для покупки небольшой временной свободы, не заслуживают ни свободы, ни безопасности типов.