A physics engineering using Haskell