Type safety is not just a compiler feature. It is a way to move problems from production into development, where they are cheaper to solve. #Kotlin #TypeSafety #Programming
@watermelonkode.bsky.social
@watermelonkode.bsky.socialType safety is not just a compiler feature. It is a way to move problems from production into development, where they are cheaper to solve. #Kotlin #TypeSafety #Programming
@frontenddogma.comOn Automatic Type Refinements, by (not found or attributed):
https://radekmie.dev/blog/on-automatic-type-refinements/?ref=frontenddogma.com
@scott.keck-warren.comarray_multisort() takes SORT_ASC/SORT_DESC as ints, so 42 gets right through. PHP 8.6 adds a SortDirection enum in the global namespace, and the RFC hints at wider adoption.
https://www.phparch.com/2026/09/stop-writing-php-like-this-8-6-fixes-it/
@watermelonkode.bsky.socialSealed interfaces are great when the compiler should know every valid branch of a domain decision. They turn “remember to handle this case” into something your type system can help enforce. #Kotlin #TypeSafety #SoftwareDesign
@programmerhumor-io.bsky.socialReally Gotta Make Sure It Doesn't Change
#programming #Cpp #Typesafety #Over-engineering #Paranoidprogramming
https://programmerhumor.io/cpp-memes/really-gotta-make-sure-it-doesnt-change-fj9b
