My understanding is that there's a fundamental trade-off between expressivity and efficiency (while maintaining referential transparency):

https://blogs.janestreet.com/breaking-down-frp/ http://people.seas.harvard.edu/~chong/abstracts/CzaplickiC13... http://www.testblogpleaseignore.com/wp-content/uploads/2012/...