Are loop constructs possible without using recursion in pure Roy functions? //cc @puffnfresh #recursiondepthexceeded #fpnoob
@tarnacious @puffnfresh does Roy have rank-2 polymorphism, allowing State Threads (ST) and therefore, "tidy lops"?
-
-
@dibblego@puffnfresh Roy seems to trouble inferring types I would have though it could. So I'm guessing it doesn't.#hopefullywrong -
@tarnacious@dibblego inferring types with recursive functions is a tricky thing to do. Sadly a lot of type systems aren't able :(
End of conversation
New conversation -
-
-
@dibblego@tarnacious not yet. I should be able to implement rank-2 once I have the new type systemThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.