Created
February 10, 2015 08:14
-
-
Save techtangents/eaf3960d3156576f83ee to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| My PL Shopping List | |
| =================== | |
| - static types | |
| - lightweight syntax for lambda expressions | |
| - type annotations on any expression | |
| - higher-kinded types | |
| - monad comprehensions (for/do) | |
| - applicative comprehensions (applicative do, idiom brackets) | |
| - functor comprehensions | |
| - all functions take a single argument | |
| - lightweight syntax for curried functions | |
| - dependent types | |
| - pattern matching | |
| - effect tracking | |
| - extensible effects | |
| - record system | |
| - structural typing | |
| - nominative typing | |
| - "let..in" / "where" on any expression | |
| - derived instances of interfaces/modules/typeclasses | |
| - universe polymorphism | |
| - FFI | |
| - no nominative subtyping | |
| - lightweight syntax for sum types | |
| - automatically-derived lenses and prisms for all algebraic data types | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment