come to PL, we have:
- terrible notation
- terrible notation (slightly different)
- semantics
- strong convictions about mathematics (?)
- lots of wheels, all slightly different but deeply incompatible
- free monads
come to PL, we have:
- terrible notation
- terrible notation (slightly different)
- semantics
- strong convictions about mathematics (?)
- lots of wheels, all slightly different but deeply incompatible
- free monads
If you have a fediverse account, you can quote this note from your own instance. Search https://gamedev.lgbt/users/typeswitch/statuses/115262443482384527 on your instance and quote it. (Note that quoting is not supported in Mastodon.)