Exploring the potential use of dependent types in scientific programming.