From Haskell’s safe-exceptions library: “[I]ncomplete pattern matches can generate impure exceptions.” This makes me think of Agda, its totality and absence of exceptions.
Whenever they tell you that you have to install a very specific proprietary software smartphone app for two-factor authentication such as Google Authenticator or Authy, just nod, install a free software app such as andOTP and pretend you’re following instructions. It will work without them noticing you use free software.
If you’re interested in how Haskell adoption in practice looks like in 2018 compared to 2015, read the State of Haskell 2018 user survey’s results by FP Complete.
“If you are not married, if you don’t want to spend time with your kids, if you hate vacations, [dynamically typed languages] is the way you program!” ~ Matthias Felleisen
“Test-driven development replaces a type checker in a dynamically typed language in the same way that a bottle of whiskey replaces your daily problems.” ~ Matt Gumbley
For some reason it happened only a few days ago that Debian GNU/Linux in the current stable release code-named Stretch got a kernel patch for the meltdown horror. That’s over two full months since Meltdown made it to news.
Ken Scambler has an interesting point on types. “Should I use String in this method signature?” “Is the Mandarin edition of the complete works of Shakespeare valid input?”
To upgrade to the latest available stable version of Haskell Stack, just run