Add raw-collections-to-generics pattern with translations and proof

Co-authored-by: brunoborges <129743+brunoborges@users.noreply.github.com>

Author: Copilot

content/language/diamond-operator.yaml

@@ -43,7 +43,7 @@ support:
   state: "available"
   description: "Diamond with anonymous classes since JDK 9 (Sept 2017)."
 prev: "language/flexible-constructor-bodies"
-next: "language/private-interface-methods"
+next: "language/raw-collections-to-generics"
 related:
 - "language/type-inference-with-var"
 - "language/text-blocks-for-multiline-strings"

content/language/private-interface-methods.yaml

@@ -49,7 +49,7 @@ whyModernWins:
 support:
   state: "available"
   description: "Widely available since JDK 9 (Sept 2017)"
-prev: "language/diamond-operator"
+prev: "language/raw-collections-to-generics"
 next: "language/pattern-matching-switch"
 related:
 - "language/compact-source-files"

content/language/raw-collections-to-generics.yaml

@@ -0,0 +1,51 @@
+---
+id: 81fd0ae3-6d56-412a-a085-90d87c84f6fe
+slug: "raw-collections-to-generics"
+title: "Raw collections to generic types"
+category: "language"
+difficulty: "beginner"
+jdkVersion: "5"
+oldLabel: "Java 1.4"
+modernLabel: "Java 5+"
+oldApproach: "Raw collections"
+modernApproach: "Generic collections"
+oldCode: |-
+  List names = new ArrayList();
+  names.add("Duke");
+
+  String name = (String) names.get(0);
+modernCode: |-
+  List<String> names = new ArrayList<>();
+  names.add("Duke");
+
+  String name = names.getFirst();
+summary: "Replace raw collection types and retrieval casts with compile-time generic type safety."
+explanation: "Raw collections accept arbitrary object types and defer type errors until a cast executes.\
+  \ Generic type arguments let the compiler validate writes and reads, remove casts, improve IDE assistance,\
+  \ and make API contracts explicit. Raw types should normally remain only at carefully isolated legacy\
+  \ interoperability boundaries."
+whyModernWins:
+- icon: "🔒"
+  title: "Compile-time safety"
+  desc: "Invalid element types fail during compilation rather than at runtime."
+- icon: "🧹"
+  title: "No retrieval casts"
+  desc: "Values retain their declared element type."
+- icon: "📖"
+  title: "Self-documenting APIs"
+  desc: "Collection declarations state exactly what they contain."
+support:
+  state: "available"
+  description: "Generics have been available since JDK 5 (September 2004)."
+prev: "language/diamond-operator"
+next: "language/private-interface-methods"
+related:
+- "language/diamond-operator"
+- "language/type-inference-with-var"
+- "collections/immutable-list-creation"
+tags:
+- generics
+- collections
+docs:
+- title: "Generics (The Java Tutorials)"
+  href: "https://docs.oracle.com/javase/tutorial/java/generics/index.html"

proof/language/RawCollectionsToGenerics.java

@@ -0,0 +1,12 @@
+///usr/bin/env jbang "$0" "$@" ; exit $?
+//JAVA 25+
+import java.util.*;
+
+/// Proof: raw-collections-to-generics
+/// Source: content/language/raw-collections-to-generics.yaml
+void main() {
+    List<String> names = new ArrayList<>();
+    names.add("Duke");
+
+    String name = names.getFirst();
+}

social/queue.txt

@@ -126,3 +126,4 @@ tooling/stack-walker
 collections/map-compute-and-merge
 io/http-websocket-client
 security/security-manager-migration
+language/raw-collections-to-generics

social/tweets.yaml

@@ -1277,4 +1277,14 @@ security/security-manager-migration: |-
 
   🔗 https://javaevolved.github.io/security/security-manager-migration.html
 
+  #Java #JavaEvolved
+language/raw-collections-to-generics: |-
+  ☕ Raw collections to generic types
+
+  Replace raw collection types and retrieval casts with compile-time generic type safety.
+
+  Raw collections → Generic collections (JDK 5+)
+
+  🔗 https://javaevolved.github.io/language/raw-collections-to-generics.html
+
   #Java #JavaEvolved

translations/content/ar/language/raw-collections-to-generics.yaml

@@ -0,0 +1,20 @@
+---
+title: من المجموعات الخام إلى الأنواع العامة
+oldApproach: مجموعات خام
+modernApproach: مجموعات عامة (Generics)
+summary: استبدل أنواع المجموعات الخام وعمليات التحويل عند الاسترجاع بأمان الأنواع في وقت الترجمة.
+explanation: "تقبل المجموعات الخام أي نوع كائن وتؤجل أخطاء الأنواع حتى تنفيذ عملية التحويل. تسمح وسائط الأنواع العامة\
+  \ للمترجم بالتحقق من عمليات الكتابة والقراءة، وإزالة عمليات التحويل، وتحسين مساعدة بيئة التطوير، وجعل عقود واجهة\
+  \ البرمجة صريحة. يجب أن تبقى الأنواع الخام عادةً فقط عند حدود التوافق القديمة المعزولة بعناية."
+whyModernWins:
+- icon: 🔒
+  title: أمان وقت الترجمة
+  desc: تفشل أنواع العناصر غير الصالحة أثناء الترجمة وليس وقت التشغيل.
+- icon: 🧹
+  title: لا حاجة لتحويلات الاسترجاع
+  desc: تحتفظ القيم بنوع العنصر المُعلن.
+- icon: 📖
+  title: واجهات برمجية موثّقة ذاتيًا
+  desc: تُبيّن تصريحات المجموعات بالضبط ما تحتويه.
+support:
+  description: أصبحت الأنواع العامة متاحة منذ JDK 5 (سبتمبر 2004).

