Those two languages are popular because they bring some of the benefit of languages like Haskell into an environment that is compatible with an outdated but widely used OOP language.
Haskell will bring you more of the benefits from FP with expressive types; Idris will bring you even more. But you will lose the integration.
Haskell will bring you more of the benefits from FP with expressive types; Idris will bring you even more. But you will lose the integration.