Skip to content

Instantly share code, notes, and snippets.

@drstevens

drstevens/trampolined-state.scala

Forked from travisbrown/trampolined-state.scala
Last active August 29, 2015 14:02
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save drstevens/3ea464446ee59463af1e to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save drstevens/3ea464446ee59463af1e to your computer and use it in GitHub Desktop.
Download ZIP
Trampolining the state monad via applicative combinator appears to work
Raw
trampolined-state.scala
import scalaz._, Scalaz._
def setS(i: Int): State[List[Int], Unit] = modify(i :: _)
val s = (1 to 10000).foldLeft(state[List[Int], Unit](()).lift[Free.Trampoline]) {
case (st, i) => st.flatMap(_ => setS(i).lift[Free.Trampoline])
}
s(Nil)
@drstevens
Copy link
Author

drstevens commented Jun 10, 2014

For some reason the applicative works

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment