@edwinbrady with Lazy and Inf being type constructors, does this mean we can be polymorphic in lazy vs. strict and data vs. codata?
-
-
@edwinbrady Ocaml lets you abstract over Lazy vs. Id or List? -
@milessabin It has this: http://caml.inria.fr/pub/docs/manual-ocaml/libref/Lazy.html … I don't know much about how it works though - 4 more replies
New conversation -
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.