in #functional programming, #haskell, #physics, #numerical methods, #dependent types, @Haskell, +Hamilton