Refinement Types and Dependent Functions Stable in Racket 6.11
Racket 6.11 brings refinement types and dependent function types to its Typed Racket variant.
Real-Time Collaboration Comes to Atom
At QCon San Francisco 2017, GitHub’s Nathan Sobo has unveiled Atom’s new real-time collaboration plugin, Teletype. Teletype aims to make it possible for two developers to code together with the same ease as coding alone.
GitHub Team Discussions Aim to Improve Collaboration
Announced at its last Universe conference, Team discussions aim to power processes like planning, analysis, design, and others directly from within GitHub.
Rust 1.22 Extends the ? Operator to Option Types
The latest release of Rust stabilizes the usage of ? with Option to simplify option handling. Additionally, it improves compiler performance and backtraces on macOS.