Anton AntonRich

PSQL

Magic words:

psql -U postgres

Some interesting flags (to see all, use -h or --help depending on your psql version):

-E: will describe the underlaying queries of the \ commands (cool for learning!)
-l: psql will list all databases and then exit (useful if the user you connect with doesn't has a default database, like at AWS RDS)

The Algebra of [Type, Script]

Algebra

Symbols	Operations	Laws
0, 1, 2, x, y, z, ...	+, –, x, ÷, ...	0 + x = x, ...

Algebra

Symbols	Operations	Laws

Why Python and not Haskell?

This thread asks why more Python developers couldn't instead be using Haskell: https://discourse.haskell.org/t/commercial-haskell-should-go-after-python-julia-not-rust/6964/2

One of the points made in this thread, is that there is a sizeable class of Python programmers for which the trope "Python programmers will be scared of monads!" doesn't apply. I thought I would ask some of the people I know that use Python why they don't use Haskell.

Some notes about the demographic:

These people all work as academic researchers in Computer Science, formal methods, ranging from very abstract to quite practical.
Two of them know more about Category Theory and monads than the vast majority of Haskellers.

	defmodule FunctionClause do
	@moduledoc """
	Format function clauses using Exception.blame/3
	"""

	@doc """
	Given a `module`, `function`, and `args` see
	if that function clause would match or not match.

	This is useful for helping diagnose function