BT

Facilitating the spread of knowledge and innovation in professional software development

Contribute

Topics

Choose your language

InfoQ Homepage Type Inference Content on InfoQ

News

RSS Feed
  • NumPy 1.20 Released with Runtime SIMD Support and Type Annotations

    NumPy 1.20 was recently released with new features focusing on performance and documentation. Developers can now use type annotations for NumPy functions. A wider use of SIMD (Single Instruction, Multiple Data) instructions increases the execution speed of universal functions (ufunc). NumPy’s documentation additionally sees significant improvements.

  • Typescript 4.2 Released, Improves Types and Developer Experience

    The TypeScript team announced the release of TypeScript 4.2, which features more flexible type annotations, stricter checks, extra configuration options, and a few breaking changes. Tuple types now allow rest arguments in any position (instead of only in last position). Type aliases are no longer expanded in type error messages, providing a better developer experience.

  • Java 10 Could Bring Upgraded Lambdas

    A new JEP proposes enhancements to lambda functionality, including better disambiguation, use of the underscore for unused parameters, and shadowing of outer variables. Although these changes would bring lambdas in Java closer to other languages', the community seems divided for now. This JEP complements a series of other proposals to improve the Java language with type inference and better enums.

  • Java Enums to Be Enhanced with Sharper Type Support

    Java enums will be enhanced with generics support and with the ability to add methods to individual items, a new JEP shows. Since both features can be delivered with the same code change, they are bundled together in the same JEP. The change only affects the Java compiler, and therefore no runtime changes are needed. Although there is no target version, Java 10 seems likely.

  • Java Type Inference Won't Support Mutability Specification

    Java type inference won't support differentiation of mutable vs immutable variables due to lack of consensus within the community regarding how this should be implemented, recent communication shows. Also, to prevent a long debate about corner cases, a number of such cases will be ruled out. Although the JEP doesn't indicate a target version, Java 10 seems likely.

BT

Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
Country/Zone:
State/Province/Region:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.