In comparison, Idris has a priority on easy management of side-effects and support for implementing embedded domain specific languages.
În comparație, Idris are o prioritate în gestionarea ușoară a efectelor secundare și a suportului pentru implementarea limbilor specifice domeniului încorporat.