нужно объяснение по системам типов

Question

Я сталкивался с динамически типизированным python, статически типизированным f #, строго типизированным C ++ и слабо типизированным JavaScript.

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

Может ли кто-нибудь объяснить системы каждого типа с помощью примеров.

Answer 1

Python динамически, строго типизирован . Типы не могут быть произвольно, неявно преобразованы из одного в другой, и имена могут быть связаны с объектами любого типа.

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

Java статически, строго типизирован . Типы не могут быть преобразованы, кроме как до их наследования или иерархии интерфейса, а переменные могут быть назначены только подклассам или объектам реализации.

C статически, слабо типизировано . Некоторые типы могут быть преобразованы, когда это удобно (например, char и int), а переменные могут содержать только тот тип, в котором они объявлены.