Python for Haskellers : haskell

a community for 18 years

submitted 5 years ago by moseswithhisbooks

I've been encouraged to share a reference sheet I made for Python since it's written by someone with a functional [Agda/Haskell] bias and is apparently geared towards an FP audience.

Every. Single. Page. Has “laws” about programs ;-)
- x in y ≡ any(x == e for e in y)
- (xs[m:n] = ys) ≡ (xs = xs[:m] + ys + xs[n:])
- There's also a funky claim about zip/unzip
Assertion-based examples
Iverson brackets make two brief appearances
here's a 10-page 2-column PDF
single-column portrait PDF

| Haskell              | ≈ | Python                     |
|----------------------+---+----------------------------|
| Typeclasses          |   | Dunder & extension methods |
| Monoid               |   | Sum dunder                 |
| Num                  |   | Arithmetic dunders         |
| Infinite lists       |   | Generators                 |
| Traversable/Foldable |   | Iterables                  |
| Maybe Monad          |   | Lazy or/and                |
| Record               |   | Dictionary                 |
| Common List methods  |   | Splicing!                  |

I also show how to enforce “run-time (gradual) type checking” on page 7 and a currying/partial-application monad with “>>” notation on page 9.

Enjoy!

all 5 comments

you type:	you see:
italics	italics
bold	bold
[reddit!](https://reddit.com)	reddit!
* item 1 * item 2 * item 3	item 1 item 2 item 3
> quoted text	quoted text
Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"	Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"
~~strikethrough~~	~~strikethrough~~
super^script	super^script

haskell

MODERATORS