InfoQ Homepage Type Theory Content on InfoQ
News
RSS Feed-
Using the Actor-model Language Pony for FinTech
During his opening Keynote at QCon London on Monday morning Adrian Colyer mentioned the Pony Language as being "really fascinating stuff." We were fortunate enough to have the designer of the language, Sylvan Clebsch, giving a talk on the native languages track on the Wednesday. Clebsch suggested that Pony is a natural fit for FinTech systems.
-
Under the Hood with a Prototype of Enhanced Generics for Java
Although Java 8 only shipped earlier this year, with Java 9 not due until mid-2016, a first prototype of features expected for Java 10 has appeared, including an overhaul of Java's generics.
-
Facebook Flow Provides More Static Typing for JavaScript
Announced during @Scale 2014, Facebook has open sourced Flow, a static type checker for JavaScript. Flow joins Microsoft TypeScript and Google AtScript to provide web developers with a tool meant to catch some bugs in the code before they manifest at runtime.
-
Core.Typed Adds an Optional Type System to Clojure
core.typed adds an optional type system to Clojure, aiming to combine the best of both worlds: the brevity and flexibility of Clojure and the safety guarantees that a type-checker provides.
-
Announcing Verve – A Type-Safe Operating System
Microsoft Research releases Verve, an operating system which grew out of the Singularity project, upon whose base premise is to use Typed Assembly Language, TAL, and Hoare logic to achieve the highest levels of security and safety.