[puredanger]

Re the last sentence, that is not true, nor was it a claim.

[birdsbolt]

I think I saw a talk, or a statement somewhere, made by Rich Hickey - https://news.ycombinator.com/item?id=8342718 . I believe it was in this talk.

Not that I was being negative about it.

[puredanger]

Rich didn't claim you couldn't implement it. He just claimed that some aspects of transducers are difficult to represent as types. Or at least, that's how I took it.