It does have a type system. https://docs.oracle.com/javase/specs/jvms/se22/html/... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

mike_hearn on July 31, 2024 | parent | context | favorite | on: Porffor: A from-scratch experimental ahead-of-time...

It does have a type system.

https://docs.oracle.com/javase/specs/jvms/se22/html/jvms-2.h...

JVM is a stack not register machine and yes the type system will prevent that from running. It will fail verification.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact