(UA) IT/Tech Ukrainians in Canada
-
“а, ну ок”©
-
Ну а що. Нащо взагалі система типів? Щоб отримати деякі статичні гарантії щодо твого коду. Якщо система типів недостатньо виразна, то ти не можеш варажати деякі концепції взагалі, що веде до купи проблем. Із тими самими гарантіями, бейлерплейтом, рефакторингом. Ще гірше, коли тайпчекер приймає невалідні програми. Тобто, не гарантує відсутність помилок типізаціі у рантаймі.
-
Вийди звідси розбійник латентний поціновувач іспаніїї)