First thoughts

[brendanberg]

I figured this would be as good a place as any to collaborate for now, and it seems like opening tickets is an easier way to pass notes back and forth than committing into the repo. Here's a brief list of things I'm thinking about:

• Conditional expressions -- I think the semantics of it will change a bit. It should always use short-circuit eval, but I think it should be clear what the overall expr. evaluates to.
• Control flow -- I think that the sequence functions (map, fold, filter, etc.) eliminate the need for a for statement. (Can for even be an expression? It doesn't even make sense.)
• Fold -- In addition to foldl and foldr, there should be a folda (associative fold) that can be easily parallelized since the order of ops wouldn't matter.

More later as I go though old notes.