translations/content/bn/language/raw-collections-to-generics.yaml

@@ -0,0 +1,20 @@
+---
+title: র (Raw) কালেকশন থেকে জেনেরিক টাইপে
+oldApproach: র কালেকশন
+modernApproach: জেনেরিক কালেকশন
+summary: র কালেকশন টাইপ ও রিট্রিভাল কাস্টের বদলে কম্পাইল-টাইম জেনেরিক টাইপ সেফটি ব্যবহার করুন।
+explanation: "র কালেকশন যেকোনো অবজেক্ট টাইপ গ্রহণ করে এবং টাইপ ত্রুটি কাস্ট কার্যকর না হওয়া পর্যন্ত পিছিয়ে দেয়। জেনেরিক\
+  \ টাইপ আর্গুমেন্ট কম্পাইলারকে লেখা ও পড়া যাচাই করতে দেয়, কাস্ট সরিয়ে দেয়, IDE সহায়তা উন্নত করে এবং API চুক্তি স্পষ্ট করে\
+  \ তোলে। র টাইপ সাধারণত শুধু সাবধানে পৃথক করা লিগ্যাসি ইন্টারঅপারেবিলিটি সীমানায় থাকা উচিত।"
+whyModernWins:
+- icon: 🔒
+  title: কম্পাইল-টাইম নিরাপত্তা
+  desc: অবৈধ এলিমেন্ট টাইপ রানটাইমের বদলে কম্পাইলেশনের সময় ব্যর্থ হয়।
+- icon: 🧹
+  title: রিট্রিভাল কাস্ট নেই
+  desc: মানগুলো তাদের ঘোষিত এলিমেন্ট টাইপ বজায় রাখে।
+- icon: 📖
+  title: স্ব-ব্যাখ্যামূলক API
+  desc: কালেকশন ঘোষণা ঠিক কী ধারণ করে তা স্পষ্ট করে বলে দেয়।
+support:
+  description: জেনেরিকস JDK 5 (সেপ্টেম্বর ২০০৪) থেকে উপলব্ধ।

translations/content/de/language/raw-collections-to-generics.yaml

@@ -0,0 +1,21 @@
+---
+title: Rohe Collections zu generischen Typen
+oldApproach: Rohe Collections
+modernApproach: Generische Collections
+summary: Ersetzen Sie rohe Collection-Typen und Downcasts durch generische Typsicherheit zur Kompilierzeit.
+explanation: "Rohe Collections akzeptieren beliebige Objekttypen und verschieben Typfehler bis zur Ausführung eines Casts.\
+  \ Generische Typargumente lassen den Compiler Schreib- und Lesezugriffe prüfen, entfernen Casts, verbessern die\
+  \ IDE-Unterstützung und machen API-Verträge explizit. Rohe Typen sollten normalerweise nur an sorgfältig isolierten\
+  \ Altsystem-Schnittstellen verbleiben."
+whyModernWins:
+- icon: 🔒
+  title: Sicherheit zur Kompilierzeit
+  desc: Ungültige Elementtypen schlagen bereits beim Kompilieren fehl, nicht erst zur Laufzeit.
+- icon: 🧹
+  title: Keine Downcasts
+  desc: Werte behalten ihren deklarierten Elementtyp.
+- icon: 📖
+  title: Selbsterklärende APIs
+  desc: Collection-Deklarationen geben genau an, was sie enthalten.
+support:
+  description: Generics sind seit JDK 5 (September 2004) verfügbar.

translations/content/es/language/raw-collections-to-generics.yaml

@@ -0,0 +1,21 @@
+---
+title: De colecciones sin tipo a tipos genéricos
+oldApproach: Colecciones sin tipo
+modernApproach: Colecciones genéricas
+summary: Sustituye las colecciones sin tipo y los casts de recuperación por seguridad de tipos en tiempo de compilación.
+explanation: "Las colecciones sin tipo aceptan cualquier tipo de objeto y posponen los errores de tipo hasta que se\
+  \ ejecuta un cast. Los argumentos de tipo genérico permiten que el compilador valide escrituras y lecturas, eliminen\
+  \ los casts, mejoren la asistencia del IDE y hagan explícitos los contratos de la API. Los tipos sin tipar deberían\
+  \ quedar reservados a puntos de interoperabilidad heredados cuidadosamente aislados."
+whyModernWins:
+- icon: 🔒
+  title: Seguridad en tiempo de compilación
+  desc: Los tipos de elemento inválidos fallan durante la compilación, no en tiempo de ejecución.
+- icon: 🧹
+  title: Sin casts de recuperación
+  desc: Los valores conservan su tipo de elemento declarado.
+- icon: 📖
+  title: APIs autodocumentadas
+  desc: Las declaraciones de colecciones indican exactamente qué contienen.
+support:
+  description: Los genéricos están disponibles desde JDK 5 (septiembre de 2004).