What makes our language unique? How about we add these few things....

[christopher-haueter]

There are already a few things that make our language unique. They are:

• the probability selection
• probabilistic value
• the terminating condition / function call syntax

I don't think the blocks are actually are innovations. More like dictatorial fiats.

A few new things Bo and I agree would make our language more unique are:

• the "magical accumulator" that is outside of control flow
• a declarative syntax for what data is to be accumulated (informs the accumulator)
• a declarative syntax for the analysis of the accumulated data (utilizes accumulated data)

Why?

• less complexity
• separation of simulation and analysis (like HTML and CSS)
• backend injects the proper accumulation code, AND implements the analysis

@mnrubin @etanzapinsky @meirf @captainbox22