Juan Antonio Breña Moral jabrena

Feature	Java	Scala	Kotlin	Rust	Go	Zig	Python	JavaScript	TypeScript
Implementation Strategy	Type erasure	Type erasure (JVM) but with TypeTag/ClassTag	Type erasure (JVM) but with reified for inline	Monomorphization	GCShape stenciling (hybrid)	Monomorphization via comptime	Runtime duck typing, optional static analysis	No type system	Structural type system, compiles to JS
Syntax	`<T>` angle brackets	`[T]` square brackets	`<T>` angle brackets	`<T>` angle brackets	`[T]` square brackets	`comptime T: type` parameter	`[T]` square brackets (3.9+)	N/A	`<T>` angle brackets
Type Checking	Compile-time, mandatory	Compile-time, mandatory	Compile-time, mandatory	Compile-time, mandatory	Compile-time, mandatory	Compile-time, mandatory	Optional via external tools (mypy)	❌ None	Compile-time, optional enforcement
Runtime Type Enforcement

	<plugin>
	<groupId>org.apache.maven.plugins</groupId>
	<artifactId>maven-enforcer-plugin</artifactId>
	<version>3.5.0</version>
	<executions>
	<execution>
	<id>enforce</id>
	<configuration>
	<rules>
	<dependencyConvergence />

	import java.util.stream.IntStream;

	public class XDemo {

	public static void main(String[] args) {
	int r = 16;
	IntStream.rangeClosed(-r, r)
	.map(Math::abs)
	.peek(i -> IntStream.rangeClosed(-r, r)
	.map(Math::abs)

	import java.math.BigInteger;
	import java.util.stream.Stream;

	public class ShiftDemo {
	public static void main(String[] args) {
	System.out.println("Hello, World!");

	int bignr = 1146423427;
	int widthdiv = bignr / 3;

	Please, feel free to make any question.

	Happy to help.

	Juan Antonio