"The goal of RBS is to support commonly seen patterns in programs and it allows writing advanced types... TypeProf is a type analysis tool... serves as a kind of type inference."

Sign in to participate in the conversation

Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.