Rahul Gopinath | #softwaretesting

This action will delete this post on this instance and on all federated instances, and it cannot be undone. Are you certain you want to delete this post?

No

Yes

This action will block this actor and hide all of their past and future posts. Are you certain you want to block this actor?

No

Yes

This action will block this object. Are you certain you want to block this object?

No

Yes

Rahul Gopinath posted Nov 20, 2022

/@seresearchers #seresearchers #ComputerScience #softwaretesting #typetheory

For the type theory folks out there, when contrasting between writing unit tests and providing type annotations, is there some thing in type annotations and type checking that correspond to coverage? and more specifically coverage adequacy?