I'm currently the lead instructor at Code Platoon and an instructor/developer at the Turing School of Software and Design.
I've been advocating the Fish shell and when the choice is up to me, I choose that for my students. Enough people ask about the decision, particularly in relation to the preinstalled Bash shell, that I figured it's worth laying out my reasoning.
| Symbol | Explanation | Hint |
|---|---|---|
\/ |
Right-leaning Either | Split ways, go one way or the other |
-\/ |
Left value of \/ |
- is on the left side |
\/- |
Right value of \/ |
- is on the right side |
>>= |
flatMap |
shove result into |
>> |
flatMap(_ => ..) |
shove into, but ignore the result |
|@| |
Applicatives into Tuple | Scream operator |
|+| |
Append via Monoid | + was taken |
| `> | ` | fa.map(_ => b) |
| alias accio=wget | |
| alias avadaKedavra='rm -f' | |
| alias imperio=sudo | |
| alias priorIncantato='echo `history |tail -n2 |head -n1` | sed "s/[0-9]* //"' | |
| alias stupefy='sleep 5' | |
| alias wingardiumLeviosa=mv | |
| alias sonorus='set -v' | |
| alias quietus='set +v' |