Wilfred Hughes
Stripe has released a static gradual type system for Ruby! https://sorbet.org/blog/2019/06/20/open-sourcing-sorbet
Perhaps the moral here is to worry about a building a great runtime, and only worry about the type system if your language gains traction?
Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.
All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.