Bash vs Idris

Bash (Bourne Again Shell) is the default command-line shell on most Linux distributions and macOS. It provides scripting capabilities, job control, command history, and programmable completion for interactive and automated system administration.

Idris is a languages tool that dependently typed functional language where types can be computed from values, enabling formal verification of program properties. It is open source software.