There's a thread in hacker news about it. I had seen it before, but Roc was brought to my attention again in the context of embedded functional programming.