@edwinbrady with Lazy and Inf being type constructors, does this mean we can be polymorphic in lazy vs. strict and data vs. codata?
-
-
@edwinbrady@milessabin You could abstract over Lazy by using a functor; https://realworldocaml.org/v1/en/html/functors.html … -
@avsm gotcha ... that seems quite a bit more heavyweight though. /cc@edwinbrady - 2 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.